1536 search results - page 180 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we consider energy-efficient routing for detection in wireless sensor networks (WSNs). Energyefficient routing for WSNs has been intensely studied recently, but rout...
DKE
2007
13 years 10 months ago
2007
Finding interaction patterns is a challenging problem, but this kind of information about processes or social networks might be useful for an organization’s management to unders...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
Heterogeneous multi-core processors, such as the IBM Cell processor, can deliver high performance. However, these processors are notoriously difficult to program: different cores...
PVLDB
2008
13 years 9 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...