548 search results - page 79 / 110 » Statistical Timing Based Optimization using Gate Sizing |
121
Voted
AAAI
2006
15 years 1 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
100
click to vote
STOC
1999
ACM
15 years 4 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
112
click to vote
IDEAS
2008
IEEE
15 years 6 months ago
2008
IEEE
With more and more natural language text stored in databases, handling respective query predicates becomes very important. Optimizing queries with predicates includes (sub)string ...
108
click to vote
EMNLP
2008
15 years 1 months ago
2008
The conditional phrase translation probabilities constitute the principal components of phrase-based machine translation systems. These probabilities are estimated using a heurist...
ICCV
1999
IEEE
16 years 2 months ago
1999
IEEE
We introduce a finite difference expansion for closely spaced cameras in projective vision, and use it to derive differential analogues of the finite-displacement projective match...