Skip to search formSkip to main contentSemantic Scholar

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

2010

Highly Cited

2010

The Internet of Things, an emerging global Internet-based technical architecture facilitating the exchange of goods and services… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

This book presents methods to study the controllability and the stabilization of nonlinear control systems in finite and infinite… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

High spatial frequencies in the illuminating light of microscopes lead to a shift of the object spatial frequencies detectable… Expand

Is this relevant?

Highly Cited

1998

Highly Cited

1998

From the Publisher:
Lewis and Papadimitriou present this long awaited Second Edition of their best-selling theory of computation… Expand

Is this relevant?

Highly Cited

1992

Highly Cited

1992

We introduce a greedy local search procedure called GSAT for solving propositional satisfiability problems. Our experiments show… Expand

Is this relevant?

Highly Cited

1991

Highly Cited

1991

I give an introduction to Bayesian networks for AI researchers with a limited grounding in probability theory. Over the last few… Expand

Is this relevant?

Highly Cited

1985

Highly Cited

1985

Abstract We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ξ, the length of the… Expand

Is this relevant?

Highly Cited

1985

Highly Cited

1983

Highly Cited

1983

An algorithm is described which is capable of solving certain word problems: i.e. of deciding whether or not two words composed… Expand

Is this relevant?

Highly Cited

1965

Highly Cited

1965

:tb.~tract. Theorem-proving on the computer, using procedures based on the fund~mental theorem of Herbrand concerning the first… Expand

Is this relevant?