2989 search results - page 276 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
146
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
A new notion, that of semi-lossless text compression, is introduced, and its applicability in various settings is investigated. First results suggest that it might be hard to explo...
159
click to vote
CRYPTO
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we present a practical heuristic attack on the Ko, Lee et al. key exchange protocol introduced at Crypto 2000 [10]. One of the ideas behind our attack is using Dehorn...
185
click to vote
EUROGP
2001
Springer
15 years 11 months ago
2001
Springer
This work is a study of neutrality in the context of Evolutionary Computation systems. In particular, we introduce the use of explicit neutrality with an integer string coding sche...
179
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The problem of estimating an illumination distribution from images is called inverse lighting. For inverse lighting, three approaches have been developed based on specular reflect...
170
click to vote
ASPDAC
2005
ACM
16 years 3 days ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...