1796 search results - page 188 / 360 » An Approach to Compositional Model Checking |
CVPR
2001
IEEE
14 years 10 months ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
ACSC
2007
IEEE
14 years 11 days ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
CBSE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
NIPS
2000
13 years 9 months ago
2000
We describe a unified framework for the understanding of structure representation in primate vision. A model derived from this framework is shown to be effectively systematic in t...
SPLC
2007
13 years 9 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...