CORR
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthe...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The decomposition theory of matroids initiated by Paul Seymour in the 1980's has had an enormous impact on research in matroid theory. This theory, when applied to matrices ov...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a coordination algorithm for mobile autonomous robots. Relying upon distributed sensing, the robots achieve rendezvous, that is, they move to a common location....
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The paper studies the relatively inertial delays that represent one of the most important concepts in the modeling of the asynchronous circuits.
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This letter derives the asymptotic symbol error rate (SER) and outage probability of multiple-input multiple-output (MIMO) maximum ratio-combining (MRC) systems. We consider Raylei...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Toric codes are obtained by evaluating rational functions of a nonsingular toric variety at the algebraic torus. One can extend toric codes to the so called generalized toric code...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Time synchronization is an important aspect of sensor network operation. However, it is well known that synchronization error accumulates over multiple hops. This presents a challe...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
RFID technology is gaining adoption on an increasing scale for tracking and monitoring purposes. Wide deployments of RFID devices will soon generate an unprecedented volume of dat...