Sciweavers

902 search results - page 74 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
140
Voted
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
14 years 12 days ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
CLIMA
2010
15 years 2 months ago
Combining Logics in Simple Type Theory
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
Christoph Benzmüller
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
15 years 7 months ago
Expansion segmentation for visual collision detection and estimation
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ...
Jeffrey Byrne, Camillo J. Taylor
ISVC
2009
Springer
15 years 7 months ago
Propagation of Pixel Hypotheses for Multiple Objects Tracking
Abstract. In this paper we propose a new approach for tracking multiple objects in image sequences. The proposed approach differs from existing ones in important aspects of the re...
Haris Baltzakis, Antonis A. Argyros
91
Voted
ICRA
2006
IEEE
119views Robotics» more  ICRA 2006»
15 years 6 months ago
SLAM with Sparse Sensing
— Most work on the simultaneous localization and mapping (SLAM) problem assumes the frequent availability of dense information about the environment such as that provided by a la...
Kristopher R. Beevers, Wesley H. Huang