3994 search results - page 487 / 799 » A Linear Logical Framework |
160
click to vote
CG
1998
Springer
15 years 11 months ago
1998
Springer
This paper discusses a practical framework for the semi automatic construction of evaluation functions for games. Based on a structured evaluation function representation, a proced...
177
click to vote
DAGM
1997
Springer
15 years 11 months ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
191
click to vote
SI3D
2010
ACM
15 years 11 months ago
2010
ACM
We present a novel framework for editing geometric detail. Drawing on previous work in image- and geometry-processing, we show that the frequency-space filtering performed in mes...
220
click to vote
AMDO
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we propose an original approach to solve the Inverse Kinematics problem. Our framework is based on Sequential Monte Carlo Methods and has the advantage to a...
222
click to vote
ACL
2008
15 years 9 months ago
2008
This paper presents a MapReduce algorithm for computing pairwise document similarity in large document collections. MapReduce is an attractive framework because it allows us to de...