Sciweavers

805 search results - page 144 / 161
» On the Role of Integrity Constraints in Data Integration
Sort
View
JUCS
2008
143views more  JUCS 2008»
14 years 9 months ago
Market Microstructure Patterns Powering Trading and Surveillance Agents
: Market Surveillance plays important mechanism roles in constructing market models. From data analysis perspective, we view it valuable for smart trading in designing legal and pr...
Longbing Cao, Yuming Ou
JAR
2000
145views more  JAR 2000»
14 years 9 months ago
Logical Cryptanalysis as a SAT Problem
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
Fabio Massacci, Laura Marraro
73
Voted
TITB
1998
135views more  TITB 1998»
14 years 9 months ago
ViVa: the virtual vascular project
The aim of the ViVa project is to develop tools for the modern hemodynamicist and cardiovascular surgeon to study and interpret the constantly increasing amount of information bei...
Gassan Abdoulaev, Sandro Cadeddu, Giovanni Delussu...
79
Voted
TITB
2002
98views more  TITB 2002»
14 years 9 months ago
OILing the way to machine understandable bioinformatics resources
The complex questions and analyses posed by biologists, as well as the diverse data resources they develop, require the fusion of evidence from different, independently developed ...
Robert Stevens, Carole A. Goble, Ian Horrocks, Sea...
111
Voted
NAR
2011
227views Computer Vision» more  NAR 2011»
14 years 14 days ago
CADgene: a comprehensive database for coronary artery disease genes
Coronary artery disease (CAD) is a complex, multifactorial disease and a leading cause of mortality world wide. Over the past decades, great efforts have been made to elucidate th...
Hui Liu, Wei Liu, Yifang Liao, Long Cheng, Qian Li...