1804 search results - page 26 / 361 » On set systems with a threshold property |
113
click to vote
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
We describe an algorithm for constructing a set of acyclic conjunctive relational features by combining smaller conjunctive blocks. Unlike traditional level-wise approaches which ...
107
click to vote
ICRA
2000
IEEE
15 years 6 months 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...
111
click to vote
SEFM
2007
IEEE
15 years 8 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...
121
click to vote
ISOLA
2007
Springer
15 years 8 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
109
click to vote
ACL
1998
15 years 3 months ago
1998
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...