920 search results - page 162 / 184 » Object Recognition from Large Structural Libraries |
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
ERSHOV
2006
Springer
13 years 12 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
MEDINFO
2007
13 years 9 months ago
2007
PROBLEM: Automatic keyword assignment has been largely studied in medical informatics in the context of the MEDLINE database, both for helping search in MEDLINE and in order to pr...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
CIVR
2008
Springer
13 years 10 months ago
2008
Springer
Since the emergence of extensive multimedia data, feature fusion has been more and more important for image and video retrieval, indexing and annotation. Existing feature fusion t...