John Thornton

other persons with the same name:

• John Thornton 0002

	2012
c41		John Thornton, Linda Main, Andrew Srbic: Fixed Frame Temporal Pooling. Australasian Conference on Artificial Intelligence 2012: 707-718
c40		Raghav Ramachandran, Guilin Qi, Kewen Wang, Junhu Wang, John Thornton: Probabilistic Reasoning in DL-Lite. PRICAI 2012: 480-491
	2011
c39		Marco Sotomayor, Kewen Wang, Yi-Dong Shen, John Thornton: Probabilistic Multi-Context Systems. JIST 2011: 366-375
c38		John Thornton, Andrew Srbic, Linda Main, Mahsa Chitsaz: Augmented Spatial Pooling. Australasian Conference on Artificial Intelligence 2011: 261-270
	2008
j9		Duc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
j8		John Thornton, Andrew D. White, Tim C. Tozer: A WiMAX Payload for High Altitude Platform Experimental Trials. EURASIP J. Wireless Comm. and Networking 2008 (2008)
j7		Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008)
c37		Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
c36		John Thornton, Jolon Faichney, Michael Blumenstein, Trevor Hine: Character Recognition Using Hierarchical Vector Quantization and Temporal Pooling. Australasian Conference on Artificial Intelligence 2008: 562-572
c35		John Thornton, Duc Nghia Pham: Using Cost Distributions to Guide Weight Decay in Local Search for SAT. PRICAI 2008: 405-416
	2007
c34		Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
c33		Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
c32		Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
c31		Andreas Mang, Oscar Camara, Gisele Brasil-Caseiras, William R. Crum, Julia A. Schnabel, Thorsten M. Buzug, Jeremy Rees, John Thornton, H. Rolf Jäger, David J. Hawkes: Registration of Rcbv and Adc Maps with Structural and Physiological Mr Images in Glioma Patients: Study and Validation. ISBI 2007: 37-40
e1		Mehmet A. Orgun, John Thornton (Eds.): AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Lecture Notes in Computer Science 4830, Springer 2007, isbn 978-3-540-76926-2
	2006
c30		John Thornton, Torbjorn Gustafsson, Michael Blumenstein, Trevor Hine: Robust Character Recognition Using a Hierarchical Bayesian Network. Australian Conference on Artificial Intelligence 2006: 1259-1264
c29		Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
c28		Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
	2005
j6		John Thornton: Clause Weighting Local Search for SAT. J. Autom. Reasoning 35(1-3): 97-142 (2005)
j5		David Grace, John Thornton, Guanhua Chen, George P. White, Tim C. Tozer: Improving the system capacity of broadband services using multiple high-altitude platforms. IEEE Transactions on Wireless Communications 4(2): 700-709 (2005)
j4		John Thornton, David Grace: Effect of lateral displacement of a high-altitude platform on cellular interference and handover. IEEE Transactions on Wireless Communications 4(4): 1483-1490 (2005)
j3		John Thornton, David A. J. Pearce, David Grace, Masayuki Oodo, K. Katzis, Tim C. Tozer: Effect of Antenna Beam Pattern and Layout on Cellular Performance in High Altitude Platform Communications. Wireless Personal Communications 35(1-2): 35-51 (2005)
c27		Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
c26		Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
c25		Stuart Bain, John Thornton, Abdul Sattar: A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence 2005: 1068-1074
c24		Stuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
c23		Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
	2004
j2		John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004)
c22		John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196
c21		Bela Stantic, Sankalp Khanna, John Thornton: An Efficient Method for Indexing Now-relative Bitemporal data. ADC 2004: 113-122
c20		Valnir Ferreira Jr., John Thornton: Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2004: 730-741
c19		Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference 2004: 20-26
c18		Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
c17		Stuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
	2003
j1		John Thornton, David Grace, Myles H. Capstick, Tim C. Tozer: Optimizing an array of antennas for cellular coverage from a high altitude platform. IEEE Transactions on Wireless Communications 2(3): 484-492 (2003)
c16		Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
c15		Wayne J. Pullan, Liang Zhao, John Thornton: Estimating Problem Metrics for SAT Clause Weighting Local Search. Australian Conference on Artificial Intelligence 2003: 137-149
c14		Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
c13		David Grace, Guanhua Chen, George P. White, John Thornton, Tim C. Tozer: Improving the system capacity of mm-wave broadband services using multiple high altitude platforms. GLOBECOM 2003: 169-173
c12		Bela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
	2002
c11		John Thornton, Wayne J. Pullan, Justin Terry: Towards Fewer Parameters for SAT Clause Weighting Algorithms. Australian Joint Conference on Artificial Intelligence 2002: 569-578
c10		Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar: An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 579-590
c9		John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham: A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence 2002: 603-614
c8		John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
	2001
c7		Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
	2000
c6		Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536
	1999
c5		John Thornton, Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999: 446-460
	1998
c4		John Thornton, Abdul Sattar: Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998: 367-372
c3		John Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
	1997
c2		John Thornton, Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66
	1996
c1		John Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358

Coauthor Index

Colors in the list of coauthors

Last update Sun May 26 01:40:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page