Sciweavers

9626 search results - page 137 / 1926
» Invariant Based Programming
Sort
View
JMLR
2012
13 years 7 months ago
Deep Boltzmann Machines as Feed-Forward Hierarchies
The deep Boltzmann machine is a powerful model that extracts the hierarchical structure of observed data. While inference is typically slow due to its undirected nature, we argue ...
Grégoire Montavon, Mikio L. Braun, Klaus-Ro...
137
Voted
PPDP
2001
Springer
15 years 9 months ago
Granularity of Constraint-Based Analysis for Java
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ ÒØ¹ × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö ØÝº ÁÒ Ø × Ô...
Byeong-Mo Chang, Jang-Wu Jo
134
Voted
TOOLS
1999
IEEE
15 years 9 months ago
A Formal Software Development Approach Based on COOZ and Refinement Calculus
Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...
148
Voted
JAVA
1999
Springer
15 years 9 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
IWOMP
2010
Springer
15 years 9 months ago
How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP
Daniel Lorenz, Bernd Mohr, Christian Rössel, ...