1788 search results - page 130 / 358 » Model Theory for Process Algebra |
82
Voted
MSCS
1998
15 years 14 days ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
144
Voted
JMLR
2012
13 years 3 months ago
2012
In this paper, we propose a novel formulation of the network clique detection problem by introducing a general network data representation framework. We show connections between o...
90
Voted
AMC
2005
15 years 22 days ago
2005
In this paper, by using theories of stochastic process and differential equation, the authors systematically studied the distribution of grazing animals between two resource point...
114
Voted
DAGM
2003
Springer
15 years 6 months ago
2003
Springer
In this article we discuss the 2D-3D pose estimation problem of 3D free-form surface models. In our scenario we observe free-form surface models in an image of a calibrated camera....
96
Voted
JSW
2008
15 years 24 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...