Sciweavers

1221 search results - page 237 / 245
» Crosslingual location search
Sort
View
SAC
2010
ACM
13 years 8 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
AIEDAM
2007
191views more  AIEDAM 2007»
13 years 8 months ago
Ontology-based design information extraction and retrieval
Because of the increasing complexity of products and the design process, as well as the popularity of computer-aided documentation tools, the number of electronic and textual desi...
Zhanjun Li, Karthik Ramani
ALMOB
2008
95views more  ALMOB 2008»
13 years 8 months ago
A stitch in time: Efficient computation of genomic DNA melting bubbles
Background: It is of biological interest to make genome-wide predictions of the locations of DNA melting bubbles using statistical mechanics models. Computationally, this poses th...
Eivind Tøstesen
BIOINFORMATICS
2007
195views more  BIOINFORMATICS 2007»
13 years 8 months ago
Context-dependent clustering for dynamic cellular state modeling of microarray gene expression
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
Shinsheng Yuan, Ker-Chau Li
BMCBI
2010
173views more  BMCBI 2010»
13 years 8 months ago
The Yeast Resource Center Public Image Repository: A large database of fluorescence microscopy images
Background: There is increasing interest in the development of computational methods to analyze fluorescent microscopy images and enable automated large-scale analysis of the subc...
Michael Riffle, Trisha N. Davis