9405 search results - page 1216 / 1881 » Computing a Model of Set Theory |
233
click to vote
JACM
2002
15 years 7 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
344
click to vote
ATC
2010
Springer
15 years 6 months ago
2010
Springer
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...
238
click to vote
VISUALIZATION
2005
IEEE
16 years 25 days ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...
237
click to vote
JMLR
2002
15 years 7 months ago
2002
A central problem in learning is selection of an appropriate model. This is typically done by estimating the unknown generalization errors of a set of models to be selected from a...
210
click to vote
VISUALIZATION
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...