3207 search results - page 307 / 642 » A Semantics for HTN Methods |
118
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
143
click to vote
ICAPR
2005
Springer
15 years 10 months ago
2005
Springer
Symmetry is a fundamental structure that is found to some extent in all images. It is thought to be an important factor in the human visual system for obtaining understanding and e...
145
click to vote
IRAL
2003
ACM
15 years 10 months ago
2003
ACM
This paper present a method based on the behavior of nonnative speaker for reduction sentence in foreign language. We demonstrate an algorithm using semantic information in order ...
172
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
143
click to vote
TLCA
2001
Springer
15 years 9 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...