1631 search results - page 142 / 327 » Observing Functional Logic Computations |
136
click to vote
PPDP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
136
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
116
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe techniques for automatically acquiring observations of a deforming object and for estimating a model of the deformation from these observations. A robotic system was d...
118
click to vote
UAI
2008
15 years 5 months ago
2008
We conjecture that the worst case number of experiments necessary and sufficient to discover a causal graph uniquely given its observational Markov equivalence class can be specif...
124
Voted
AUTOMATICA
2007
15 years 3 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...