Sciweavers

1469 search results - page 54 / 294
» Discretization of a Continuous Curve
Sort
View
126
Voted
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 8 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 5 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
193
Voted

Publication
273views
14 years 11 months ago
Monte Carlo Value Iteration for Continuous-State POMDPs
Partially observable Markov decision processes (POMDPs) have been successfully applied to various robot motion planning tasks under uncertainty. However, most existing POMDP algo...
Haoyu Bai, David Hsu, Wee Sun Lee, and Vien A. Ngo
ICDAR
2011
IEEE
14 years 3 months ago
Continuous CRF with Multi-scale Quantization Feature Functions Application to Structure Extraction in Old Newspaper
—We introduce quantization feature functions to represent continuous or large range discrete data into the symbolic CRF data representation. We show that doing this convertion in...
David Hebert, Thierry Paquet, Stéphane Nico...
CAGD
2004
87views more  CAGD 2004»
15 years 3 months ago
Existence of set-interpolating and energy-minimizing curves
We consider existence of curves c : [0, 1] Rn which minimize an energy of the form c(k) p (k = 1, 2, . . . , 1 < p < ) under side-conditions of the form Gj(c(t1,j), . . . ,...
Johannes Wallner