682 search results - page 59 / 137 » Classifying arguments by scheme |
100
click to vote
ECCV
2004
Springer
15 years 11 months ago
2004
Springer
In this work, we present a novel approach to face recognition which considers both shape and texture information to represent face images. The face area is first divided into small...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This work proposes a new methodology for intelligent classification and retrieval of software components based on user–defined requirements. The classification scheme utilizes a...
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...
132
click to vote
MICAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Automatic image annotation refers to the process of automatically labeling an image with a predefined set of keywords. Image annotation is an important step of content-ba...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...