Sciweavers

4353 search results - page 755 / 871
» Computational Challenges of Systems Biology
Sort
View
ISORC
2009
IEEE
16 years 29 days ago
Property Preservation and Composition with Guarantees: From ASSERT to CHESS
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
Tullio Vardanega
AICCSA
2008
IEEE
245views Hardware» more  AICCSA 2008»
16 years 24 days ago
Rapid and robust ranking of text documents in a dynamically changing corpus
Ranking documents in a selected corpus plays an important role in information retrieval systems. Despite notable advances in this direction, with continuously accumulating text do...
Byung-Hoon Park, Nagiza F. Samatova, Rajesh Munava...
ASAP
2008
IEEE
142views Hardware» more  ASAP 2008»
16 years 24 days ago
Managing multi-core soft-error reliability through utility-driven cross domain optimization
As semiconductor processing technology continues to scale down, managing reliability becomes an increasingly difficult challenge in high-performance microprocessor design. Transie...
Wangyuan Zhang, Tao Li
ICASSP
2008
IEEE
16 years 23 days ago
Single-channel speech separation based on modulation frequency
This paper describes an algorithm that performs a simple form of computational auditory scene analysis to separate multiple speech signals from one another on the basis of the mod...
Lingyun Gu, Richard M. Stern
ICDIM
2008
IEEE
16 years 23 days ago
Unsupervised key-phrases extraction from scientific papers using domain and linguistic knowledge
The domain of Digital Libraries presents specific challenges for unsupervised information extraction to support both the automatic classification of documents and the enhancement ...
Mikalai Krapivin, Maurizio Marchese, Andrei Yadran...