49 search results - page 1 / 10 » Explicit Fusions |
MFCS
2000
Springer
14 years 2 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...
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
JLP
2007
13 years 10 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
BIRTHDAY
2008
Springer
14 years 27 days ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
ECCV
2004
Springer
14 years 4 months ago
2004
Springer
Although some papers argued that multi-sensor fusion could improve performances and robustness of fingerprint verification systems, no previous work explicitly dealt with such topi...