Sciweavers

4342 search results - page 659 / 869
» Improved Algorithms for Optimal Embeddings
Sort
View
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
16 years 1 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
APPROX
2009
Springer
138views Algorithms» more  APPROX 2009»
15 years 11 months ago
Submodular Maximization over Multiple Matroids via Generalized Exchange Properties
Submodular-function maximization is a central problem in combinatorial optimization, generalizing many important NP-hard problems including Max Cut in digraphs, graphs and hypergr...
Jon Lee, Maxim Sviridenko, Jan Vondrák
MDM
2009
Springer
123views Communications» more  MDM 2009»
15 years 11 months ago
Operator Placement for Snapshot Multi-predicate Queries in Wireless Sensor Networks
— This work aims at minimize the cost of answering snapshot multi-predicate queries in high-communication-cost networks. High-communication-cost (HCC) networks is a family of net...
Georgios Chatzimilioudis, Huseyin Hakkoymaz, Nikos...
AINA
2008
IEEE
15 years 11 months ago
Introducing Variable Gap Penalties into Three-Sequence Alignment for Protein Sequences
The common-use gap penalty strategies, constant penalty and affine gap penalty, have been adopted in the traditional three-sequence alignment algorithm which considers the inserti...
Che-Lun Hung, Chun-Yuan Lin, Yeh-Ching Chung, Chua...
ICMCS
2008
IEEE
175views Multimedia» more  ICMCS 2008»
15 years 10 months ago
Fast mode decision for adaptive prediction error coding
In [1], Adaptive Prediction Error Coding (APEC) in spatial and frequency domain is proposed and significantly improves the coding efficiency of video coders. However, this approac...
Cixun Zhang, Kemal Ugur, Moncef Gabbouj