Sciweavers

17967 search results - page 3477 / 3594
» Functional timing optimization
Sort
View
DAM
1999
100views more  DAM 1999»
15 years 2 months ago
Complexity Analysis of Propositional Resolution with Autarky Pruning
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
Allen Van Gelder
NAR
2002
109views more  NAR 2002»
15 years 2 months ago
The Molecular Biology Database Collection: 2002 update
The Molecular Biology Database Collection is an online resource listing key databases of value to the biological community. This Collection is intended to bring fellow scientists&...
Andreas D. Baxevanis
ORL
1998
68views more  ORL 1998»
15 years 2 months ago
A fast bipartite network flow algorithm for selective assembly
Bipartite network flow problems naturally arise in applications such as selective assembly and preemptive scheduling. This paper presents fast algorithms for these problems that ...
Satoru Iwata, Tomomi Matsui, S. Thomas McCormick
TC
1998
15 years 2 months ago
Multiple-Valued Signed-Digit Adder Using Negative Differential-Resistance Devices
—This paper describes a new signed-digit full adder (SDFA) circuit consisting of resonant-tunneling diodes (RTDs) and metal-oxide semiconductor field effect transistors (MOSFETs)...
Alejandro F. González, Pinaki Mazumder
SOCO
2002
Springer
15 years 2 months ago
Content-based audio classification and retrieval using a fuzzy logic system: towards multimedia search engines
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
Mingchun Liu, Chunru Wan, Lipo Wang
« Prev « First page 3477 / 3594 Last » Next »