Sciweavers

176 search results - page 17 / 36
» urban 2008
Sort
View
IROS
2008
IEEE
164views Robotics» more  IROS 2008»
15 years 4 months ago
Detecting obstacles and drop-offs using stereo and motion cues for safe local motion
— A mobile robot operating in an urban environment has to navigate around obstacles and hazards. Though a significant amount of work has been done on detecting obstacles, not mu...
Aniket Murarka, Mohan Sridharan, Benjamin Kuipers
URBAN
2008
128views more  URBAN 2008»
14 years 10 months ago
Discerning landslide susceptibility using rough sets
Rough set theory has been primarily known as a mathematical approach for analysis of a vague description of objects. This paper explores the use of rough set theory to manage the ...
Pece V. Gorsevski, Piotr Jankowski
URBAN
2008
90views more  URBAN 2008»
14 years 10 months ago
The use of Web 2.0 concepts to support deliberation in spatial decision-making
Technologies associated with the second-generation of the World-Wide Web enable virtually anyone to share their data, documents, observations, and opinions on the Internet. In les...
Claus Rinner, Carsten Keßler, Stephen Andrul...
ENTCS
2008
85views more  ENTCS 2008»
14 years 10 months ago
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
Julien Narboux, Christian Urban
87
Voted
CVIU
2008
229views more  CVIU 2008»
14 years 10 months ago
Estimating pedestrian counts in groups
The goal of this work is to provide a system which can aid in monitoring crowded urban environments, which often contain tight groups of people. In this paper, we consider the pro...
Prahlad Kilambi, Evan Ribnick, Ajay J. Joshi, Osam...