Sciweavers

514 search results - page 40 / 103
» Multiplicative structures in additively large sets
Sort
View
ATS
2009
IEEE
111views Hardware» more  ATS 2009»
14 years 2 months ago
Dynamic Compaction in SAT-Based ATPG
SAT-based automatic test pattern generation has several advantages compared to conventional structural procedures, yet often yields too large test sets. We present a dynamic compa...
Alejandro Czutro, Ilia Polian, Piet Engelke, Sudha...
SIGMOD
2009
ACM
220views Database» more  SIGMOD 2009»
14 years 8 months ago
Keyword search in databases: the power of RDBMS
Keyword search in relational databases (RDBs) has been extensively studied recently. A keyword search (or a keyword query) in RDBs is specified by a set of keywords to explore the...
Lu Qin, Jeffrey Xu Yu, Lijun Chang
BIBE
2007
IEEE
128views Bioinformatics» more  BIBE 2007»
14 years 2 months ago
QOMA2: Optimizing the alignment of many sequences
Abstract—We consider the problem of aligning multiple protein sequences with the goal of maximizing the SP (Sum-of-Pairs) score, when the number of sequences is large. The QOMA (...
Xu Zhang, Tamer Kahveci
VISUALIZATION
2002
IEEE
14 years 19 days ago
Interactive Visualization of Complex Plant Ecosystems
We present a method for interactive rendering of large outdoor scenes. Complex polygonal plant models and whole plant populations are represented by relatively small sets of point...
Oliver Deussen, Carsten Colditz, Marc Stamminger, ...
TASLP
2008
136views more  TASLP 2008»
13 years 7 months ago
On Acoustic Diversification Front-End for Spoken Language Identification
The parallel phone recognition followed by language model (PPRLM) architecture represents one of the state-of-the-art spoken language identification systems. A PPRLM system compris...
Khe Chai Sim, Haizhou Li