80 search results - page 15 / 16 » Robust safety of timed automata |
ICMCS
2006
IEEE
14 years 11 days ago
2006
IEEE
We address the problem of delay-constrained streaming of multimedia packets over dynamic bandwidth channels. Efficient streaming solutions generally rely on the knowledge of the ...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
Scene understanding from a monocular, moving camera is a challenging problem with a number of applications including robotics and automotive safety. While recent systems have show...
MCU
2004
13 years 7 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
FUIN
2006
13 years 6 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
JAIR
2006
13 years 6 months ago
2006
In this paper we present pddl+, a planning domain description language for modelling mixed discrete-continuous planning domains. We describe the syntax and modelling style of pddl...