Sciweavers

117 search results - page 18 / 24
» Using Parameterized Signatures to Express Modular Structure
Sort
View
GPCE
2005
Springer
14 years 7 days ago
A Generative Programming Approach to Developing DSL Compilers
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
Charles Consel, Fabien Latry, Laurent Révei...
POLICY
2005
Springer
14 years 5 days ago
Deriving Semantic Models from Privacy Policies
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
Travis D. Breaux, Annie I. Antón
ACCV
2006
Springer
14 years 21 days ago
Tracking with the Kinematics of Extremal Contours
Abstract. This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on an explicit parameterization of the extremal con...
David Knossow, Rémi Ronfard, Radu Horaud, F...
DAGSTUHL
2010
13 years 8 months ago
Model-Based Visualization for Intervention Planning
Computer support for intervention planning is a two-stage process: In a first stage, the relevant segmentation target structures are identified and delineated. In a second stage, ...
Bernhard Preim
CIKM
1994
Springer
13 years 10 months ago
Analytical Version Control Management in a Hypertext System
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
Antonina Dattolo, Antonio Gisolfi