1399 search results - page 168 / 280 » Multi-party Finite Computations |
136
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we develop a new method for recovering and smoothing fields of surface normals in shape-fromshading. We show how transform the problem of recovering surface normals...
146
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
132
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
142
click to vote
RECOMB
2004
Springer
16 years 4 months ago
2004
Springer
We study a situation that arises in the somatic evolution of cancer. Consider a finite population of replicating cells and a sequence of mutations: type 0 can mutate to type 1, wh...
149
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...