56 search results - page 6 / 12 » jirs 2007 |
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Goldblatt and Thomason’s theorem on modally definable classes of Kripke frames and Venema’s theorem on modally definable classes of Kripke models are generalised to coalgebra...
MLMI
2007
Springer
14 years 5 months ago
2007
Springer
JIRS
2007
13 years 10 months ago
2007
This paper presents a methodology for the realization of intelligent, task-based reconfiguration of the computational hardware for mobile robot applications. Task requirements are ...
JIRS
2007
13 years 10 months ago
2007
Abstract This paper proposes a Qualitative Normalised Templates (QNTs) framework for solving the human motion classification problem. In contrast to other human motion classifica...
JIRS
2007
13 years 10 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...