6770 search results - page 177 / 1354 » How GPUs Work |
116
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
160
click to vote
MDAFA
2004
Springer
15 years 7 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
115
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
108
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
121
Voted
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
This paper addresses the question of updating relational databases through XML views. Using query trees to capture the notions of selection, projection, nesting, grouping, and het...