2135 search results - page 281 / 427 » An Operational Semantics for JavaScript |
112
click to vote
ICDAR
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
139
click to vote
TIME
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
134
click to vote
ARGMAS
2009
Springer
15 years 9 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...
122
click to vote
CMSB
2009
Springer
15 years 9 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...
135
click to vote
CONCUR
2009
Springer
15 years 9 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...