6756 search results - page 986 / 1352 » The Structure of Visual Spaces |
181
click to vote
LPNMR
2004
Springer
16 years 6 days ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
161
click to vote
MLMI
2004
Springer
16 years 6 days ago
2004
Springer
We 1 present a method for face detection which uses a new SVM structure trained in an expert manner in the eigenface space. This robust method has been introduced as a post process...
187
click to vote
MPC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Generic Programming deals with the construction of programs that can be applied to many dierent datatypes. This is achieved by parameterizing the generic programs by the...
133
click to vote
NIME
2004
Springer
16 years 6 days ago
2004
Springer
In this report, we discuss Tree Music, an interactive computer music installation created using GAIA (Graphical Audio Interface Application), a new open-source interface for contr...
182
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...