8486 search results - page 363 / 1698 » Ordered Enumeration Method |
157
click to vote
JAR
2006
15 years 5 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
127
click to vote
RC
2006
15 years 5 months ago
2006
The problem of designing robust controller for discrete two-time-scale interval systems, conveniently represented using interval matrix notion, is considered. The original full ord...
146
click to vote
PAMI
1998
15 years 4 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...
132
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
By formulating the problem of ordering the outputs observed from a device over time, we pose a new problem in forensics and propose a framework for addressing this problem of devi...
134
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...