1002 search results - page 97 / 201 » Reasoning about Object Structures Using Ownership |
123
Voted
DLOG
2001
15 years 3 months ago
2001
For description logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the concept descrip...
139
click to vote
ICAIL
2009
ACM
14 years 12 months ago
2009
ACM
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...
131
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— Recently, the acquisition of three-dimensional maps has become more and more popular. This is motivated by the fact that robots act in the three-dimensional world and several t...
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Human-robot collaborative task achievement requires the robot to reason not only about its current beliefs but also about the ones of its human partner. In this paper, ...
111
click to vote
IWPC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper, we introduce a technique for applying Independent Component Analysis to vector space representations of software code fragments such as methods or blocks. The dista...