3328 search results - page 388 / 666 » Topological Quantum Computation |
194
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
179
click to vote
IVEVA
2004
15 years 8 months ago
2004
Grid technology has been widely used for large-scale computational problems, but it also provides a framework for running a big number of smallsized processes. Moreover, these proc...
183
click to vote
VMV
2001
15 years 8 months ago
2001
Depth reconstruction or acquisition with a 3-D camera results in a video sequence where each pixel of a frame is annotated with a depth value. We propose an approach to combine th...
186
click to vote
VMV
2004
15 years 8 months ago
2004
We present two variants of free surface LatticeBoltzmann fluid simulations for the animation of liquids in computer graphics. The LatticeBoltzmann method is an attractive alternat...
148
click to vote
ENTCS
2008
15 years 6 months ago
2008
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...