2173 search results - page 289 / 435 » An operational semantics for skeletons |
122
click to vote
ARGMAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
107
click to vote
CMSB
2009
Springer
15 years 7 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
112
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
112
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
There are two substantial open issues in the field of the image retrieval: semantic gap between computationally extracted low-level features and human operated high-level concepts...