12438 search results - page 101 / 2488 » The Magic of a Number System |
TWC
2010
13 years 2 months ago
2010
We address the possibility of overloaded vector precoding in single user MIMO channels, i.e. the number of data streams is larger than the minimum of the number of antennas at tran...
SOFSEM
2010
Springer
13 years 6 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
PDCN
2004
13 years 9 months ago
2004
The paper describes an experimental system in which we linked together a number of computers over the Internet to form a multi-processor computer system. The arrangeme nt uses Jav...
DLOG
2003
13 years 9 months ago
2003
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
INFORMATICALT
2002
13 years 7 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...