301 search results - page 45 / 61 » Detecting feature interactions in CPL |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Description of a system to detect facial expressions using an agent-based approach is presented. The system utilizes interaction between Matlab-based image filters and a JADEbased...
WOODPECKER
2001
13 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In the last decade, face analysis, e.g. face recognition, face detection, face tracking and facial expression recognition, is a very lively and expanding research field. As com...
IJISMD
2010
13 years 4 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...