5244 search results - page 526 / 1049 » Structural Complexity of AvgBPP |
179
click to vote
ICCV
2005
IEEE
16 years 22 days ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
214
click to vote
ICCAD
2003
IEEE
16 years 12 days ago
2003
IEEE
: This paper presents FROSTY, a computer program for automatically extracting the hierarchy of a large-scale digital CMOS circuit from its transistor-level netlist description and ...
224
click to vote
MICRO
2003
IEEE
16 years 11 days ago
2003
IEEE
Single-event upsets from particle strikes have become a key challenge in microprocessor design. Techniques to deal with these transient faults exist, but come at a cost. Designers...
194
click to vote
SAC
2010
ACM
16 years 7 days ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
166
click to vote
ICMT
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Model transformations play a key role in the vision of Modelngineering. Nevertheless, mechanisms like abstraction, variation and composition for specifying and applying r...