2032 search results - page 267 / 407 » Improving Java performance using hardware translation |
168
Voted
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
151
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
143
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Image similarity search is a fundamental problem in computer vision. Efficient similarity search across large image databases depends critically on the availability of compact ima...
156
click to vote
TMI
1998
15 years 4 months ago
1998
—Spatially varying focal length fan-beam collimators can be used in single photon emission computed tomography to improve detection efficiency and to reduce reconstruction artif...
157
Voted
GECCO
2011
Springer
14 years 8 months ago
2011
Springer
This paper extends prior work using Compositional Pattern Producing Networks (CPPNs) as a generative encoding for the purpose of simultaneously evolving robot morphology and contr...