1818 search results - page 270 / 364 » Granularity-Adaptive Proof Presentation |
129
Voted
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
102
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents a distributed control strategy for deploying hovering robots with multiple downward facing cameras to collectively monitor an environment. Information per p...
142
click to vote
ARGMAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
118
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
106
Voted
CSR
2009
Springer
15 years 10 months ago
2009
Springer
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...