1922 search results - page 160 / 385 » Systems biology, models, and concurrency |
150
click to vote
EUROCAST
1997
Springer
15 years 5 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
146
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
109
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Mediation is the process of decomposing a task into subtasks, finding agents suitable for these subtasks and negotiating with agents to obtain commitments to execute these subtas...
CSL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
108
click to vote
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...