1887 search results - page 280 / 378 » Automatic Concept Evolution |
104
click to vote
TREC
1998
15 years 2 months ago
1998
Experiments relating to TREC-7 Ad Hoc, HP and VLC tasks are described and results reported. Minor re nements of last year's Ad Hoc methods do not appear to have resulted in w...
114
Voted
CCIA
2009
Springer
15 years 1 months ago
2009
Springer
Acronyms are widely used in many domains to abbreviate and stress important concepts. Due to its dynamicity and unbounded nature, manual attempts to compose a global scale reposito...
123
click to vote
CGF
2006
15 years 23 days ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
89
Voted
IGPL
2006
15 years 21 days ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
105
click to vote
JLP
2007
15 years 18 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...