Sciweavers

2907 search results - page 277 / 582
» Presentations of Structures in Admissible Sets
Sort
View
ECAI
2006
Springer
15 years 10 months ago
Logic Programs with Multiple Chances
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
Francesco Buccafurri, Gianluca Caminiti, Domenico ...
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 10 months ago
Output-feedback controlled-invariant polyhedra for constrained linear systems
Abstract— A design method is proposed for outputfeedback control of linear systems subject to state and control constraints, additive disturbances and measurement noise. First, n...
Carlos Eduardo Trabuco Dórea
DIAGRAMS
2010
Springer
15 years 8 months ago
Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
Mathias Frisch, Jens Heydekorn, Raimund Dachselt
191
Voted
APVIS
2010
15 years 8 months ago
Explorable images for visualizing volume data
We present a technique which automatically converts a small number of single-view volume rendered images of the same 3D data set into a compact representation of that data set. Th...
Anna Tikhonova, Carlos D. Correa, Kwan-Liu Ma
BDA
2007
15 years 8 months ago
A Framework for Distributed Spatial Indexing in Shared-Nothing Architectures
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
Cédric du Mouza, Witold Litwin, Philippe Ri...