7121 search results - page 136 / 1425 » Functions as Session-Typed Processes |
BMCBI
2008
14 years 10 months ago
2008
Background: A typical step in the analysis of gene expression data is the determination of clusters of genes that exhibit similar expression patterns. Researchers are confronted w...
109
click to vote
BMCBI
2005
14 years 10 months ago
2005
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
ICFP
2007
ACM
15 years 10 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
ACIVS
2008
Springer
15 years 4 months ago
2008
Springer
Multi-view scene reconstruction from multiple uncalibrated images can be solved by two stages of processing: first, a sparse reconstruction using Structure From Motion (SFM), and ...
ICGI
2000
Springer
15 years 1 months ago
2000
Springer
Let BC be the model of behaviourally correct function learning as introduced by B