780 search results - page 85 / 156 » Compositional Quantitative Reasoning |
112
Voted
MICRO
1999
IEEE
15 years 5 months ago
1999
IEEE
Although PC-class 3D graphics hardware has made significant strides in the last several years, the underlying architectural design principles are still generally considered as a b...
AAAI
2006
15 years 2 months ago
2006
Distributed Constraint Optimization (DCOP) is rapidly emerging as a prominent technique for multiagent coordination. However, despite agent privacy being a key motivation for appl...
122
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Our work concerns the elucidation of the cancer (epi)genome, transcriptome and proteome to better understand the complex interplay between a cancer cell's molecular state and ...
106
click to vote
PODS
2006
ACM
16 years 25 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. ...
116
click to vote
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...