274 search results - page 20 / 55 » Moving Between Argumentation Frameworks |
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Tracking moving objects from image sequences obtained by a moving camera is a difļ¬cult problem since there exists apparent motion of the static background. It becomes more difļ¬...
COMMA
2008
13 years 10 months ago
2008
An abstract framework for formalising persuasion dialogues has recently been proposed. The framework provides for a range of speech acts, and protocols of varying levels of flexibi...
GI
2001
Springer
14 years 1 months ago
2001
Springer
We present the veriļ¬cation of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of reļ¬nements; it is mechanized base...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose an approach (based on Water Transformations) to migrate web applications between various web development frameworks. This migration process preserves the structure of t...
ICANNGA
2007
Springer
13 years 10 months ago
2007
Springer
Neural networks are a popular technique for learning the adaptive control of non-linear plants. When applied to the complex control of android robots, however, they suļ¬er from se...