×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [better bounds]
Home >
better bounds
Exploiting SAT solvers in unbounded model checking K. L. McMillan Cadence Berkeley Labs.
221 views
Fast Adaptive Hybrid Mesh Generation Based on Quad-tree Decomposition Mohamed Ebeida (
[email protected]
) Mechanical and Aeronautical Eng. Dept –UCDavis.
214 views
AndersSchreiber_ThesisFinal
91 views
1 Efficient Bounds for the Softmax Function Applications to Inference in Hybrid Models Guillaume Bouchard Xerox Research Centre Europe.
213 views