Sciweavers

1188 search results - page 193 / 238
» Extraction of Informative Expressions from Domain-specific D...
Sort
View
ESOP
2007
Springer
15 years 1 months ago
A Certified Lightweight Non-interference Java Bytecode Verifier
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
Gilles Barthe, David Pichardie, Tamara Rezk
MICCAI
2006
Springer
15 years 10 months ago
Adaptive Script Based Animations for Intervention Planning
We describe scripting facilities to create medical animations for intervention planning based on medical volume data and derived segmentation information. A data independent script...
Konrad Mühler, Ragnar Bade, Bernhard Preim
IHM
2004
ACM
15 years 3 months ago
Conception participative par "moments"
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
Jean Caelen, Francis Jambon
CAISE
2004
Springer
15 years 3 months ago
AutoMed: A BAV Data Integration System for Heterogeneous Data Sources
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...
Michael Boyd, Sasivimol Kittivoravitkul, Charalamb...
AAAI
2006
14 years 11 months ago
Using the Semantic Web to Integrate Ecoinformatics Resources
We demonstrate an end-to-end use case of the semantic web's utility for synthesizing ecological and environmental data. ELVIS (the Ecosystem Location Visualization and Inform...
Cynthia Sims Parr, Andriy Parafiynyk, Joel Sachs, ...