Sciweavers

727 search results - page 34 / 146
» A Calculus of Bounded Capacities
Sort
View
COSIT
1999
Springer
124views GIS» more  COSIT 1999»
13 years 12 months ago
A Predication Calculus for Qualitative Spatial Representations
Spatial information is information bound to spatial entities such as regions. It is based on the spatial structure alone (the valley includes the field) or connects thematic predic...
Carola Eschenbach
TGC
2005
Springer
14 years 1 months ago
A General Name Binding Mechanism
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
Michele Boreale, Maria Grazia Buscemi, Ugo Montana...
WRLA
2010
13 years 6 months ago
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
Fernando Rosa Velardo
PE
2006
Springer
130views Optimization» more  PE 2006»
13 years 7 months ago
Analysis of manufacturing blocking systems with Network Calculus
In this paper, the manufacturing blocking system (MBS) is studied from the Network Calculus (NetCal) perspective. By dominating an MBS by a window flow controller (WFC), we obtain...
Amit Bose, Xiaoyue Jiang, Bin Liu, Gang Li
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 7 months ago
The SIMO Pre-Log Can Be Larger Than the SISO Pre-Log
Abstract--We establish a lower bound on the noncoherent capacity pre-log of a temporally correlated Rayleigh block-fading single-input multiple-output (SIMO) channel. Surprisingly,...
Veniamin I. Morgenshtern, Giuseppe Durisi, Helmut ...