Sciweavers

3025 search results - page 136 / 605
» A User-Centered Location Model
Sort
View
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
15 years 10 months ago
A formal framework for robot learning and control under model uncertainty
— While the Partially Observable Markov Decision Process (POMDP) provides a formal framework for the problem of robot control under uncertainty, it typically assumes a known and ...
Robin Jaulmes, Joelle Pineau, Doina Precup
CSCW
2004
ACM
15 years 9 months ago
BusyBody: creating and fielding personalized models of the cost of interruption
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
Eric Horvitz, Paul Koch, Johnson Apacible
123
Voted
ER
2004
Springer
111views Database» more  ER 2004»
15 years 9 months ago
Link Patterns for Modeling Information Grids and P2P Networks
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
Christopher Popfinger, Cristian Pérez de La...
FSTTCS
2001
Springer
15 years 8 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...
ICCV
1995
IEEE
15 years 7 months ago
Site Model Acquisition and Extension from Aerial Images
A system has been developed to acquire, extend and re ne 3D geometric site models from aerial imagery. This system hypothesize potential building roofs in an image, automatically ...
Robert T. Collins, Yong-Qing Cheng, Christopher O....