2610 search results - page 331 / 522 » codes 2007 |
193
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
This paper studies the gap between classical one-way communication complexity C(f) and its quantum counterpart Q(f), under the unbounded-error setting, i.e., it is enough that the ...
151
click to vote
ICANN
2007
Springer
16 years 1 months ago
2007
Springer
The hierarchical non-negative matrix factorization (HNMF) is a multilayer generative network for decomposing strictly positive data into strictly positive activations and base vect...
208
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
170
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
202
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...