Sciweavers

1855 search results - page 50 / 371
» Probabilistic Frame-Based Systems
Sort
View
CHI
2011
ACM
14 years 1 months ago
AnglePose: robust, precise capacitive touch tracking via 3d orientation estimation
We present a finger-tracking system for touch-based interaction which can track 3D finger angle in addition to position, using low-resolution conventional capacitive sensors, th...
Simon Rogers, John Williamson, Craig Stewart, Rode...
FLAIRS
2001
14 years 11 months ago
Probabilistic Planning for Behavior-Based Robots
Partially Observable Markov Decision Process models (POMDPs) have been applied to low-level robot control. We show how to use POMDPs differently, namely for sensorplanning in the ...
Amin Atrash, Sven Koenig
ICRA
2007
IEEE
129views Robotics» more  ICRA 2007»
15 years 4 months ago
Robust Distributed Coverage using a Swarm of Miniature Robots
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
Nikolaus Correll, Alcherio Martinoli
NETWORKING
2004
14 years 11 months ago
Multi-domain Diagnosis of End-to-End Service Failures in Hierarchically Routed Networks
Probabilistic inference was shown effective in non-deterministic diagnosis of end-to-end service failures. Since exact probabilistic diagnosis is known to be an NP-hard problem, a...
Malgorzata Steinder, Adarshpal S. Sethi
81
Voted
ENTCS
2002
139views more  ENTCS 2002»
14 years 9 months ago
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman