891 search results - page 68 / 179 » Full Abstraction for PCF |
130
click to vote
WCNC
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—The paper addresses wireless the 2-Way Relay Channel (2-WRC) system with a Hierarchical Decode and Forward strategy. This strategy uses a Hierarchical eXclusive Code (HX...
147
Voted
CLEF
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper examines the current way of keeping the data produced during the evaluation campaigns and highlights some shortenings of it. As a consequence, we propose a new...
176
Voted
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
123
click to vote
MFCS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
168
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...