1245 search results - page 171 / 249 » Binary Sparse Coding |
175
click to vote
MATA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper we p...
129
click to vote
IPPS
1999
IEEE
15 years 7 months ago
1999
IEEE
VLIW machines possibly provide the most direct way to exploit instruction level parallelism; however, they cannot be used to emulate current general-purpose instruction set archit...
121
click to vote
FOGA
1996
15 years 4 months ago
1996
This paper introduces two new representations for real-parameter spaces--the Dedekind and Isodedekind representations. Point mutation and uniform crossover--in their generalised, ...
165
click to vote
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Handling large amounts of data, such as large image databases, requires the use of approximate nearest neighbor search techniques. Recently, Hamming embedding methods such as spec...
138
click to vote
ENTCS
2008
15 years 3 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...