Sciweavers

1995 search results - page 96 / 399
» interfaces 2008
Sort
View
SEMCO
2008
IEEE
14 years 4 months ago
OPTIMA: Tool for Ontology Alignment with Application to Semantic Reconciliation of Sensor Metadata for Publication in SensorMap
We present Optima, a state of the art general purpose tool for ontology alignment that automatically identifies and matches relevant concepts between ontologies. The tool is supp...
Ravikanth Kolli, Prashant Doshi
TCAD
2008
82views more  TCAD 2008»
13 years 10 months ago
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
Hao Zheng, Jared Ahrens, Tian Xia
AES
2008
Springer
97views Cryptology» more  AES 2008»
13 years 9 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez
CIKM
2008
Springer
13 years 12 months ago
Social navigation and annotation for electronic books
Modern efforts on digitizing electronic books focus on preserving authentic "spatial" representation of the original sources. The new format requires new tools to help u...
Jae-Kyung Kim, Rosta Farzan, Peter Brusilovsky
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
14 years 4 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...