Sciweavers

964 search results - page 100 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
TCAD
2008
114views more  TCAD 2008»
13 years 10 months ago
RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
David A. Papa, Tao Luo, Michael D. Moffitt, Chin-N...
COLING
2002
13 years 10 months ago
The Computation of Word Associations: Comparing Syntagmatic and Paradigmatic Approaches
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...
Reinhard Rapp
JCIT
2010
115views more  JCIT 2010»
13 years 5 months ago
Metadata Version Management for DW 2, 0 Environment
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...
Ding Pan
BMCBI
2007
122views more  BMCBI 2007»
13 years 10 months ago
TAP score: torsion angle propensity normalization applied to local protein structure evaluation
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
Silvio C. E. Tosatto, Roberto Battistutta
BMCBI
2007
105views more  BMCBI 2007»
13 years 10 months ago
VaxiJen: a server for prediction of protective antigens, tumour antigens and subunit vaccines
Background: Vaccine development in the post-genomic era often begins with the in silico screening of genome information, with the most probable protective antigens being predicted...
Irini A. Doytchinova, Darren R. Flower