Sciweavers

5200 search results - page 884 / 1040
» Symbolic models for control systems
Sort
View
207
Voted
ICVS
2003
Springer
16 years 7 days ago
Tree Supported Road Extraction from Arial Images Using Global and Local Context Knowledge
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
Matthias Butenuth, Bernd-Michael Straub, Christian...
210
Voted
FORMATS
2006
Springer
15 years 10 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
193
Voted
ADBIS
2006
Springer
160views Database» more  ADBIS 2006»
15 years 9 months ago
Data Ring: Let Us Turn the Net into a Database!
Because of information ubiquity, one observes an important trend towards transferring information management tasks from database systems to networks. We introduce the notion of Da...
Serge Abiteboul, Neoklis Polyzotis
200
Voted
AVI
2004
15 years 8 months ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
GRAPHICSINTERFACE
2003
15 years 8 months ago
A Gestural Interface to Free-Form Deformation
We present a gesture-based user interface to Free-Form Deformation (FFD). Traditional interfaces for FFD require the manipulation of individual points in a lattice of control vert...
Geoffrey Draper, Parris K. Egbert