340 search results - page 6 / 68 » Automated error analysis for the agilization of feature mode... |
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes a simple framework for automatically annotating images using non-parametric models of distributions of image features. We show that under this framework quite ...
STTT
2008
13 years 8 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
CAD
2007
Springer
13 years 8 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
DAC
2010
ACM
13 years 9 months ago
2010
ACM
Crosstalk noise is an intrinsic characteristic of photonic devices used by optical networks-on-chip (ONoCs) as well as a potential issue. For the first time, this paper analyzed a...
TARK
2005
Springer
14 years 2 months ago
2005
Springer
Abstract This paper studies the interaction of error and information both in a single-person setting and in an interactive setting. In contrast to Blackwell’s Theorem, which says...