892 search results - page 104 / 179 » Action respecting embedding |
120
click to vote
RTA
2010
Springer
15 years 4 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
82
Voted
DAGM
2006
Springer
15 years 4 months ago
2006
Springer
The contribution presents an approach for motion capturing (MoCap) of dressed people. A cloth draping method is embedded in a silhouette based MoCap system and an error functional ...
90
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
AUSAI
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
99
Voted
MFCS
2000
Springer
15 years 4 months ago
2000
Springer
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...