1860 search results - page 266 / 372 » Automatic Generation of Search Engines |
114
Voted
KBSE
1997
IEEE
15 years 7 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
110
Voted
AVI
2008
15 years 6 months ago
2008
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
132
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
166
click to vote
AVI
2010
15 years 4 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
163
Voted
PAMI
2012
13 years 6 months ago
2012
—The problem of automatic and optimal design of embedded object detector cascades is considered. Two main challenges are identified: optimization of the cascade configuration and...