2446 search results - page 238 / 490 » First Smart Spaces |
147
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
131
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
A central issue in relational learning is the choice of an appropriate bias for limiting first-order induction. The purpose of this study is to circumvent this issue within a unifo...
147
click to vote
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A theoretical analysis for comparing two linear dimensionality reduction (LDR) techniques, namely Fisher's discriminant (FD) and Loog-Duin (LD) dimensionality reduci...
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets a...
162
click to vote
ECCV
2006
Springer
15 years 8 months ago
2006
Springer
Tracking body poses of multiple persons in monocular video is a challenging problem due to the high dimensionality of the state space and issues such as inter-occlusion of the pers...