3238 search results - page 417 / 648 » Multi-return function call |
162
click to vote
AIPS
2010
15 years 6 months ago
2010
In this paper, we develop a heuristic, progression based conformant planner, called CNF, which represents belief states by a special type of CNF formulae, called CNF-states. We de...
189
click to vote
CN
2006
15 years 6 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
144
click to vote
WINET
2008
15 years 6 months ago
2008
In this paper, we present a new "spatiotemporal multicast", called a "mobicast", protocol for supporting applications which require spatiotemporal coordination...
163
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
170
click to vote
ICRA
1998
IEEE
15 years 10 months ago
1998
IEEE
We discuss a robotic module called a Molecule. Molecules can be the basis for building selfreconfiguring robots. They support multiple modalities of locomotion and manipulation. W...