10435 search results - page 1778 / 2087 » Computational Biology and Language |
193
click to vote
CBSE
2005
Springer
16 years 1 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
206
click to vote
COCOON
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
204
click to vote
COORDINATION
2005
Springer
16 years 1 months ago
2005
Springer
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
183
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
242
click to vote
DALT
2005
Springer
16 years 1 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...