9405 search results - page 426 / 1881 » Computing a Model of Set Theory |
219
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Range imaging has become a critical component of many computer vision applications. The quality of the depth data is of critical importance, but so is the need for speed. Shuttere...
216
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
211
click to vote
CAMP
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
216
click to vote
CONCUR
2001
Springer
16 years 2 days ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
207
click to vote
IPPS
2000
IEEE
15 years 12 months ago
2000
IEEE
Abstract. Computer simulations of realistic applications usually require solving a set of non-linear partial di erential equations PDEs over a nite region. The process of obtaini...