1798 search results - page 242 / 360 » Generating presentation constraints from rhetorical structur... |
189
click to vote
SCP
2010
15 years 4 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
196
click to vote
ICCBR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Case-Based Reasoning (CBR) solves problems by reusing past problemsolving experiences maintained in a casebase. The key CBR knowledge container therefore is its casebase....
159
click to vote
INFOCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
200
click to vote
3DIM
2005
IEEE
16 years 11 hour ago
2005
IEEE
We present a new reliable dense disparity estimation algorithm which employs Gaussian scale-space with anisotropic disparity-field diffusion. This algorithm estimates edge-preserv...
209
click to vote
3DIM
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we present a new approach to high quality 3D object reconstruction. Starting from a calibrated sequence of color images, the algorithm is able to reconstruct both t...