Shimon Cohen

According to our database, Shimon Cohen authored at least 26 papers between 1979 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

High-order Networks that Learn to Satisfy Logic Constraints.

Gadi Pinkas, Shimon Cohen

FLAP, 2019

2017

Optimal ordering of statistically dependent tests.

Daniel Berend, Ronen I. Brafman, Solomon Eyal Shimony, Shira Zucker, Shimon Cohen

Discret. Appl. Math., 2017

Artificial Neural Networks that Learn to Satisfy Logic Constraints.

Gadi Pinkas, Shimon Cohen

CoRR, 2017

2015

Optimal Ordering of Tests with Extreme Dependencies.

Daniel Berend, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker

Proceedings of the Modelling, Computation and Optimization in Information Systems and Management Sciences - Proceedings of the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, 2015

2014

Optimal ordering of independent tests with precedence constraints.

Daniel Berend, Ronen I. Brafman, Shimon Cohen, Solomon Eyal Shimony, Shira Zucker

Discret. Appl. Math., 2014

2012

A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012

2011

Compact Crossbar Variable Binding for Neuro-Symbolic Computation.

Gadi Pinkas, Priscila M. V. Lima, Shimon Cohen

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Image De-noising by Bayesian Regression.

Shimon Cohen, Rami Ben-Ari

Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011

2004

Training algorithms for hybrid sigmoindal and radial basis function networks

Shimon Cohen

PhD thesis, 2004

On Different Model Selection Criteria In A Forward And Backward Regression Hybrid Network.

Shimon Cohen, Nathan Intrator

Int. J. Pattern Recognit. Artif. Intell., 2004

2003

A Study of Ensemble of Hybrid Networks with Strong Regularization.

Shimon Cohen, Nathan Intrator

Proceedings of the Multiple Classifier Systems, 4th International Workshop, 2003

Ensemble of hybrid networks with strong regularization.

Shimon Cohen, Nathan Intrator

Proceedings of the 11th European Symposium on Artificial Neural Networks, 2003

2002

A Hybrid Projection-based and Radial Basis Function Architecture: Initial Values and Global Optimisation.

Shimon Cohen, Nathan Intrator

Pattern Anal. Appl., 2002

Automatic model selection in a hybrid perceptron/radial network.

Shimon Cohen, Nathan Intrator

Inf. Fusion, 2002

Forward and Backward Selection in Regression Hybrid Network.

Shimon Cohen, Nathan Intrator

Proceedings of the Multiple Classifier Systems, Third International Workshop, 2002

2000

A Hybrid Projection Based and Radial Basis Function Architecture.

Shimon Cohen, Nathan Intrator

Proceedings of the Multiple Classifier Systems, First International Workshop, 2000

1998

Design of an Actor Language for Implicit Parallel Programming.

Yariv Aridor, Shimon Cohen, Amiram Yehudai

ACM SIGPLAN Notices, 1998

1997

SYMPAL: a software environment for implicit concurrent object-oriented programming.

Yariv Aridor, Shimon Cohen, Amiram Yehudai

Object Oriented Syst., 1997

1986

The APPLOG Language.

Shimon Cohen

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.

Shimon Cohen, Daniel Lehmann, Amir Pnueli

Theor. Comput. Sci., 1984

Multi-Version Structures in Prolog.

Shimon Cohen

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

חישוב מבוזר (Distributed computation).

Shimon Cohen

PhD thesis, 1983

Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract).

Shimon Cohen, Daniel Lehmann, Amir Pnueli

Proceedings of the Automata, 1983

1982

Dynamic Systems and Their Distributed Termination.

Shimon Cohen, Daniel Lehmann

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

1981

Simplicity = efficiency = readability a simple infix to prefix algorithm.

Shimon Cohen

ACM SIGPLAN Notices, 1981

1979

The A-TABLE data-type for LISP systems.

Shimon Cohen

ACM SIGPLAN Notices, 1979