12981 search results - page 2593 / 2597 » Model Checking (Abstract) |
137
Voted
3DIM
2011
IEEE
14 years 22 days ago
2011
IEEE
Abstract—During the last few years a wide range of algorithms and devices have been made available to easily acquire range images. To this extent, the increasing abundance of dep...
106
Voted
CIKM
2011
Springer
14 years 21 days ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
126
Voted
DCOSS
2011
Springer
14 years 16 days ago
2011
Springer
Abstract—We first present a problem called precedence constrained two traveling salesman (PC2TSP). We propose a nearoptimal heuristic to PC2TSP to generate tours by clustering p...
147
click to vote
DSD
2011
IEEE
14 years 16 days ago
2011
IEEE
Abstract—We present a new low-level interfacing scheme for connecting custom accelerators to processors that tolerates latencies that usually occur when accessing hardware accele...
122
Voted
CORR
2012
Springer
13 years 8 months ago
2012
Springer
d Abstract) James Allen Fill1† 1 Department of Applied Mathematics and Statistics, The Johns Hopkins University, 34th and Charles Streets, Baltimore, MD 21218-2682 USA received 2...