38 search results - page 4 / 8 » A criterion for separating process calculi |
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
ICASSP
2011
IEEE
13 years 7 days ago
2011
IEEE
In this paper, we follow the minimum error principle for acoustic modeling and formulate error objectives in insertion, deletion, and substitution separately for minimization duri...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Existing work on limited feedback for cooperative multicell beamforming quantizes the desired and interfering channel state information (CSI) using separate codebooks. In this pap...
TACS
1994
Springer
14 years 18 days ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper describes a method for separating moving objects from temporally varying background in time-lapse confocal microscopy image sequences representing fluorescently tagged ...