Sciweavers

3367 search results - page 260 / 674
» Incremental assignment problem
Sort
View
HYBRID
2009
Springer
15 years 11 months ago
Decompositional Construction of Lyapunov Functions for Hybrid Systems
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
Jens Oehlerking, Oliver E. Theel
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
UM
2007
Springer
15 years 10 months ago
A Practical Activity Capture Framework for Personal, Lifetime User Modeling
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
Max Van Kleek, Howard E. Shrobe
3DPVT
2006
IEEE
236views Visualization» more  3DPVT 2006»
15 years 10 months ago
Multiple Camera Calibration Using Robust Perspective Factorization
In this paper we address the problem of recovering structure and motion from a large number of intrinsically calibrated perspective cameras. We describe a method that combines (1)...
Andrei Zaharescu, Radu Horaud, Rémi Ronfard...
OOPSLA
2005
Springer
15 years 9 months ago
Inferring context-free grammars for domain-specific languages
Grammatical inference (or grammar inference) has been applied to various problems in areas such as computational biology, and speech and pattern recognition but its application to...
Faizan Javed