4651 search results - page 778 / 931 » Data Reduction Using Multiple Models Integration |
132
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
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...
109
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
136
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Relationships are an essential part of the design of a database because they capture associations between things. Comparing and integrating relationships from heterogeneo...
118
Voted
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
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...
145
Voted
ACIIDS
2009
IEEE
15 years 7 months ago
2009
IEEE
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...