Sciweavers

186 search results - page 28 / 38
» urban 2010
Sort
View
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
13 years 6 months ago
Extracting general-purpose features from LIDAR data
— The detection of features from Light Detection and Ranging (LIDAR) data is a fundamental component of featurebased mapping and SLAM systems. Existing detectors tend to exploit ...
Yangming Li, Edwin B. Olson
ATS
2010
IEEE
250views Hardware» more  ATS 2010»
13 years 4 months ago
Efficient Embedding of Deterministic Test Data
Systems with many integrated circuits (ICs), often of the same type, are increasingly common to meet the constant performance demand. However, systems in recent semiconductor techn...
Mudassar Majeed, Daniel Ahlstrom, Urban Ingelsson,...
ITP
2010
114views Mathematics» more  ITP 2010»
13 years 11 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
CHI
2010
ACM
14 years 2 months ago
ViralVCD: tracing information-diffusion paths with low cost media in developing communities
We describe ViralVCD: a low cost method for tracing paths of information diffusion in developing communities using physical media. We instituted a participatory video framework fo...
Nithya Sambasivan, Ed Cutrell, Kentaro Toyama
CHI
2010
ACM
14 years 2 months ago
OneBusAway: results from providing real-time arrival information for public transit
Public transit systems play an important role in combating traffic congestion, reducing carbon emissions, and promoting compact, sustainable urban communities. The usability of p...
Brian Ferris, Kari Watkins, Alan Borning