1743 search results - page 136 / 349 » Generalized Modal Satisfiability |
122
click to vote
HOA
1993
15 years 7 months ago
1993
This paper studies termination properties of rewrite systems that are typeable using intersection types. It introduces a notion of partial type assignment on Curryfied Term Rewri...
103
click to vote
EUROCRYPT
1990
Springer
15 years 7 months ago
1990
Springer
The relation between the Walsh-Hadamard transform and the autocorrelation function of Boolean functions is used to study propagation characteristics of these functions. The Strict...
87
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
123
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it represents the solution to all instances of a problem (instead of just the...
122
Voted
CIE
2008
Springer
15 years 5 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...