Shimon Cohen

Publication Activity (10 Years)

Years Active: 1979-2019
Publications (10 Years): 3

Top Topics

Tensor Decomposition

Application Of Artificial Neural Networks

Optimal Solution

Precedence Constraints

Top Venues

Discret. Appl. Math.

Publications

Gadi Pinkas, Shimon Cohen
High-order Networks that Learn to Satisfy Logic Constraints. FLAP 6 (4) (2019)
Gadi Pinkas, Shimon Cohen
Artificial Neural Networks that Learn to Satisfy Logic Constraints. CoRR (2017)
Daniel Berend, Ronen I. Brafman, Solomon Eyal Shimony, Shira Zucker, Shimon Cohen
Optimal ordering of statistically dependent tests. Discret. Appl. Math. 226 (2017)
Daniel Berend, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
Optimal Ordering of Tests with Extreme Dependencies. MCO (1) (2015)
Daniel Berend, Ronen I. Brafman, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker
Optimal ordering of independent tests with precedence constraints. Discret. Appl. Math. 162 (2014)
Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen
A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge. ICANN (1) (2012)
Shimon Cohen, Rami Ben-Ari
Image De-noising by Bayesian Regression. ICIAP (1) (2011)
Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen
Compact Crossbar Variable Binding for Neuro-Symbolic Computation. NeSy (2011)
Shimon Cohen, Nathan Intrator
On Different Model Selection Criteria In A Forward And Backward Regression Hybrid Network. Int. J. Pattern Recognit. Artif. Intell. 18 (5) (2004)
Shimon Cohen, Nathan Intrator
A Study of Ensemble of Hybrid Networks with Strong Regularization. Multiple Classifier Systems (2003)
Shimon Cohen, Nathan Intrator
Ensemble of hybrid networks with strong regularization. ESANN (2003)
Shimon Cohen, Nathan Intrator
Forward and Backward Selection in Regression Hybrid Network. Multiple Classifier Systems (2002)
Shimon Cohen, Nathan Intrator
A Hybrid Projection-based and Radial Basis Function Architecture: Initial Values and Global Optimisation. Pattern Anal. Appl. 5 (2) (2002)
Shimon Cohen, Nathan Intrator
Automatic model selection in a hybrid perceptron/radial network. Inf. Fusion 3 (4) (2002)
Shimon Cohen, Nathan Intrator
Automatic Model Selection in a Hybrid Perceptron/Radial Network. Multiple Classifier Systems (2001)
Shimon Cohen, Nathan Intrator
A Hybrid Projection Based and Radial Basis Function Architecture. Multiple Classifier Systems (2000)
Yariv Aridor, Shimon Cohen, Amiram Yehudai
Design of an Actor Language for Implicit Parallel Programming. ACM SIGPLAN Notices 33 (6) (1998)
Yariv Aridor, Shimon Cohen, Amiram Yehudai
SYMPAL: a software environment for implicit concurrent object-oriented programming. Object Oriented Syst. 4 (1997)
Shimon Cohen
Multi-Version Structures in Prolog. FGCS (1984)
Shimon Cohen, Daniel Lehmann, Amir Pnueli
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System. Theor. Comput. Sci. 34 (1984)
Shimon Cohen, Daniel Lehmann, Amir Pnueli
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract). ICALP (1983)
Shimon Cohen, Daniel Lehmann
Dynamic Systems and Their Distributed Termination. PODC (1982)
Shimon Cohen
Simplicity = efficiency = readability a simple infix to prefix algorithm. ACM SIGPLAN Notices 16 (9) (1981)
Shimon Cohen
The A-TABLE data-type for LISP systems. ACM SIGPLAN Notices 14 (10) (1979)