1445 search results - page 162 / 289 » Properties of state spaces and their applications |
192
click to vote
DALT
2004
Springer
16 years 15 days ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
184
click to vote
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
192
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
207
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Service robots which should perform human-like operation will penetrate into a great number of applications in the future. Requirements for this is high flexibility, autonomy and ...
205
click to vote
ASIACRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The security of the alleged RC4 stream cipher and some variants is investigated. Cryptanalytic algorithms are developed for a known plaintext attack where only a small se...