3653 search results - page 559 / 731 » Learning of Partial Languages |
160
Voted
PODS
1991
ACM
15 years 7 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
123
click to vote
AVI
2008
15 years 5 months ago
2008
Computer visualization has advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached the point where...
139
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
136
Voted
CSE
2008
IEEE
15 years 5 months ago
2008
IEEE
A well-known challenge during processor design is to obtain best possible results for a typical target application domain by combining flexibility and computational performance. A...
120
Voted
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...