Sciweavers

4245 search results - page 166 / 849
» Input Modeling
Sort
View
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 11 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
ECCV
1992
Springer
16 years 8 months ago
An Attentional Prototype for Early Vision
Researchers have long argued that an attentional mechanism is required to perform many vision tasks. This paper introduces an attentiona] prototype for early visual processing. Ou...
Sean M. Culhane, John K. Tsotsos
EUROGRAPHICS
2010
Eurographics
16 years 4 months ago
Procedural Generation of Roads
In this paper, we propose an automatic method for generating roads based on a weighted anisotropic shortest path algorithm. Given an input scene, we automatically create a path co...
Eric Galin, Adrien Peytavie, Nicolas Maréchal, Er...
ICRA
2007
IEEE
114views Robotics» more  ICRA 2007»
16 years 1 months ago
Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data
: Small unmanned vertical take off and landing vehicles are used to provide the eye-in-the-sky alternative to monitoring and regulating traffic dynamically. Spatial-temporal visual...
Anuj Puri, Kimon P. Valavanis, Michael Kontitsis
ICFEM
2007
Springer
15 years 10 months ago
Testing for Refinement in CSP
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
Ana Cavalcanti, Marie-Claude Gaudel