626 search results - page 54 / 126 » When Can Formal Methods Make a Real Difference |
138
click to vote
AAAI
2008
15 years 5 months ago
2008
Transfer learning addresses the problem of how to utilize plenty of labeled data in a source domain to solve related but different problems in a target domain, even when the train...
107
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Physical human-robot interaction can be significantly improved when being aware about the role each partner takes in a joint manipulation task. This holds especially in computer ...
177
click to vote
SAS
1992
Springer
15 years 7 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
110
Voted
ACL
1998
15 years 4 months ago
1998
Rich mark-up can considerably benefit the process of establishing bitext correspondences, that is, the task of providing correct identification and alignment methods for text segm...
154
click to vote
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
People detection is an important task for a wide range of applications in computer vision. State-of-the-art methods learn appearance based models requiring tedious collection and ...