1681 search results - page 329 / 337 » A Framework for Analysis of Data Freshness |
OTM
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
ICCAD
1999
IEEE
14 years 27 days ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
MICCAI
1998
Springer
14 years 24 days ago
1998
Springer
Measuring motion in medical imagery becomes more and more important, in particular for object tracking, image registration, and local displacement measurements. Often, the require...
EDBT
2009
ACM
14 years 14 days ago
2009
ACM
Consider a scientist who wants to explore multiple data sets to select the relevant ones for further analysis. Since the visualization real estate may put a stringent constraint o...
CC
2006
Springer
14 years 10 days ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...