7109 search results - page 343 / 1422 » Process Algebra with Combinators |
125
Voted
JAR
2006
15 years 5 months ago
2006
Otter-lambda is Otter modified by adding code to implement an algorithm for lambda unification. Otter is a resolution-based, clause-language first-order prover that accumulates de...
121
click to vote
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
167
click to vote
SIGGRAPH
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we describe a new tool for interactive free-form fair surface design. By generalizing classical discrete Fourier analysis to two-dimensional discrete surface signals...
146
click to vote
BIODATAMINING
2008
15 years 5 months ago
2008
Background: Dysfunction in the endolysosome, a late endosomal to lysosomal degradative intracellular compartment, is an early hallmark of some neurodegenerative diseases, in parti...
159
click to vote
RTS
2002
15 years 4 months ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...