Sciweavers

902 search results - page 54 / 181
» Modeling and Reasoning about Uncertainty in Context-Aware Sy...
Sort
View
132
Voted
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
15 years 5 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
109
Voted
SP
2010
IEEE
210views Security Privacy» more  SP 2010»
15 years 4 months ago
Reconciling Belief and Vulnerability in Information Flow
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
Sardaouna Hamadou, Vladimiro Sassone, Catuscia Pal...
94
Voted
CDVE
2004
Springer
120views Visualization» more  CDVE 2004»
15 years 6 months ago
Constructing a Global and Integral Model of Business Management Using a CBR System
Abstract. Knowledge has become the most strategic resource in the new business environment. A case-based reasoning system, which incorporates a novel clustering and retrieval metho...
Emilio Corchado, Juan M. Corchado, Lourdes S&aacut...
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 4 months ago
Weighting Observations: The Use of Kinematic Models in Object Tracking
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
Kevin Nickels, Seth Hutchinson
107
Voted
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
15 years 6 months ago
Active SLAM using Model Predictive Control and Attractor based Exploration
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
Cindy Leung, Shoudong Huang, Gamini Dissanayake