4595 search results - page 64 / 919 » Reasoning about Plans |
117
click to vote
BSDCON
2003
15 years 5 months ago
2003
While the subject of SMP locking primitives has been well covered in the literature [Val][Schm][Bald][Leh], there has been relatively little discussion on the rationale and proces...
155
click to vote
TVCG
2012
13 years 7 months ago
2012
—In this paper, we study the sensitivity of centrality metrics as a key metric of social networks to support visual reasoning. As centrality represents the prestige or importance...
130
click to vote
AAAI
2008
15 years 6 months ago
2008
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
138
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...
129
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...