3207 search results - page 307 / 642 » A Semantics for HTN Methods |
166
click to vote
FMCO
2005
Springer
16 years 1 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...
206
click to vote
ICAPR
2005
Springer
16 years 29 days 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...
192
click to vote
IRAL
2003
ACM
16 years 21 days 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 ...
231
Voted
FM
2003
Springer
16 years 20 days 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...
194
click to vote
TLCA
2001
Springer
15 years 12 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...