Sciweavers

10 search results - page 1 / 2
» padl 2000
Sort
View
PADL
2000
Springer
13 years 8 months ago
First Class Patterns
Mark Tullsen
PADL
2000
Springer
13 years 8 months ago
GNU Prolog: Beyond Compiling Prolog to C
Daniel Diaz, Philippe Codognet
PADL
2000
Springer
13 years 8 months ago
Programming Deep Concurrent Constraint Combinators
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as...
Christian Schulte
PADL
2000
Springer
13 years 8 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
DL
2000
Springer
161views Digital Library» more  DL 2000»
13 years 8 months ago
Patron-augmented digital libraries
Digital library research is mostly focused on the generation of large collections of multimedia resources and state-ofthe-art tools for their indexing and retrieval. However, digi...
Dion Hoe-Lian Goh, John J. Leggett