Skip to search formSkip to main content

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

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

Review

2018

Review

2018

Robots today are working in both industrial and service sectors. Robots have evolved from one-function automatons to intelligent… Expand

Is this relevant?

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

Is this relevant?

Highly Cited

1981

Highly Cited

1981

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

Is this relevant?

Highly Cited

1980

Highly Cited

1980

Is this relevant?

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

Is this relevant?

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

Is this relevant?

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

Is this relevant?

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

Is this relevant?

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

Is this relevant?

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

Is this relevant?