2407 search results - page 442 / 482 » A Tool for Abstraction in Model Checking |
116
click to vote
AMAI
2007
Springer
14 years 9 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
JISE
2008
14 years 9 months ago
2008
business requirement in the real world cannot be abstracted correctly into an entity-relationship schema. Once core entities are discovered, we can obtain an Entity-Relationship Di...
NAR
2011
14 years 17 days ago
2011
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Precise segmentation of three-dimensional (3D) magnetic resonance angiography (MRA) image can be a very useful computer aided diagnosis (CAD) tool in clinical routines. O...
156
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. In dynamic environments like the Web, data sources may change not only their data but also their schemas, their semantics, and their query capabilities.When a mapping is ...