43264 search results - page 8224 / 8653 » Comparing models of computation |
147
Voted
ICRA
1994
IEEE
15 years 7 months ago
1994
IEEE
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
161
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
120
Voted
FODO
1993
Springer
15 years 7 months ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...
184
click to vote
HPTS
1993
15 years 7 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
119
click to vote
ESORICS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. An oblivious signature with n keys (or messages) is a signature that the recipient can choose one of n keys (or messages) to get signed while the signer cannot find out o...