682 search results - page 122 / 137 » Classifying arguments by scheme |
COMPSAC
1997
IEEE
15 years 1 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
ACIVS
2006
Springer
15 years 1 months ago
2006
Springer
We address the topic of real-time analysis and recognition of silhouettes. The method that we propose first produces object features obtained by a new type of morphological operato...
CLEAR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present two systems that were used for head pose estimation during the CLEAR06 Evaluation. We participated in two tasks: (1) estimating both pan and tilt orientat...
ECML
2006
Springer
15 years 1 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
106
click to vote
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...