1128 search results - page 149 / 226 » Classical Natural Deduction |
103
click to vote
CIKM
2007
Springer
15 years 7 months ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
109
Voted
CSCLP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The union-find algorithm can be seen as solving simple equations between variables or constants. With a few lines of code change, we generalise its implementation in CHR...
148
click to vote
FASE
2007
Springer
15 years 7 months ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
128
Voted
HUMO
2007
Springer
15 years 7 months ago
2007
Springer
We propose a new method for human action recognition from video sequences using latent topic models. Video sequences are represented by a novel “bag-of-words” representation, w...
103
click to vote
ICADL
2007
Springer
15 years 7 months ago
2007
Springer
Syllabi are important documents created by instructors for students. Students use syllabi to find information and to prepare for class. Instructors often need to find similar syl...