13734 search results - page 152 / 2747 » Abstractions of data types |
129
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
145
click to vote
WEA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
142
click to vote
EDBT
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. In wireless data broadcast systems, popular information is repetitively disseminated through possibly multiple communication channels to mobile clients using various type...
153
click to vote
PSSS
2003
15 years 5 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
140
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Although keyword query enables inexperienced users to easily search XML database with no specific knowledge of complex structured query languages or XML data schemas, the ambigui...