1224 search results - page 228 / 245 » Theory decision by decomposition |
187
Voted
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
167
click to vote
SIGMOD
2008
ACM
16 years 24 days ago
2008
ACM
A primary challenge to large-scale data integration is creating semantic equivalences between elements from different data sources that correspond to the same real-world entity or...
104
click to vote
PODS
2006
ACM
16 years 24 days ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
100
Voted
MOBIHOC
2008
ACM
16 years 7 days ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...
138
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...