1070 search results - page 117 / 214 » Type Classes with Functional Dependencies |
CIE
2011
Springer
12 years 9 months ago
2011
Springer
Automatic classes are classes of languages for which a finite automaton can decide whether a given element is in a set given by its index. The present work studies the learnabilit...
HASKELL
2008
ACM
13 years 10 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
WIDM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we propose a set of similarity metrics for manipulating collections of values occuring in XML documents. Following the data model presented in TAX algebra, we treat...
BIBE
2001
IEEE
14 years 21 days ago
2001
IEEE
As various genome sequencing projects have already been completed or are near completion, genome researchers are shifting their focus from structural genomics to functional genomi...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...