2956 search results - page 144 / 592 » Databases and Higher Types |
132
click to vote
JACM
2002
15 years 2 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
122
click to vote
DATASCIENCE
2006
15 years 3 months ago
2006
There is clear demand for a global spatial public domain roads data set with improved geographic and temporal coverage, consistent coding of road types, and clear documentation of...
156
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
137
click to vote
IWMMDBMS
1998
15 years 4 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...
170
click to vote
SDB
1995
15 years 6 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...