7456 search results - page 1321 / 1492 » Parallelism in Logic Programming |
141
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
141
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
138
Voted
ATS
2005
IEEE
15 years 9 months ago
2005
IEEE
11 Due to the increasing test data volume needed to test corebased System-on-Chip, several test scheduling techniques minimizing the test application time have been proposed. In co...
149
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
100
Voted
AIME
2005
Springer
15 years 9 months ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...