246 search results - page 32 / 50 » A novel approach to symbolic algebra |
ICSOC
2007
Springer
14 years 5 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
- The novel CORDIC-based architecture of the these weights (combiner unit). The implementation of the Triangular Systolic Array for QRD of large size complex combiner unit is rathe...
COCOA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...
CEC
2005
IEEE
14 years 25 days ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
CORR
2007
Springer
13 years 11 months ago
2007
Springer
— Low density lattice codes (LDLC) are novel lattice codes that can be decoded efficiently and approach the capacity of the additive white Gaussian noise (AWGN) channel. In LDLC...