133
Voted
ETT
2006
15 years 3 months ago
2006
The popular IEEE 802.11 WLAN today does not provide any quality-of-service (QoS) because of its contention-based channel access nature of the medium access control (MAC). Therefore...
123
Voted
IIE
2008
15 years 3 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
159
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
136
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
119
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relev...
130
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
An infinite word has the property Rm if every factor has exactly m return words. Vuillon showed that R2 characterizes Sturmian words. We prove that a word satisfies Rm if its compl...
152
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
134
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...
170
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Given a sample from a probability measure with support on a submanifold in Euclidean space one can construct a neighborhood graph which can be seen as an approximation of the subm...
103
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer