6597 search results - page 44 / 1320 » Orderings and Types in Databases |
BMCBI
2004
13 years 7 months ago
2004
Background: An increasing number of whole viral and bacterial genomes are being sequenced and deposited in public databases. In parallel to the mounting interest in whole genomes,...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
A number of organizations publish microdata for purposes such as public health and demographic research. Although attributes that clearly identify individuals, such as Name and So...