342 search results - page 36 / 69 » Coalgebraic Symbolic Semantics |
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
IJCAI
2007
13 years 11 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
EUROGP
2010
Springer
2010
Springer
Improving the Generalisation Ability of Genetic Programming with Semantic Similarity based Crossover
13 years 11 months ago
This paper examines the impact of semantic control on the ability of Genetic Programming (GP) to generalise via a semantic based crossover operator (Semantic Similarity based Cross...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
SAS
1999
Springer
14 years 2 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...