136 search results - page 11 / 28 » Complexity Results for 1-safe Nets |
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents a decentralized approach to multiple target tracking. The novelty of this approach lies in the use of a set of autonomous while collaborative trackers to overc...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Active Storage provides an opportunity for reducing the bandwidth requirements between the storage and compute elements of current supercomputing systems, and leveraging ...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
Noun phrases in queries are identified and classified into four types: proper names, dictionary phrases, simple phrases and complex phrases. A document has a phrase if all content...
SC
2005
ACM
14 years 1 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...