We present a new algorithm for color image quantization based on human color perception properties. We construct two kinds of map by analyzing the spatial color distributions to t...
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
For querying structured and semistructured data, data retrieval and document retrieval are two valuable and complementary techniques that have not yet been fully integrated. In thi...
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
—Routing in ad hoc networks is a well known issue. Most of the previous propositions to route data between two nodes aimed to define a path (sometimes several ones) on which pac...