12981 search results - page 2442 / 2597 » Model Checking (Abstract) |
148
click to vote
VC
2010
14 years 10 months ago
2010
Abstract Three-dimensional (3D) representations of complex geometric shapes, especially when they are reconstructed from magnetic resonance imaging (MRI) and computed tomography (C...
253
Voted
TCAD
2011
14 years 10 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
146
click to vote
CGO
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Current programming models and compiler technologies for multi-core processors do not exploit well the performance benefits obtainable by applying algorithm-specific, ...
134
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
117
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract— A hybrid model was developed to predict the zeroquantized discrete cosine transform (ZQDCT) coefficients for intra blocks in our previous work. However, the complicated...