Følg
Christopher​ Mears
Christopher​ Mears
Redbubble
Verifisert e-postadresse på cmears.id.au
Tittel
Sitert av
Sitert av
År
A simple statistical algorithm for biological sequence compression
MD Cao, TI Dix, L Allison, C Mears
2007 Data Compression Conference (DCC'07), 43-52, 2007
2752007
Edge compression techniques for visualization of dense directed graphs
T Dwyer, NH Riche, K Marriott, C Mears
IEEE transactions on visualization and computer graphics 19 (12), 2596-2605, 2013
762013
On implementing symmetry detection
C Mears, M Garcia De La Banda, M Wallace
Constraints 14, 443-477, 2009
542009
Symmetry propagation: Improved dynamic symmetry breaking in SAT
J Devriendt, B Bogaerts, B De Cat, M Denecker, C Mears
2012 IEEE 24th International Conference on Tools with Artificial …, 2012
462012
What do constraint programming users want to see? Exploring the role of visualisation in profiling of models and search
S Goodwin, C Mears, T Dwyer, MG de la Banda, G Tack, M Wallace
IEEE Transactions on Visualization and Computer Graphics 23 (1), 281-290, 2016
382016
Lightweight dynamic symmetry breaking
C Mears, M Garcia De La Banda, B Demoen, M Wallace
Constraints 19, 195-242, 2014
272014
Improved optimal and approximate power graph compression for clearer visualisation of dense graphs
T Dwyer, C Mears, K Morgan, T Niven, K Marriott, M Wallace
2014 IEEE Pacific visualization symposium, 105-112, 2014
272014
Globalizing constraint models
K Leo, C Mears, G Tack, M Garcia de la Banda
International Conference on Principles and Practice of Constraint …, 2013
262013
A novel approach for detecting symmetries in CSP models
C Mears, M Garcia de la Banda, M Wallace, B Demoen
International Conference on Integration of Artificial Intelligence (AI) and …, 2008
252008
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
232011
A radiobiology-based inverse treatment planning method for optimisation of permanent l-125 prostate implants in focal brachytherapy
A Haworth, C Mears, JM Betts, HM Reynolds, G Tack, K Leo, S Williams, ...
Physics in Medicine & Biology 61 (1), 430, 2015
202015
Towards automatic dominance breaking for constraint optimization problems
CD Mears, MJG De La Banda
International Joint Conference on Artificial Intelligence 2015, 360-366, 2015
192015
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19, 434-462, 2014
192014
Visual search tree profiling
M Shishmarev, C Mears, G Tack, M Garcia De La Banda
Constraints 21, 77-94, 2016
182016
Modelling with option types in MiniZinc
C Mears, A Schutt, PJ Stuckey, G Tack, K Marriott, M Wallace
Integration of AI and OR Techniques in Constraint Programming: 11th …, 2014
182014
Learning from learning solvers
M Shishmarev, C Mears, G Tack, M Garcia de la Banda
Principles and Practice of Constraint Programming: 22nd International …, 2016
172016
Optimised robust treatment plans for prostate cancer focal brachytherapy
JM Betts, C Mears, HM Reynolds, G Tack, K Leo, MA Ebert, A Haworth
Procedia Computer Science 51, 914-923, 2015
162015
A method for detecting symmetries in constraint models and its generalisation
C Mears, M Garcia De La Banda, M Wallace, B Demoen
Constraints 20 (2), 235-273, 2015
142015
Proving symmetries by model transformation
C Mears, T Niven, M Jackson, M Wallace
International Conference on Principles and Practice of Constraint …, 2011
142011
Automatic symmetry detection and dynamic symmetry breaking for constraint programming
C Mears
Ph. D. thesis, Clayton School of Information Technology, Monash University, 2009
122009
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20