Sciweavers

4211 search results - page 671 / 843
» Types as Abstract Interpretations
Sort
View
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
15 years 11 months ago
Model-based and learned semantic object labeling in 3D point cloud maps of kitchen environments
Abstract— We report on our experiences regarding the acquisition of hybrid Semantic 3D Object Maps for indoor household environments, in particular kitchens, out of sensed 3D poi...
Radu Bogdan Rusu, Zoltan Csaba Marton, Nico Blodow...
140
Voted
AMMA
2009
Springer
15 years 11 months ago
Manipulating Scrip Systems: Sybils and Collusion
Abstract. Game-theoretic analyses of distributed and peer-to-peer systems typically use the Nash equilibrium solution concept, but this explicitly excludes the possibility of strat...
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
179
Voted
WEBI
2009
Springer
15 years 11 months ago
In the Mood to Click? Towards Inferring Receptiveness to Search Advertising
Abstract—We present a method for modeling, and automatically inferring, the current interest of a user in search advertising. Our task is complementary to that of predicting ad r...
Qi Guo, Eugene Agichtein, Charles L. A. Clarke, Az...
130
Voted
ATVA
2009
Springer
142views Hardware» more  ATVA 2009»
15 years 11 months ago
Synthesis of Fault-Tolerant Distributed Systems
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
Rayna Dimitrova, Bernd Finkbeiner
135
Voted
BTW
2009
Springer
146views Database» more  BTW 2009»
15 years 11 months ago
Towards Flash Disk Use in Databases - Keeping Performance While Saving Energy?
Abstract: Green computing or energy saving when processing information is primarily considered a task of processor development. We, however, advocate that a holistic approach is ne...
Theo Härder, Karsten Schmidt 0002, Yi Ou, Seb...