10159 search results - page 646 / 2032 » System Design Validation Using Formal Models |
195
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
Classifiers that refrain from classification in certain cases can significantly reduce the misclassification cost. However, the parameters for such abstaining classifiers are ofte...
201
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...
198
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
— The optimization of classification systems is often confronted by the solution over-fit problem. Solution over-fit occurs when the optimized classifier memorizes the traini...
166
click to vote
BILDMED
2008
15 years 8 months ago
2008
The exact knowledge of the blood vessel geometry plays an important role, not only in clinical applications (stroke diagnosis, detection of stenosis), but also for detailed analysi...
231
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Visual markers are graphic symbols designed to be easily recognised by machines. They are traditionally used to track goods, but there is increasing interest in their application ...