1446 search results - page 120 / 290 » Testing for Concise Representations |
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— We have experimented with different neural network based architectures for bio-inspired self-organizing texture and hardness perception systems. To this end we have dev...
ISMIR
2004
Springer
14 years 3 months ago
2004
Springer
In order to map the spectral characteristics of the large variety of sounds a musical instrument may produce, different notes were performed and sampled in several intensity level...
AIME
2001
Springer
14 years 2 months ago
2001
Springer
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
STACS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Ordered binary decision diagrams (OBDDs) nowadays belong to the most common representation types for Boolean functions. Although they allow important operations such as s...