1860 search results - page 266 / 372 » Automatic Generation of Search Engines |
KBSE
1997
IEEE
14 years 1 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...
AVI
2008
13 years 11 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...
COMPSAC
2008
IEEE
13 years 11 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...
AVI
2010
13 years 10 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...
PAMI
2012
11 years 11 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...