Dave Cohen
Dave Cohen
Professor of Computer Science, Royal Holloway, University of London
Подтвержден адрес электронной почты в домене rhul.ac.uk
Название
Процитировано
Процитировано
Год
Constraint processing
R Dechter
Morgan Kaufmann, 2003
25112003
Closure properties of constraints
P Jeavons, D Cohen, M Gyssens
Journal of the ACM (JACM) 44 (4), 527-548, 1997
5411997
Constraints, consistency and closure
P Jeavons, D Cohen, MC Cooper
Artificial Intelligence 101 (1-2), 251-265, 1998
2681998
Decomposing constraint satisfaction problems using database techniques
M Gyssens, PG Jeavons, DA Cohen
Artificial intelligence 66 (1), 57-89, 1994
2261994
Characterising tractable constraints
MC Cooper, DA Cohen, PG Jeavons
Artificial Intelligence 65 (2), 347-361, 1994
1751994
Self-directed desensitization for acrophobia
BL Baker, DC Cohen, JT Saunders
Behaviour Research and Therapy 11 (1), 79-89, 1973
1441973
The complexity of soft constraint satisfaction
DA Cohen, MC Cooper, PG Jeavons, AA Krokhin
Artificial Intelligence 170 (11), 983-1016, 2006
1402006
The complexity of constraint languages
D Cohen, P Jeavons
Foundations of Artificial Intelligence 2, 245-280, 2006
1132006
On the problem of sorting burnt pancakes
DS Cohen, M Blum
Discrete Applied Mathematics 61 (2), 105-120, 1995
1111995
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
Constraints 11 (2-3), 115-137, 2006
1042006
Perfluorocarbons having a short dwell time in the liver
LC Clark, F Becattini, S Kaplan, V Obrock, D Cohen, C Becker
Science 181 (4100), 680-682, 1973
951973
Building tractable disjunctive constraints
D Cohen, P Jeavons, P Jonsson, M Koubarakis
Journal of the ACM (JACM) 47 (5), 826-853, 2000
892000
A unified theory of structural tractability for constraint satisfaction problems
D Cohen, P Jeavons, M Gyssens
Journal of Computer and System Sciences 74 (5), 721-743, 2008
792008
A unifying framework for tractable constraints
P Jeavons, D Cohen, M Gyssens
International Conference on Principles and Practice of Constraint …, 1995
791995
Symmetry definitions for constraint satisfaction problems
D Cohen, P Jeavons, C Jefferson, KE Petrie, BM Smith
International Conference on Principles and Practice of Constraint …, 2005
772005
Constraints and universal algebra
P Jeavons, D Cohen, J Pearson
Annals of Mathematics and Artificial Intelligence 24 (1-4), 51-67, 1998
721998
How to determine the expressive power of constraints
P Jeavons, D Cohen, M Gyssens
Constraints 4 (2), 113-131, 1999
671999
Generating binary sequences for stochastic computing
P Jeavons, DA Cohen, J Shawe-Taylor
IEEE Transactions on Information Theory 40 (3), 716-720, 1994
671994
Generalising submodularity and Horn clauses: Tractable optimization problems defined by tournament pair multimorphisms
DA Cohen, MC Cooper, PG Jeavons
Theoretical Computer Science 401 (1-3), 36-51, 2008
662008
Internal malware data item clustering and analysis
D Cohen, J Ma, BJ Fu, I Nepomnyashchiy, S Berler, A Smaliy, J Grossman, ...
US Patent 9,344,447, 2016
652016
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20