Sciweavers

1061 search results - page 135 / 213
» Integrity Constraints for Linked Data
Sort
View
VIS
2009
IEEE
216views Visualization» more  VIS 2009»
14 years 11 months ago
Multimodal Vessel Visualization of Mouse Aorta PET/CT Scans
In this paper, we present a visualization system for the visual analysis of PET/CT scans of aortic arches of mice. The system has been designed in close collaboration between resea...
Timo Ropinski, Sven Hermann, Rainer Reich, Mich...
MEDINFO
2007
116views Healthcare» more  MEDINFO 2007»
13 years 11 months ago
Knowledge-Level Querying of Temporal Patterns in Clinical Research Systems
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
Martin J. O'Connor, Ravi D. Shankar, David B. Parr...
WWW
2004
ACM
14 years 10 months ago
Practical semantic analysis of web sites and documents
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
Thierry Despeyroux
CAV
2011
Springer
253views Hardware» more  CAV 2011»
13 years 1 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
PODS
2005
ACM
130views Database» more  PODS 2005»
14 years 10 months ago
Composition of mappings given by embedded dependencies
Composition of mappings between schemas is essential to support schema evolution, data exchange, data integration, and other data management tasks. In many applications, mappings ...
Alan Nash, Philip A. Bernstein, Sergey Melnik