6142 search results - page 518 / 1229 » The Complexity of Partition Functions |
178
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
We present a systematic approach to decompose and incrementally build the proof of correctness of pipelined microprocessors. The central idea is to construct the abstraction funct...
192
click to vote
SEAAI
1998
Springer
15 years 11 months ago
1998
Springer
In a multidisciplinary design environment, such as the architecture, engineering and construction (AEC) domain, the various designers will have their own views, concepts and repre...
146
click to vote
GLOBECOM
2009
IEEE
15 years 11 months ago
2009
IEEE
A new method is proposed for the blind subspace-based identification of the coefficients of time-varying (TV) single-input multiple-output (SIMO) FIR channels. The TV channel coef...
207
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
235
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we formulate the image matting as one of solving energy minimization problems. Our approach has the following advantages. First, the matte estimation is modeled usin...