9521 search results - page 291 / 1905 » Compiling with continuations, continued |
129
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
In a Bayesian network with continuous variables containing a variable(s) that is a conditionally deterministic function of its continuous parents, the joint density function for t...
116
click to vote
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
140
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
137
Voted
ICIA
2007
15 years 6 months ago
2007
Effective human-robot cooperation requires robotic devices that understand human goals and intentions. We frame the problem of intent recognition as one of tracking and predicting...
114
click to vote
AUTOMATICA
2010
15 years 3 months ago
2010
: The standard continuous time state space model with stochastic disturbances the mathematical abstraction of continuous time white noise. To work with well defined, discrete time ...