3082 search results - page 608 / 617 » Deviation Analysis: A New Use of Model Checking |
SIGMOD
2009
ACM
14 years 8 months 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...
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
Query-oriented summarization aims at extracting an informative summary from a document collection for a given query. It is very useful to help users grasp the main information rel...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Detecting objects, estimating their pose and recovering 3D shape information is a critical problem in many vision and robotics applications. This paper addresses the above needs by...
COLT
2008
Springer
13 years 10 months ago
2008
Springer
In the multi-armed bandit (MAB) problem there are k distributions associated with the rewards of playing each of k strategies (slot machine arms). The reward distributions are ini...