220 search results - page 3 / 44 » A Relevant Analysis of Natural Deduction |
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...
BIRTHDAY
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
ICWSM
2008
14 years 10 months ago
2008
We explore the emerging phenomenon of blogging about personal goals, and demonstrate how natural language processing tools can be used to uncover psychologically meaningful constr...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the current state-of-the-art in multimedia content analysis (MCA), the fundamental techniques are typically derived from core pattern recognition and computer vision algorithms...
NLDB
2000
Springer
15 years 29 days ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...