5634 search results - page 62 / 1127 » About Abstract Classes |
ACISP
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. Highly nonlinear Boolean functions occupy an important position in the design of secure block as well as stream ciphers. This paper proves two new lower bounds on the non...
103
Voted
ASM
2010
ASM
15 years 1 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
108
click to vote
ESANN
2006
15 years 10 days ago
2006
Abstract. Current digital, directly mapped implementations of spiking neural networks use serial processing and parallel arithmetic. On a standard CPU, this might be the good choic...
104
Voted
CORR
2011
Springer
14 years 6 months ago
2011
Springer
The value 1 problem is a decision problem for probabilistic automata on finite words: given a probabilistic automaton A, are there words accepted by A with probability arbitraril...
75
Voted
UAIS
2008
14 years 10 months ago
2008
Abstract Wikis are a website technology for mass collaborative authoring. Today, wikis are increasingly used for educational purposes. Basically, the most important asset of wikis ...