8838 search results - page 126 / 1768 » Generalizing Domain Theory |
146
click to vote
WRLA
2010
15 years 2 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
120
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...
106
click to vote
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
147
Voted
DBA
2006
15 years 5 months ago
2006
This paper presents an approach to produce generalization candidates for a concept hierarchy without the necessity of being an expert in the domain to be generalized and ...
125
click to vote
IMA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a study of a paradigm for domain expansion of MACs is generalized. In particular, a tradeoff between the efficiency of a MAC and the tightness of its security reduc...