4036 search results - page 697 / 808 » Formal Methods |
185
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Motion planning for robots with many degrees of freedom requires the exploration of an exponentially large configuration space. Single-query motion planners restrict exploration ...
170
click to vote
HT
2005
ACM
15 years 12 months ago
2005
ACM
We describe our approach to the automatic generation of argument structures in the domain of video documentaries. Our approach releases control of the final video sequencing from...
192
click to vote
KCAP
2005
ACM
15 years 12 months ago
2005
ACM
The paper reports on an exploratory case study where an organizational learning methodology was used to support knowledge sharing in a medium-sized distributed software developmen...
147
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
236
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...