1878 search results - page 48 / 376 » The Vienna Abstract Machine |
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance...
ICFEM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
IWBRS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper proposes a new method for personal identity verification based the analysis of face images applying One Class Support Vector Machines. This is a recently intr...
CAIP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The support vector machine is basically to deal with a two-class classification problem. To get M-class classifiers for face recognition, it is common to construct a set ...
CAIP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we propose a heterogeneous committee machine for face processing including face detection and recognition. Our proposed system consists of two components, ...