1050 search results - page 171 / 210 » Two methods of authenticated positioning |
177
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
165
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
We presented a novel procedure to extract ground road networks from airborne LiDAR data. First point clouds were separated into ground and non-ground parts, and ground roads were ...
171
Voted
CADE
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
157
Voted
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
Phylogenetic hidden Markov models (phylo-HMMs) have recently been proposed as a means for addressing a multispecies version of the ab initio gene prediction problem. These models ...
98
Voted
INFOCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...