2479 search results - page 332 / 496 » Random Event Structures |
120
Voted
PRL
2006
15 years 2 months ago
2006
Images secured from an astronomical telescope usually suffer from blur and from interference that scientists refer to as ``noise''. Therefore, good image restoration tec...
128
Voted
STTT
2008
15 years 2 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
124
click to vote
ET
2000
15 years 2 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
114
click to vote
PAMI
1998
15 years 2 months ago
1998
—We propose a novel image segmentation technique using the robust, adaptive least kth order squares (ALKS) estimator which minimizes the kth order statistics of the squared of re...
128
click to vote
MP
2007
15 years 1 months ago
2007
We present a probabilistic analysis of integer linear programs (ILPs). More specifically, we study ILPs in a so-called smoothed analysis in which it is assumed that first an adve...