Seguir
Neil C.A. Moore
Neil C.A. Moore
Adobe
Dirección de correo verificada de bigoh.co.uk - Página principal
Título
Citado por
Citado por
Año
Automatic prioritization of policies
H Balinsky, N Moore, SJ Simske
US Patent App. 13/295,935, 2013
612013
Learning when to use lazy learning in constraint solving
IP Gent, C Jefferson, L Kotthoff, I Miguel, NCA Moore, P Nightingale, ...
ECAI 2010, 873-878, 2010
552010
A preliminary review of literature on parallel constraint solving
IP Gent, C Jefferson, I Miguel, NCA Moore, P Nightingale, P Prosser, ...
Proceedings PMCS 2011 Workshop on Parallel Methods for Constraint Solving …, 2011
442011
Implementing logical connectives in constraint programming
C Jefferson, NCA Moore, P Nightingale, KE Petrie
Artificial Intelligence 174 (16-17), 1407-1429, 2010
412010
Lazy explanations for constraint propagators
IP Gent, I Miguel, NCA Moore
Practical Aspects of Declarative Languages: 12th International Symposium …, 2010
392010
A review of literature on parallel constraint solving
IP Gent, I Miguel, P Nightingale, C McCreesh, P Prosser, NCA Moore, ...
Theory and Practice of Logic Programming 18 (5-6), 725-758, 2018
352018
Management of context-aware policies
H Balinsky, N Moore, SJ Simske
US Patent 8,689,281, 2014
292014
Distributed solving through model splitting
L Kotthoff, NCA Moore
arXiv preprint arXiv:1008.4328, 2010
162010
An empirical study of learning and forgetting constraints
IP Gent, I Miguel, NCA Moore
AI Communications 25 (2), 191-208, 2012
112012
System call interception
H Balinsky, N Moore, SJ Simske
US Patent 9,026,801, 2015
92015
The ultrametric constraint and its application to phylogenetics
NCA Moore, P Prosser
Journal of Artificial Intelligence Research 32, 901-938, 2008
92008
Server-driven custom context menus
NCA Moore, AJ O'lenskie
US Patent 10,834,236, 2020
62020
Improving the efficiency of learning CSP solvers
NCA Moore
University of St Andrews, 2011
62011
Species trees and the ultrametric constraint
N Moore, P Prosser
Final-year project report at the Department of Computing Science, University …, 2007
32007
Intelligent assistant for context-aware policies
H Balinsky, NCA Moore, SJ Simske
2011IEEE 10th International Conference on Trust, Security and Privacy in …, 2011
22011
C-learning: Further generalised g-nogood learning
NCA Moore
ERCIM Workshop on Constraint Solving and Constraint Logic Programming, 2011, 103, 2011
22011
The Ultrametric Constraint and its Application to Phylogenetics
NCA Moore, P Prosser
arXiv e-prints, arXiv: 1401.3438, 2014
12014
The Minion Manual Minion Version 0.9
C Jefferson, L Kotthoff, N Moore, P Nightingale, KE Petrie, A Rendl
12009
Extensible file synchronization
N Moore, A O'lenskie, P Brown
US Patent 11,775,561, 2023
2023
Extensible file synchronization
N Moore, A O'lenskie, P Brown
US Patent 10,902,019, 2021
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20