11200 search results - page 1897 / 2240 » An Object-oriented Optimization System |
151
Voted
SAT
2009
Springer
15 years 10 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
120
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Query answering for the QL profile of OWL 2 and a substantial fragment of the EL profile can be implemented via query rewriting. In our previous work, we presented RQR...
125
Voted
ISLPED
2009
ACM
15 years 10 months ago
2009
ACM
Increasing power densities and the high cost of low thermal resistance packages and cooling solutions make it impractical to design processors for worst-case temperature scenarios...
143
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
Similarity search is widely used in multimedia retrieval systems to find the most similar ones for a given object. Some similarity measures, however, are not metric, leading to e...
135
Voted
MM
2009
ACM
15 years 10 months ago
2009
ACM
Experiential image retrieval systems aim to provide the user with a natural and intuitive search experience. The goal is to empower the user to navigate large collections based on...