2509 search results - page 135 / 502 » Abstract Geometrical Computation and Computable Analysis |
157
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
140
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...
250
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
168
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In an extended image sequence of an outdoor scene, one observes changes in color induced by variations in the spectral composition of daylight. This paper proposes a model for the...
172
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
A common practice when carrying out self-calibration of a camera from one or more views is to start with a guess at the principal point. The general belief is that inaccuracies in...