76 search results - page 11 / 16 » On the Computational Complexity of Verifying One-Counter Pro... |
EDOC
2007
IEEE
13 years 11 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
WACV
2005
IEEE
14 years 1 months ago
2005
IEEE
As tracking systems become more effective at reliably tracking multiple objects over extended periods of time within single camera views and across overlapping camera views, incre...