3319 search results - page 214 / 664 » Type Theoretical Databases |
ERSHOV
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
SOFSEM
1997
Springer
15 years 3 months ago
1997
Springer
Digital elevation models can represent many types of geographic data. One of the common digital elevation models is the triangulated irregular network also called TIN, or polyhed...
104
click to vote
ACMSE
2007
ACM
15 years 2 months ago
2007
ACM
Although skip lists were introduced as an alternative to balanced binary search trees (BSTs), we show that the skip list can be interpreted as a type of randomly-balanced BST whos...
RTA
2010
Springer
15 years 2 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
DIS
2006
Springer
15 years 2 months ago
2006
Springer
This paper introduces a new family of string classifiers based on local relatedness. We use three types of local relatedness measurements, namely, longest common substrings (LCStr&...