2440 search results - page 259 / 488 » Explanation-Based Feature Construction |
166
click to vote
ENTCS
2006
15 years 5 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
173
click to vote
IJET
2008
15 years 5 months ago
2008
This paper outlines a pedagogically-oriented case study of the use of a 3D collaborative virtual environment (3D CVE) to break down barriers between partners from different cultura...
139
click to vote
JAR
2008
15 years 5 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
159
click to vote
JMLR
2008
15 years 5 months ago
2008
Support vector machine (SVM) is one of the most popular and promising classification algorithms. After a classification rule is constructed via the SVM, it is essential to evaluat...
144
click to vote
JCST
2006
15 years 5 months ago
2006
In this paper, a novel framework for face recognition, namely Selective Ensemble of Image Regions (SEIR), is proposed. In this framework, all possible regions in the face image are...