651 search results - page 48 / 131 » Decisions in thesaurus construction and use |
TYPES
1999
Springer
15 years 4 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
EOR
2007
14 years 11 months ago
2007
In recent years, Support Vector Machines (SVMs) were successfully applied to a wide range of applications. Their good performance is achieved by an implicit non-linear transformat...
ICIP
2005
IEEE
16 years 1 months ago
2005
IEEE
Face detection in an image sequence is a challenging problem for many applications. In this paper, a novel face detection method is proposed. In order to detect faces in a sequenc...
109
click to vote
ICML
2006
IEEE
16 years 19 days ago
2006
IEEE
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...
EUSFLAT
2003
15 years 1 months ago
2003
This paper concerns the theory of intuitionistic fuzzy sets according to Atanassov. If triangular norms, especially nonstrict Archimedean ones, are used, we propose a revision and...