Sciweavers

497 search results - page 35 / 100
» A Really Good Idea
Sort
View
FOSSACS
2003
Springer
14 years 3 months ago
Categories of Containers
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
Michael Abbott, Thorsten Altenkirch, Neil Ghani
ICLP
2003
Springer
14 years 3 months ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
PG
2002
IEEE
14 years 2 months ago
Compressing Hexahedral Volume Meshes
Unstructured hexahedral volume meshes are of particular interest for visualization and simulation applications. They allow regular tiling of the three-dimensional space and show g...
Martin Isenburg, Pierre Alliez
AI
2010
Springer
14 years 2 months ago
Toward a Gold Standard for Extractive Text Summarization
Abstract. Extractive text summarization is the process of selecting relevant sentences from a collection of documents, perhaps only a single document, and arranging such sentences ...
Alistair Kennedy, Stan Szpakowicz
CIKM
2001
Springer
14 years 2 months ago
Automatic Query Expansion Based on Divergence
In this paper we are mainly concerned with discussion of a formal model, based on the basic concept of divergence from information theory, for automatic query expansion. The basic...
D. Cai, C. J. van Rijsbergen, Joemon M. Jose