1329 search results - page 143 / 266 » Constraint-based model synthesis |
155
click to vote
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
165
Voted
TVLSI
1998
15 years 4 months ago
1998
—In this paper, we propose a robust register-transfer level (RTL) power modeling methodology for functional units. Our models are consistently accurate over a wide range of input...
264
Voted
TASE
2012
IEEE
14 years 4 days ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
165
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
All non-trivial stereo problems need model priors to deal with ambiguities and noise perturbations. To meet requirements of increasingly demanding tasks such as modeling for rende...
125
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...