1057 search results - page 143 / 212 » Testing from Formal Specifications, a Generic Approach |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
ICCS
1997
Springer
13 years 11 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, we present a new variational method for multi-view stereovision and non-rigid three-dimensional motion estimation from multiple video sequences. Our method minimize...