968 search results - page 56 / 194 » A faster implementation of APlace |
108
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present a framework for minimum distance computations that allows efficient solution of minimum distance queries on a variety of surface representations, includin...
110
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
127
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
123
click to vote
ITP
2010
15 years 8 months ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
ACL
2007
15 years 5 months ago
2007
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based approach to transliteration, inspired by phrasebased mo...