2253 search results - page 170 / 451 » The ComFoRT Reasoning Framework |
ICRA
2005
IEEE
15 years 4 months ago
2005
IEEE
— We present an agent-based framework for the development of distributed applications for a team of heterogenous mobile robots. The main goal is to ease the development of cooper...
ECSQARU
2005
Springer
15 years 4 months ago
2005
Springer
This paper is centered on the family of Dung’s finite argumentation frameworks when the attacks relation is symmetric (and nonempty and irreflexive). We show that while this fa...
125
click to vote
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
101
click to vote
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...