Sciweavers

12052 search results - page 76 / 2411
» computing 2010
Sort
View
107
Voted
FAC
2010
93views more  FAC 2010»
14 years 11 months ago
Verification and falsification of programs with loops using predicate abstraction
Daniel Kroening, Georg Weissenbacher
106
Voted
CCDS
2010
103views more  CCDS 2010»
14 years 11 months ago
Some REALLY beautiful Hadamard matrices
J. F. Dillon
92
Voted
CCDS
2010
92views more  CCDS 2010»
14 years 9 months ago
Some remarks on Hadamard matrices
Jennifer Seberry, Marilena Mitrouli
131
Voted
CGF
2010
124views more  CGF 2010»
14 years 9 months ago
Letters to the Editors
Thomas J. Peters, Ph. D
94
Voted
NECO
2010
75views more  NECO 2010»
14 years 9 months ago
How to Modify a Neural Network Gradually Without Changing Its Input-Output Functionality
Christopher DiMattina, Kechen Zhang