Sciweavers

3335 search results - page 660 / 667
» Grid result checking
Sort
View
ENTCS
2002
166views more  ENTCS 2002»
14 years 11 months ago
Translation and Run-Time Validation of Optimized Code
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
Lenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Gol...
TCAD
1998
86views more  TCAD 1998»
14 years 11 months ago
Fast heuristic and exact algorithms for two-level hazard-free logic minimization
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
Michael Theobald, Steven M. Nowick
86
Voted
BMCBI
2007
115views more  BMCBI 2007»
14 years 11 months ago
SpliceMiner: a high-throughput database implementation of the NCBI Evidence Viewer for microarray splice variant analysis
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...
Ari B. Kahn, Michael C. Ryan, Hongfang Liu, Barry ...
PR
2007
184views more  PR 2007»
14 years 11 months ago
Accurate object contour tracking based on boundary edge selection
In this paper, a novel method for accurate subject tracking, by selecting only tracked subject boundary edges in a video stream with a changing background and moving camera, is pr...
Myung-Cheol Roh, Tae-Yong Kim, Jihun Park, Seong-W...
ICMCS
2010
IEEE
181views Multimedia» more  ICMCS 2010»
14 years 10 months ago
LDPC FEC code extension for unequal error protection in 2nd generation DVB systems
One of the envisioned advantages of scalable video coding is its inherent suitability for achieving unequal error protection (UEP). UEP can be effectively used for graceful qualit...
Lukasz Kondrad, Imed Bouazizi, Moncef Gabbouj