1796 search results - page 188 / 360 » An Approach to Compositional Model Checking |
107
Voted
CVPR
2001
IEEE
16 years 2 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 ...
113
click to vote
ACSC
2007
IEEE
15 years 4 months 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...
107
click to vote
CBSE
2008
Springer
15 years 2 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...
113
click to vote
NIPS
2000
15 years 1 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...
143
click to vote
SPLC
2007
15 years 1 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 ...