1670 search results - page 30 / 334 » On Skolemization in constructive theories |
165
click to vote
POPL
2007
ACM
16 years 3 days ago
2007
ACM
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
107
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
FOCM
2007
14 years 11 months ago
2007
We provide an algebraic formulation of the moving frame method for constructing local smooth invariants on a manifold under an action of a Lie group. This formulation gives rise t...
107
click to vote
DATAMINE
1998
14 years 11 months ago
1998
Decision trees have proved to be valuable tools for the description, classi cation and generalizationof data. Work on constructingdecisiontrees from data exists in multiplediscipli...