Sciweavers

1837 search results - page 243 / 368
» A Framework for Visual Servoing
Sort
View
FLAIRS
2007
15 years 8 months ago
Probabilistic Interactive Installations
We present a description of two small audio/visual immersive installations. The main framework is an interactive structure that enables multiple participants to generate jazz impr...
Constance G. Baltera, Sara B. Smith, Judy A. Frank...
IADIS
2003
15 years 7 months ago
Adaptive Hypermedia System Design: A Method From Practice
Adaptive Hypermedia Systems represent a great potential for e-learning; nevertheless instructors and designers find it difficult to develop adaptive application within their frame...
Jacopo Armani, Luca Botturi
ESA
2010
Springer
248views Algorithms» more  ESA 2010»
15 years 7 months ago
The Robustness of Level Sets
We define the robustness of a level set homology class of a function f : X R as the magnitude of a perturbation necessary to kill the class. Casting this notion into a group theor...
Paul Bendich, Herbert Edelsbrunner, Dmitriy Morozo...
ECEASST
2008
95views more  ECEASST 2008»
15 years 6 months ago
A Static Layout Algorithm for DiaMeta
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
Sonja Maier, Mark Minas
ECEASST
2006
72views more  ECEASST 2006»
15 years 6 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...