1037 search results - page 94 / 208 » A view of canonical extension |
130
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
177
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
157
click to vote
MDM
2010
Springer
15 years 11 months ago
2010
Springer
—VANETs have been envisioned as an infrastructure for deploying Vehicular Information Systems (VIS) that among others provide drivers with an up-to-date view on the prevailing tr...
179
click to vote
PODC
2009
ACM
15 years 11 months ago
2009
ACM
A failure detector is a distributed oracle that provides processes in a distributed system with hints about failures. The notion of a weakest failure detector captures the exact a...
159
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...