5864 search results - page 195 / 1173 » Can We Work around Numerical Methods |
156
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
We present metrics to evaluate the performance of video object segmentation and tracking methods quantitatively when groundtruth segmentation maps are not available. The proposed ...
173
click to vote
AAAI
1994
15 years 6 months ago
1994
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
444
Voted
DAC
2012
ACM
13 years 7 months ago
2012
ACM
Full-chip thermal monitoring is an important and challenging issue in today’s microprocessor design. In this paper, we propose a new information-theoretic framework to quantitat...
146
Voted
AMAI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
182
click to vote
POST
2012
14 years 13 days ago
2012
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...