17298 search results - page 3186 / 3460 » Abstract computing machines |
144
Voted
SMC
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract — The natural environments that robotic applications often encounter can present difficult problems for imagebased task execution. Prior efforts have used both grayscale...
191
click to vote
SPIRE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Colored range queries are a well-studied topic in computational geometry and database research that, in the past decade, have found exciting applications in information r...
157
Voted
SPIRE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider fingerprinting methods for collaborative filtering (CF) systems. In general, CF systems show their real strength when supplied with enormous data sets. Earl...
126
click to vote
STTT
2010
15 years 3 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
146
click to vote
TAICPART
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract. Writing multithreaded software for multicore computers confronts many developers with the difficulty of finding parallel programming errors. In the past, most parallel d...