2040 search results - page 247 / 408 » On the Complexity of Error Explanation |
196
click to vote
MEMOCODE
2008
IEEE
16 years 14 days ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
137
click to vote
MICRO
2008
IEEE
16 years 14 days ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...
113
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
— In this paper, we propose an optimal metric for detection ordering in terms of symbol error rate (SER) in vertical Bell-lab Layered Space-Time (V-BLAST) systems. Motivated by t...
159
click to vote
ICIP
2007
IEEE
16 years 11 days ago
2007
IEEE
We present an optimized full scale automatic camera calibration approach which is both accurate and simple to implement. The method can be applied to a wide range of cameras equip...
163
click to vote
ICPP
2007
IEEE
16 years 11 days ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...