Sciweavers

893 search results - page 66 / 179
» Environment Assumptions for Synthesis
Sort
View
ICALP
1997
Springer
15 years 4 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
104
Voted
ISTA
2008
15 years 2 months ago
From Human Knowledge to Process Models
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
Jörg Desel
98
Voted
JRTIP
2007
109views more  JRTIP 2007»
15 years 18 days ago
Robust GPU-assisted camera tracking using free-form surface models
We propose a marker-less model-based camera tracking approach, which makes use of GPU-assisted analysis-by-synthesis methods on a very wide field of view (e.g. fish-eye) camera. ...
Kevin Köser, Bogumil Bartczak, Reinhard Koch
JCSC
2002
87views more  JCSC 2002»
15 years 12 days ago
Power Estimator Development for Embedded System Memory Tuning
Memory accesses account for a large percentage of total power in microprocessor-based embedded systems. The increasing use of microprocessor cores and synthesis, rather than prefa...
Frank Vahid, Tony Givargis, Susan Cotterell
123
Voted
ICCV
2011
IEEE
14 years 22 days ago
Real-time Indoor Scene Understanding using Bayesian Filtering with Motion Cues
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
Grace Tsai, Changhai Xu, Jingen Liu, Benjamin Kuip...