Sciweavers

4651 search results - page 778 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
ICIP
2003
IEEE
16 years 6 months ago
Geometric segmentation of 3D structures
Segmentation in volumetric images deals with separating `objects' from their `background' in a given 3D data. Usually, one starts with `edge detectors' that give bi...
Ron Kimmel
IPPS
2006
IEEE
15 years 10 months ago
Workflow fine-grained concurrency with automatic continuation
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
Giancarlo Tretola, Eugenio Zimeo
161
Voted
ER
2004
Springer
348views Database» more  ER 2004»
15 years 10 months ago
Understanding Relationships: Classifying Verb Phrase Semantics
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
Veda C. Storey, Sandeep Purao
TACAS
2004
Springer
94views Algorithms» more  TACAS 2004»
15 years 10 months ago
A Tool for Checking ANSI-C Programs
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
Edmund M. Clarke, Daniel Kroening, Flavio Lerda
ACIIDS
2009
IEEE
162views Database» more  ACIIDS 2009»
15 years 10 months ago
Deriving Conceptual Schema from XML Databases
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...
Oviliani Yenty Yuliana, Suphamit Chittayasothorn