12115 search results - page 415 / 2423 » Bisimulation of Dynamical Systems |
169
click to vote
COLING
1996
15 years 8 months ago
1996
Two problematic issues in most lexicon systems today are their size and restricted domain of use. In this paper, we introduce a new approach to lexical organization that leads to ...
194
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Large interactive display systems are becoming increasingly pervasive, but most have been studied in isolation, rather than in the context of other technologies in the environment....
176
click to vote
IJSNET
2007
15 years 6 months ago
2007
— In this paper, the problem of distributed neutralization of toxic 2D diffusion process is discussed. The diffusion process is modelled by a parabolic PDE system. A group of mob...
187
click to vote
JCS
2007
15 years 6 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
184
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
: This paper presents a link level analysis of the rate and energy efficiency performance of the LTE downlink considering the unitary codebook based precoding scheme. In a multi-us...