6740 search results - page 673 / 1348 » Using Classification as a Programming Language |
164
click to vote
POS
1990
Springer
15 years 10 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
148
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
168
click to vote
AAAI
2004
15 years 8 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
160
click to vote
AMAI
2006
Springer
15 years 6 months ago
2006
Springer
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
169
click to vote
INFSOF
2002
15 years 6 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...