3385 search results - page 423 / 677 » Language, Logic, and the Brain |
202
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
154
click to vote
SAC
2006
ACM
16 years 18 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
132
click to vote
CALCO
2005
Springer
16 years 5 days ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
178
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...
162
click to vote
CP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...