4488 search results - page 43 / 898 » Properties of NP-Complete Sets |
ICRA
2000
IEEE
14 years 9 days ago
2000
IEEE
During teleoperation, a human operator often receives only 2-D visual feedback from the remote environment. While a variety of kinematic sensors exist on the remote manipulator fo...
SAS
1993
Springer
13 years 12 months ago
1993
Springer
A new construction of a finite set of strictness properties for any lazy algebraic datatype is presented. The construction is based on the categorical view of the solutions to the...
SIGIR
1995
ACM
13 years 11 months ago
1995
ACM
It has been known that using different representations of either queries or documents, or different retrieval techniques retrieves different sets of documents. Recent work suggest...
DIMACS
1996
13 years 9 months ago
1996
: We review the expressibility of some basic graph properties in certain fragments of Monadic Second-Order logic, like the set of Monadic-NP formulas. We focus on cases where a pro...
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...