Sciweavers

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