1054 search results - page 68 / 211 » Guarded Expressions in Practice |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— The influence of mutual coupling among multiantenna systems is usually not negligible due to limited antenna spacing available in practice. A thorough understanding of...
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
Recognition of textual entailment is not an easy task. In fact, early experimental evidences in [1] seems to demonstrate that even human judges often fail in reaching an agreement ...
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper studies the performance of selected chaos-based communication systems whose spectrum overlaps with that of conventional narrowband systems. Such a scenario may occur in...