7109 search results - page 50 / 1422 » Process Algebra with Combinators |
94
Voted
MKM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
115
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
142
Voted
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
In this paper we describe two methods for estimating the motion parameters of an image sequence. For a sequence of images, the global motion can be described by ???? independent m...
103
Voted
DAGM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present a novel approach for expanding spherical 3D-tensor fields of arbitrary order in terms of a tensor valued local Fourier basis. For an efficient implementati...
FORMATS
2003
Springer
15 years 6 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...