8728 search results - page 430 / 1746 » On Reduct Construction Algorithms |
176
click to vote
ENTCS
2008
15 years 7 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
160
click to vote
GPEM
2006
15 years 6 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
186
click to vote
TON
2010
15 years 1 months ago
2010
OFDMA is one of the most important modulation and access methods for the future mobile networks. Before transmitting a frame on the downlink, an OFDMA base station has to invoke an...
201
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper describes a Bayesian algorithm for rigid/non-rigid 2D visual object tracking based on sparse image features. The algorithm is inspired by the way human visual cortex se...
163
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a test pattern generation algorithm aiming at signal integrity faults on long interconnects. This is achieved by considering the effect of inputs and par...