784 search results - page 102 / 157 » Relaxing the Value Restriction |
168
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
132
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Distributed Constraint Satisfaction Problems (DCSP) is a general framework for multi-agent coordination and conflict resolution. In most DCSP algorithms, inter-agent com...
126
Voted
EPIA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an adaptation of the peepholing method to regression trees. Peepholing was described as a means to overcome the major computational bottleneck of growing classi...
170
click to vote
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
147
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...