6431 search results - page 1000 / 1287 » Model Building by Resolution |
130
click to vote
SGP
2003
15 years 5 months ago
2003
We present “contact levels of detail” (CLOD), a novel concept for multiresolution collision detection. Given a polyhedral model, our algorithm automatically builds a “dual h...
130
click to vote
WSC
2000
15 years 5 months ago
2000
Web-based study resources can be viewed as a basic requirement in order to remain a competitive player on a more and more globalised educational market. For that reason it is gett...
134
click to vote
NAACL
1994
15 years 5 months ago
1994
We present an integrated approach to speech and natural language processing which uses a single parser to create training for a statistical speech recognition component and for in...
154
click to vote
CIIA
2009
15 years 5 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
180
click to vote
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...