6546 search results - page 942 / 1310 » Improving the Performance of the RISE Algorithm |
175
Voted
GLVLSI
2005
IEEE
16 years 1 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
223
click to vote
IEEESCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
161
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
— This paper proposes a new method for online secondary path modeling in active noise control (ANC) systems. The proposed method is a modified version of the basic method, propo...
210
Voted
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
190
click to vote
SAC
2005
ACM
16 years 1 months ago
2005
ACM
We present a novel indexing schema that provides efficient nearest-neighbor queries in multimedia databases consisting of objects described by multiple feature vectors. The bene...