Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2001

Highly Cited

2001

Anomaly detection on system call sequences has become perhaps the most successful approach for detecting novel intrusions. A… Expand

Highly Cited

1994

Highly Cited

1994

* Markov Chains * Direct Methods * Iterative Methods * Projection Methods * Block Hessenberg Matrices * Decompositional Methods… Expand

Review

1989

Review

1989

A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown… Expand

Highly Cited

1981

Highly Cited

1981

The paper is concerned with ways in which fair concurrency can be modelled using notations for omega-regular languages… Expand

Highly Cited

1979

Highly Cited

1979

This book is a rigorous exposition of formal languages and models of computation, with an introduction to computational… Expand

Highly Cited

1978

Highly Cited

1978

The question of whether there is an automaton with n states which agrees with a finite set D of data is shown to be NP-complete… Expand

Highly Cited

1971

Highly Cited

1971

An algorithm is given for minimizing the number of states in a finite automaton or for determining if two finite automata are… Expand

Highly Cited

1966

Highly Cited

1966

Bfichi (1962) has given a decision procedure for a system of logic known as " the Sequential Calculus," by showing that each well… Expand

Highly Cited

1966

Highly Cited

1966

This invention relates to prefabricated buildings and comprises a central unit having a peripheral section therearound to form a… Expand

Highly Cited

1958

Highly Cited

1958

Let R be a nonempty set, let N consist of all non-negative rational integers, and denote by RN the set of all functions on N to R… Expand