8874 search results - page 120 / 1775 » A New Implementation of Automath |
128
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
We describe our experience with a new algorithm for the reconstruction of surfaces from unorganized sample points in IR 3. The algorithm is the first for this problem with provab...
135
click to vote
SIGSOFT
1994
ACM
15 years 7 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
123
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a new method for the rapid development of complex rule bases involving cue phrases for the purpose of classifying text segments. The method is based on Ripple...
135
click to vote
IPPS
1995
IEEE
15 years 7 months ago
1995
IEEE
The linear systems associated with large, sparse, symmetric, positive definite matrices are often solved iteratively using the preconditioned conjugate gradient method. We have d...
150
click to vote
ICIAP
2007
ACM
15 years 5 months ago
2007
ACM
The paper deals with the design and implementation of a stereo algorithm. Disparity map is formulated as a Markov Random Field with a new smoothness constraint depending not only ...