Folgen
Neil C.A. Moore
Neil C.A. Moore
Adobe
Bestätigte E-Mail-Adresse bei bigoh.co.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Automatic prioritization of policies
H Balinsky, N Moore, SJ Simske
US Patent App. 13/295,935, 2013
632013
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
562010
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
422010
Lazy explanations for constraint propagators
IP Gent, I Miguel, NCA Moore
Practical Aspects of Declarative Languages: 12th International Symposium …, 2010
412010
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
362018
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
Improving the efficiency of learning CSP solvers
NCA Moore
University of St Andrews, 2011
72011
Server-driven custom context menus
NCA Moore, AJ O'lenskie
US Patent 10,834,236, 2020
62020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20