1941 search results - page 325 / 389 » Reasoning about Computations Using Two-Levels of Logic |
152
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
126
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
161
Voted
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
120
Voted
CG
2008
Springer
15 years 5 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...
137
Voted
ETS
2000
IEEE
15 years 3 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...