1536 search results - page 166 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The problem of how to acquire a model of a physical robot, which is fit for evolution of controllers that can subsequently be used to control that robot, is considered in the con...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
In the framework of a face verification system using local features and a Gaussian Mixture Model based classifier, we address the problem of non-frontal face verification (when on...
IGPL
2006
13 years 10 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
BC
2004
13 years 10 months ago
2004
Flies have the capability to visually track small moving targets, even across cluttered backgrounds. Previous computational models, based on figure detection (FD) cells identified ...
UTP
2010
13 years 8 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...