281 search results - page 21 / 57 » Comparing operational models of name-passing process calculi |
108
click to vote
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
110
click to vote
PAMI
2011
14 years 6 months ago
2011
— This paper proposes a novel method for recognizing faces degraded by blur using deblurring of facial images. The main issue is how to infer a Point Spread Function (PSF) repres...
DCC
2003
IEEE
15 years 11 months ago
2003
IEEE
3D models have become an essential element of multimedia applications because they provide visual effects that permit interactive exploration. As in other media types, efficient c...
104
click to vote
MIR
2006
ACM
15 years 5 months ago
2006
ACM
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...