7121 search results - page 136 / 1425 » Functions as Session-Typed Processes |
183
click to vote
BMCBI
2008
15 years 6 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...
201
click to vote
BMCBI
2005
15 years 6 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...
150
click to vote
ICFP
2007
ACM
16 years 6 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...
161
click to vote
ACIVS
2008
Springer
16 years 21 days 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 ...
123
click to vote
ICGI
2000
Springer
15 years 10 months ago
2000
Springer
Let BC be the model of behaviourally correct function learning as introduced by B