6020 search results - page 146 / 1204 » A New Approach to Model Counting |
144
click to vote
CRYPTO
1993
Springer
15 years 8 months ago
1993
Springer
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
135
Voted
FLAIRS
2009
15 years 1 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
129
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
In image-based light field rendering, many efforts have been made to improve the efficiency of the modeling. This efficiency pertains to the photorealism and compression of a give...
129
Voted
SIGDOC
2006
ACM
15 years 10 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
149
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Self-Organizing Maps (SOM) is a powerful tool for clustering and discovering patterns in data. Competitive learning in the SOM training process focusses on finding a neu...