2586 search results - page 422 / 518 » Automatic Abstraction for Congruences |
122
click to vote
CG
2006
Springer
14 years 12 months ago
2006
Springer
s: clustering, denoising, sharp feature, shape abstraction, reverse engineering In this paper we describe a hierarchical face clustering algorithm for triangle meshes based on fit...
103
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Understanding a software system at source-code level requires understanding the different concerns that it addresses, which in turn requires a way to identify these conce...
105
click to vote
IJAC
2008
14 years 12 months ago
2008
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
107
click to vote
ENTCS
2006
14 years 12 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...