According to our database1, Shimon Cohen
Legend:Book In proceedings Article PhD thesis Other
Optimal ordering of statistically dependent tests.
Discrete Applied Mathematics, 2017
Artificial Neural Networks that Learn to Satisfy Logic Constraints.
Optimal Ordering of Tests with Extreme Dependencies.
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
Optimal ordering of independent tests with precedence constraints.
Discrete Applied Mathematics, 2014
A Dynamic Binding Mechanism for Retrieving and Unifying Complex Predicate-Logic Knowledge.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2012, 2012
Image De-noising by Bayesian Regression.
Proceedings of the Image Analysis and Processing - ICIAP 2011, 2011
On Different Model Selection Criteria In A Forward And Backward Regression Hybrid Network.
A Study of Ensemble of Hybrid Networks with Strong Regularization.
Proceedings of the Multiple Classifier Systems, 4th International Workshop, 2003
Ensemble of hybrid networks with strong regularization.
Proceedings of the ESANN 2003, 2003
A Hybrid Projection-based and Radial Basis Function Architecture: Initial Values and Global Optimisation.
Pattern Anal. Appl., 2002
Automatic model selection in a hybrid perceptron/radial network.
Information Fusion, 2002
Forward and Backward Selection in Regression Hybrid Network.
Proceedings of the Multiple Classifier Systems, Third International Workshop, 2002
Automatic Model Selection in a Hybrid Perceptron/Radial Network.
Proceedings of the Multiple Classifier Systems, Second International Workshop, 2001
A Hybrid Projection Based and Radial Basis Function Architecture.
Proceedings of the Multiple Classifier Systems, First International Workshop, 2000
Design of an Actor Language for Implicit Parallel Programming.
SIGPLAN Notices, 1998
SYMPAL: a software environment for implicit concurrent object-oriented programming.
Object Oriented Systems, 1997
The APPLOG Language.
Logic Programming: Functions, Relations, and Equations, 1986
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System.
Theor. Comput. Sci., 1984
Multi-Version Structures in Prolog.
Symmetric and Economical Solutions to the Mutual Exclusion Problem in a Distributed System (Extended Abstract).
Proceedings of the Automata, 1983
Dynamic Systems and Their Distributed Termination.
Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982