80 search results - page 15 / 16 » Robust safety of timed automata |
145
click to vote
ICMCS
2006
IEEE
16 years 1 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 ...
198
click to vote
CVPR
2011
IEEE
15 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...
151
click to vote
MCU
2004
15 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...
149
click to vote
FUIN
2006
15 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...
148
click to vote
JAIR
2006
15 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...