2448 search results - page 195 / 490 » The Octahedron Abstract Domain |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract— The “water-filling” solution for the quadratic ratedistortion function of a stationary Gaussian source is given in terms of its power spectrum. This formula natura...
RSA
2006
14 years 11 months ago
2006
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...
TCAD
2008
14 years 11 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
TSMC
2008
14 years 11 months ago
2008
Abstract--In this paper, a synchronization problem is investigated for an array of coupled complex discrete-time networks with the simultaneous presence of both the discrete and di...
105
click to vote
INFORMATICALT
2000
14 years 11 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...