5267 search results - page 791 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
159
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes a method to detect glasses’ frames for robust facial image processing. This method makes use of the 3D features obtained by a trinocular stereo vision syste...
203
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
189
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
314
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
187
click to vote
WACV
2007
IEEE
16 years 27 days ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...