2949 search results - page 258 / 590 » Universal Sparse Modeling |
137
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Recent years have seen a proliferation of 3-valued or capturing abstractions of systems, since these enable verifying both universal and existential properties. Reasoning about suc...
128
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
As the use of virtual machines (VMs) for scientific applications becomes more common, we encounter the need to integrate VM provisioning models into the existing resource managemen...
105
click to vote
IE
2007
15 years 5 months ago
2007
The telling and understanding of stories is a universal part of human experience. If we could reproduce even part of the process inside a computer, it could expand the possibiliti...
158
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
This paper proposes a construction for collision resistant 2n-bit hash functions, based on n-bit block ciphers with 2n-bit keys. The construction is analysed in the ideal cipher mo...
116
click to vote
SOCRATES
2008
15 years 5 months ago
2008
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...