197 search results - page 38 / 40 » Undecidability Results for Distributed Probabilistic Systems |
CIVR
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we present the FOX-MIIRE 3D-Model Search Engine. Our search engine is based on Adaptive Views Vlustering (AVC) algorithm [4]. The AVC method uses statistical model ...
SIGSOFT
2004
ACM
13 years 11 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...
IEEEPACT
2009
IEEE
14 years 8 days ago
2009
IEEE
—Shared cache allocation policies play an important role in determining CMP performance. The simplest policy, LRU, allocates cache implicitly as a consequence of its replacement ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In our previous work (`An Algebraic Watchdog for Wireless Network Coding'), we proposed a new scheme in which nodes can detect malicious behaviors probabilistically, police th...
MOBICOM
2004
ACM
13 years 11 months ago
2004
ACM
Many sensor network applications require location awareness, but it is often too expensive to include a GPS receiver in a sensor network node. Hence, localization schemes for sens...