3481 search results - page 544 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
115
click to vote
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
The knowledge society brings its own challenges and demands upon its citizens. Key amongst these is the need to empower people to become lifelong learners, to reflect upon their o...
136
click to vote
COCOON
2003
Springer
15 years 8 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
115
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
We propose a high-level analytical model for estimating the energy and/or power dissipation in VLSI processor (systolic) array implementations of loop programs, particularly for i...
123
Voted
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Hybrid knowledge bases (HKB’s) [11] were developed to provide formal models for the mediation of data and knowledge bases [14,15]. They are based on Generalized Annotat...
132
Voted
PEPM
1993
ACM
15 years 7 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...