4218 search results - page 454 / 844 » Complete sets of cooperations |
226
click to vote
TYPES
1995
Springer
15 years 11 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
183
click to vote
ICML
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
193
click to vote
VLDB
1987
ACM
15 years 11 months ago
1987
ACM
Thie paper presents a representation echeme for polyhedral objects in arbitrary dimensions. Each object ie represented as the algebraic sum of convex polyhedra (cells). Each cell ...
230
click to vote
SGP
2004
15 years 10 months ago
2004
Numerous mesh algorithms such as parametrization, radiosity, and collision detection require the decomposition of meshes into a series of clusters. In this paper we present two no...
217
click to vote
AIPS
2007
15 years 10 months ago
2007
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...