Sciweavers

3656 search results - page 432 / 732
» Compact Location Problems
Sort
View
FSTTCS
2004
Springer
16 years 23 hour ago
Toward a Grainless Semantics for Shared-Variable Concurrency
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
John C. Reynolds
HYBRID
2004
Springer
16 years 20 hour ago
On O-Minimal Hybrid Systems
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
Thomas Brihaye, Christian Michaux, Cédric R...
ICBA
2004
Springer
165views Biometrics» more  ICBA 2004»
16 years 19 hour ago
Towards an Automated Dental Identification System (ADIS)
This paper addresses the problem of developing an automated system for postmortem identification using dental records. The Automated Dental Identification System (ADIS) can be use...
Gamal Fahmy, Diaa Eldin M. Nassar, Eyad Haj-Said, ...
IPTPS
2004
Springer
16 years 9 hour ago
Rapid Mobility via Type Indirection
Economies of scale and advancements in wide-area wireless networking are leading to the availability of more small, networked mobile devices, placing higher stress on existing mob...
Ben Y. Zhao, Ling Huang, Anthony D. Joseph, John K...
ROBOCUP
2004
Springer
117views Robotics» more  ROBOCUP 2004»
15 years 12 months ago
Map-Based Multiple Model Tracking of a Moving Object
In this paper we propose an approach for tracking a moving target using Rao-Blackwellised particle filters. Such filters represent posteriors over the target location by a mixtur...
Cody C. T. Kwok, Dieter Fox