Sciweavers

4695 search results - page 581 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
AIIA
2009
Springer
16 years 2 months ago
Ontology-Driven Co-clustering of Gene Expression Data
Abstract. The huge volume of gene expression data produced by microarrays and other high-throughput techniques has encouraged the development of new computational techniques to eva...
Francesca Cordero, Ruggero G. Pensa, Alessia Visco...
ISSTA
1998
ACM
15 years 11 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
CVPR
2007
IEEE
16 years 9 months ago
Learning Visual Similarity Measures for Comparing Never Seen Objects
In this paper we propose and evaluate an algorithm that learns a similarity measure for comparing never seen objects. The measure is learned from pairs of training images labeled ...
Eric Nowak, Frédéric Jurie
BIOCOMP
2006
15 years 9 months ago
A Multi-strategy Approach to Protein Structural Alphabet Design
- The search for structural similarity among proteins can provide valuable insights into their functional mechanisms and their functional relationships. Though the protein 1D seque...
Shih-Yen Ku, Yuh-Jyh Hu
WSC
2007
15 years 10 months ago
Simulating pandemic influenza risks of US cities
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
Catherine Dibble, Stephen Wendel, Kristofor Carle