6020 search results - page 220 / 1204 » A New Approach to Model Counting |
137
Voted
ASPDAC
2008
ACM
15 years 7 months ago
2008
ACM
In this paper, we propose a new model order reduction approach for large interconnect circuits using hierarchical decomposition and Krylov subspace projection-based model order re...
118
Voted
WSC
2000
15 years 6 months ago
2000
This paper describes how discrete-event simulation enhanced a traditional process design effort for a new media company in pre-launch mode. Because the company's business mod...
119
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
182
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a new approach for the binarization of seriously degraded manuscript. We introduce a new technique based on a Markov Random Field (MRF) model of the document. ...
125
Voted
PR
2006
15 years 4 months ago
2006
This paper presents a general framework to integrate a new type of constraints, based on spatial relations, in deformable models. In the proposed approach, spatial relations are r...