10891 search results - page 1856 / 2179 » Combining Model Reductions |
134
click to vote
ISCC
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
130
click to vote
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
113
click to vote
WETICE
2006
IEEE
15 years 9 months ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...
108
click to vote
AAECC
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
100
Voted
ACCV
2006
Springer
15 years 9 months ago
2006
Springer
We present a new method for recovering the 3D shape of a featureless smooth surface from three or more calibrated images. The main contribution of this paper is the ability to hand...