1634 search results - page 148 / 327 » Reasoning about Knowledge Using Rough Sets |
CVPR
2010
IEEE
14 years 7 months ago
2010
IEEE
Repetitive and ambiguous visual structures in general pose a severe problem in many computer vision applications. Identification of incorrect geometric relations between images s...
ROMAN
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
IJCAI
1989
13 years 12 months ago
1989
We extend qualitative reasoning with estimations of the relative likelihoods of the pos sible qualitative behaviors . We estimate the likelihoods by viewing the dynamics o f a sys...
AMR
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
TPHOL
2003
IEEE
14 years 4 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...