5630 search results - page 44 / 1126 » Computability in Specification |
ENTCS
2006
13 years 10 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
ACMSE
2004
ACM
14 years 3 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
CVPR
2003
IEEE
14 years 12 months ago
2003
IEEE
We consider the problem of segmenting an image into foreground and background, with foreground containing solely objects of interest known a priori. We propose an integration mode...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...