1205 search results - page 124 / 241 » Program Extraction from Large Proof Developments |
HIP
2005
Springer
15 years 7 months ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
125
click to vote
TREC
2003
15 years 2 months ago
2003
This report describes a new open-domain answer retrieval system developed at the University of Edinburgh and gives results for the TREC-12 question answering track. Phrasal answer...
106
click to vote
ICSM
1999
IEEE
15 years 5 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
113
click to vote
CVPR
2001
IEEE
16 years 3 months ago
2001
IEEE
Recognising face with large pose variation is more challenging than that in a fixed view, e.g. frontal-view, due to the severe non-linearity caused by rotation in depth, selfshadi...
WISE
2002
Springer
15 years 6 months ago
2002
Springer
The common paradigm of searching and retrieving information on the Web is based on keyword-based search using one or more search engines, and then browsing through the large numbe...