2370 search results - page 95 / 474 » A Structured Set of Higher-Order Problems |
ISPW
2006
IEEE
14 years 3 months ago
2006
IEEE
As functionality is added to an ageing piece of software, its original design and structure tends to erode. The underlying forces which cause such degradation have been the subject...
ISAAC
2004
Springer
14 years 2 months ago
2004
Springer
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
ILP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
CCCG
2008
13 years 10 months ago
2008
We are interested in the following mesh refinement problem: given an input set of points P in Rd , we would like to produce a good-quality triangulation by adding new points in P....
ICML
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...