2438 search results - page 310 / 488 » Consistent Gradient Operators |
216
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
120
click to vote
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...
223
click to vote
VLDB
2006
ACM
16 years 2 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
203
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
176
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
The energy efficiency of computer systems is an important concern in a variety of contexts. In data centers, reducing energy use improves operating cost, scalability, reliability,...