Sciweavers

1356 search results - page 153 / 272
» A variable-free dynamic semantics
Sort
View
TON
2010
188views more  TON 2010»
14 years 10 months ago
Self-Chord: A Bio-Inspired P2P Framework for Self-Organizing Distributed Systems
This paper presents "Self-Chord," a peer-to-peer (P2P) system that inherits the ability of Chord-like structured systems for the construction and maintenance of an overla...
Agostino Forestiero, Emilio Leonardi, Carlo Mastro...
CVPR
2011
IEEE
15 years 6 days ago
A generative model for 3D urban scene understanding from movable platforms
3D scene understanding is key for the success of applications such as autonomous driving and robot navigation. However, existing approaches either produce a mild level of understa...
Andreas Geiger, Martin Lauer, Raquel Urtasun
ICDE
2011
IEEE
241views Database» more  ICDE 2011»
14 years 7 months ago
Advanced search, visualization and tagging of sensor metadata
— As sensors continue to proliferate, the capabilities of effectively querying not only sensor data but also its metadata becomes important in a wide range of applications. This ...
Ioannis K. Paparrizos, Hoyoung Jeung, Karl Aberer
POPL
2011
ACM
14 years 6 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
182
Voted
ICCV
2011
IEEE
14 years 4 months ago
Manhattan Scene Understanding Using Monocular, Stereo, and 3D Features
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
Alex Flint, David Murray, Ian Reid