2678 search results - page 420 / 536 » Operational Semantics of Transactions |
124
click to vote
APIN
2000
15 years 1 months ago
2000
The use of genetic programming for probabilistic pattern matching is investigated. A stochastic regular expression language is used. The language features a statistically sound sem...
136
click to vote
ENTCS
2002
15 years 1 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
103
click to vote
RIA
2008
15 years 1 months ago
2008
Situations, the semantic interpretations of context, provide a better basis for selecting adaptive behaviours than context itself. The definition of situations typically rests on t...
144
click to vote
ICLP
2010
Springer
15 years 14 days ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
102
click to vote
ICST
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...