1228 search results - page 157 / 246 » Continuations, proofs and tests |
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
—— Hybrid semiconductor/nanodevice (“CMOL”) technology may allow the implementation of digital and mixed-signal integrated circuits, including artificial neural networks (...
SIGGRAPH
2010
ACM
14 years 18 days ago
2010
ACM
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
CIKM
1999
Springer
14 years 12 days ago
1999
Springer
Prior work has shown that combining results of various retrieval approaches and query representations can improve search effectiveness. Today, many meta-search engines exist which...
ICSE
1999
IEEE-ACM
14 years 11 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CIKM
2006
Springer
13 years 12 months ago
2006
Springer
INEX, the evaluation initiative for content-oriented XML retrieval, has since its establishment defined the relevance of an element according to two graded dimensions, exhaustivit...