738 search results - page 91 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
ENGL
2008
14 years 9 months ago
2008
Multiple-valued quantum circuits are promising choices for future quantum computing technology, since the multiple-valued quantum system is more compact than the corresponding bina...
IJCV
2000
14 years 9 months ago
2000
We present a universal statistical model for texture images in the context of an overcomplete complex wavelet transform. The model is parameterized by a set of statistics computed ...
74
Voted
VC
2010
14 years 8 months ago
2010
Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
DLOG
2010
14 years 7 months ago
2010
Recent research has shown that annotations are useful for representing access restrictions to the axioms of an ontology and their implicit consequences. Previous work focused on co...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a novel approach for the estimation of 3Dmotion directly from two images using the Radon transform. We assume a similarity function defined on the crossproduct of two i...