Sciweavers

550 search results - page 110 / 110
» Analysis and Visualization of Gene Expressions and Protein S...
Sort
View
AFPAC
1997
Springer
151views Mathematics» more  AFPAC 1997»
13 years 9 months ago
Trilinear Tensor: The Fundamental Construct of Multiple-view Geometry and Its Applications
The topic of representation, recovery and manipulation of three-dimensional 3D scenes from two-dimensional 2D images thereof, provides a fertile ground for both intellectual th...
Amnon Shashua
CORR
2011
Springer
142views Education» more  CORR 2011»
12 years 8 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
BMCBI
2006
103views more  BMCBI 2006»
13 years 4 months ago
Cis-motifs upstream of the transcription and translation initiation sites are effectively revealed by their positional disequili
Background: The discovery of cis-regulatory motifs still remains a challenging task even though the number of sequenced genomes is constantly growing. Computational analyses using...
Kenneth W. Berendzen, Kurt Stüber, Klaus Hart...
WABI
2009
Springer
155views Bioinformatics» more  WABI 2009»
13 years 11 months ago
A Markov Classification Model for Metabolic Pathways
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...
Timothy Hancock, Hiroshi Mamitsuka
FM
2006
Springer
146views Formal Methods» more  FM 2006»
13 years 8 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler