2292 search results - page 306 / 459 » Structure preserving embedding |
157
click to vote
WLP
1997
Springer
15 years 8 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
135
click to vote
POPL
1995
ACM
15 years 8 months ago
1995
ACM
The goal of program transformation is to improve efficiency while preserving meaning. One of the best known transformation techniques is Burstall and Darlington’s unfold-fold me...
168
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
134
click to vote
CAD
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes a novel algorithm to extract surface meshes directly from implicitly represented heterogeneous models made of different constituent materials. Our approach ca...
174
click to vote
IPM
2007
15 years 4 months ago
2007
In this article, we elaborate on the meaning of quality in digital libraries (DLs) by proposing a model that is deeply grounded in a formal framework for digital libraries: 5S (St...