1469 search results - page 138 / 294 » Discretization of a Continuous Curve |
144
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
115
Voted
AAAI
1994
15 years 5 months ago
1994
Using the methods demonstrated in this paper, a robot with an unknown sensorimotor system can learn sets of features and behaviors adequate to explore a continuous environment and...
122
click to vote
CGF
2010
15 years 4 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...
161
click to vote
SIAMJO
2008
15 years 4 months ago
2008
We study the quantitative stability of linear multistage stochastic programs under perturbations of the underlying stochastic processes. It is shown that the optimal values behave...
APVIS
2009
15 years 5 months ago
2009
This work introduces a novel streamline seeding technique based on dual streamlines that are orthogonal to the vector field, instead of tangential. The greedy algorithm presented ...