3235 search results - page 124 / 647 » Partial Redundant Modeling |
145
click to vote
SERA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
150
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
In this paper, efficient and generic tools for calibration and 3D reconstruction are presented. These tools exploit geometric constraints frequently present in man-made environmen...
119
click to vote
TIT
2002
15 years 3 months ago
2002
-- We characterize the best achievable performance of lossy compression algorithms operating on arbitrary random sources, and with respect to general distortion measures. Direct an...
153
click to vote
HASE
2005
IEEE
15 years 10 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
128
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
Theorem provers based on model elimination have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption. In this paper we repor...