1216 search results - page 134 / 244 » Hybrid type checking |
106
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
118
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
128
Voted
SEMWEB
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we benchmark three popular database representations of RDF/S schemata and data: (a) a schema-aware (i.e., one table per RDF/S class or property) with explic...
122
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
XML and XQuery semantics are very sensitive to the order of the produced output. Although pattern-tree based algebraic approaches are becoming more and more popular for evaluating...
145
click to vote
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
The rapid advances of genome-scale sequencing have brought out the necessity of developing new data processing techniques for enormous genomic data. Microarrays, for example, can g...