186 search results - page 23 / 38 » urban 2010 |
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Many contemporary approaches to environmental sustainability focus on the end-consumer. In this panel, we explore lessons from small food producers for future development of HCI a...
MDM
2010
Springer
14 years 11 days ago
2010
Springer
—VANETs have been envisioned as an infrastructure for deploying Vehicular Information Systems (VIS) that among others provide drivers with an up-to-date view on the prevailing tr...