Sciweavers

5365 search results - page 753 / 1073
» Hierarchical Information Maps
Sort
View
ICDT
2009
ACM
127views Database» more  ICDT 2009»
16 years 2 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
ICRA
2009
IEEE
173views Robotics» more  ICRA 2009»
16 years 2 months ago
The Autonomous City Explorer project
— This video presents the Autonomous City Explorer (ACE) project. Its goal was to create a robot capable of navigating unknown urban environments without the use of GPS data or p...
Andrea Maria Bauer, Klaas Klasing, Tingting Xu, St...
IPPS
2009
IEEE
16 years 2 months ago
Implementing OpenMP on a high performance embedded multicore MPSoC
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...
Barbara M. Chapman, Lei Huang, Eric Biscondi, Eric...
IV
2009
IEEE
128views Visualization» more  IV 2009»
16 years 2 months ago
Large Quasi-Tree Drawing: A Neighborhood Based Approach
In this paper, we present an algorithm to lay out a particular class of graphs coming from real case studies: the quasi-tree graph class. Protein and internet mappings projects ha...
Romain Bourqui, David Auber
AMI
2009
Springer
16 years 2 months ago
SAGE: A Logical Agent-Based Environment Monitoring and Control System
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
Krysia Broda, Keith Clark, Rob Miller 0002, Alessa...