4224 search results - page 355 / 845 » Reasoning about Choice |
217
click to vote
AGENTS
2001
Springer
16 years 2 days ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
205
click to vote
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
167
click to vote
IEEEPACT
2000
IEEE
15 years 12 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
152
click to vote
AES
2000
Springer
15 years 12 months ago
2000
Springer
We analyze the five remaining AES candidate algorithms MARS, RC6, Rijndael, Serpent, and Twofish as well as DES, Triple DES, and IDEA by examining independently developed Java imp...
210
click to vote
IPPS
1999
IEEE
15 years 12 months ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...