10435 search results - page 1778 / 2087 » Computational Biology and Language |
172
click to vote
CBSE
2005
Springer
16 years 11 days 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...
190
click to vote
COCOON
2005
Springer
16 years 10 days 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...
179
click to vote
COORDINATION
2005
Springer
16 years 10 days 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...
168
click to vote
CP
2005
Springer
16 years 10 days 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...
225
click to vote
DALT
2005
Springer
16 years 10 days 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...