3820 search results - page 255 / 764 » Bounded Model Debugging |
162
Voted
ICNS
2006
IEEE
15 years 9 months ago
2006
IEEE
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
138
Voted
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
A method is introduced for model order reduction of large circuits extracted from layout. The algorithm, which is based on balanced realization, can be used for reducing the order ...
137
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
166
Voted
TNN
2010
14 years 10 months ago
2010
Finite mixture model is a powerful tool in many statistical learning problems. In this paper, we propose a general, structure-preserving approach to reduce its model complexity, w...
159
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
We propose a framework that performs action recognition and identity maintenance of multiple targets simultaneously. Instead of first establishing tracks using an appearance mode...