5830 search results - page 109 / 1166 » Automatic link generation |
131
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
127
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
143
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
We describe a subsystem of a content-based image retrieval (CBIR) environment that supports a user in the definition of image similarity. Out of a single image or a set of query i...
