Sciweavers

3020 search results - page 401 / 604
» The Motif Tracking Algorithm
Sort
View
PADL
2005
Springer
15 years 12 months ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
WDAG
2005
Springer
82views Algorithms» more  WDAG 2005»
15 years 12 months ago
Distributed Transactional Memory for Metric-Space Networks
Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has mostly been studied in the...
Maurice Herlihy, Ye Sun
ALGOSENSORS
2004
Springer
15 years 12 months ago
On the Computational Complexity of Sensor Network Localization
Determining the positions of the sensor nodes in a network is essential to many network functionalities such as routing, coverage and tracking, and event detection. The localizatio...
James Aspnes, David Kiyoshi Goldenberg, Yang Richa...
ICBA
2004
Springer
180views Biometrics» more  ICBA 2004»
15 years 12 months ago
FVC2004: Third Fingerprint Verification Competition
A new technology evaluation of fingerprint verification algorithms has been organized following the approach of the previous FVC2000 and FVC2002 evaluations, with the aim of tracki...
Dario Maio, Davide Maltoni, Raffaele Cappelli, Jam...
KR
2004
Springer
15 years 12 months ago
A Logic of Motion
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
Fusun Yaman, Dana S. Nau, V. S. Subrahmanian