Sciweavers

2422 search results - page 330 / 485
» Composition of Services with Constraints
Sort
View
IUI
1999
ACM
15 years 11 months ago
Intelligent Multi-Shot Visualization Interfaces for Dynamic 3D Worlds
In next-generation virtual 3D simulation, training, and entertainment environments, intelligent visualization interfaces must respond to user-specified viewing requests so users c...
William H. Bares, James C. Lester
ECOOP
1994
Springer
15 years 10 months ago
Real-Time Specification Inheritance Anomalies and Real-Time Filters
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
Mehmet Aksit, Jan Bosch, William van der Sterren, ...
LREC
2008
57views Education» more  LREC 2008»
15 years 8 months ago
A Development Environment for Configurable Meta-Annotators in a Pipelined NLP Architecture
Information extraction from large data repositories is critical to Information Management solutions. In addition to prerequisite corpus analysis, to determine domain-specific char...
Youssef Drissi, Branimir Boguraev, David Ferrucci,...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
TOG
2012
273views Communications» more  TOG 2012»
13 years 9 months ago
Functional maps: a flexible representation of maps between shapes
We present a novel representation of maps between pairs of shapes that allows for efficient inference and manipulation. Key to our approach is a generalization of the notion of m...
Maks Ovsjanikov, Mirela Ben-Chen, Justin Solomon, ...