562 search results - page 26 / 113 » Ordered Sets in the Calculus of Data Structures |
71
Voted
CORR
2008
Springer
14 years 8 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
CIDR
2003
14 years 11 months ago
2003
It has frequently been observed that most of the world’s data lies outside database systems. The reason is that database systems focus on structured data, leaving the unstructur...
DAWAK
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Biobanks are gaining in importance by storing large collections of patient's clinical data (e.g. disease history, laboratory parameters, diagnosis, life style) toget...
SPIRE
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...
86
Voted
JAIR
2008
14 years 9 months ago
2008
In order for agents to act on behalf of users, they will have to retrieve and integrate vast amounts of textual data on the World Wide Web. However, much of the useful data on the...