Gregory M. Provan

Proceedings of the Model and Data Engineering - 5th International Conference, 2015

2014

The Evaluation of Direct Volume Rendering-Based Uncertainty Visualization Techniques for 3D Scalar Data.

[BibT_eX]

[DOI]

Int. J. Image Graph., 2014

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2014

Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition

[BibT_eX]

[DOI]

CoRR, 2013

What is an Optimal Diagnosis?

[BibT_eX]

[DOI]

David L. Poole

CoRR, 2013

The Evaluation of Perceptual Effectiveness of Isosurface Rendering-based Uncertainty Visualization Techniques for Volumetric Scalar Data.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Computer Graphics, 2013

Machine-Learning-Based Circuit Synthesis.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Toward an Equation-Oriented Framework for Diagnosis of Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2013

A model-based control method for decentralized calibration of wireless sensor networks.

[BibT_eX]

[DOI]

Séamus Ó Buadhacháin

Proceedings of the American Control Conference, 2013

2012

CodonLogo: a sequence logo-based viewer for codon patterns.

[BibT_eX]

[DOI]

Bioinform., 2012

Analyzing and Visualizing Multivariate Volumetric Scalar Data and Their Uncertainties.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Computer Graphics, 2012

Designing cost-efficient wireless sensor/actuator networks for building control systems.

[BibT_eX]

[DOI]

Alie El-Din Mady

Ning Wei

Proceedings of the BuildSys '12 Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings, 2012

Iso-Surface Rendering based Uncertainty Visualization for Multi-resolution Volume Data with Regular Grids.

[BibT_eX]

Proceedings of the GRAPP & IVAPP 2012: Proceedings of the International Conference on Computer Graphics Theory and Applications and International Conference on Information Visualization Theory and Applications, 2012

Visualizing uncertainty in multi-resolution volumetric data using marching cubes.

[BibT_eX]

[DOI]

Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

Exploring the Duality in Conflict-Directed Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Model and Visualise the Relationship between Energy Consumption and Temperature Distribution in Cold Rooms.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Computer Graphics, 2011

Using Equation-Based Languages for Generating Embedded Code for Smart Building Applications.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

Co-design of Wireless Sensor-Actuator Networks for building controls.

[BibT_eX]

[DOI]

Alie El-Din Mady

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A Benchmark Diagnostic Model Generation System.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2010

Special Issue on Model-Based Diagnostics.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2010

A Model-Based Active Testing Approach to Sequential Diagnosis.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

Approximate Model-Based Diagnosis Using Greedy Stochastic Search.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

Reports of the AAAI 2010 Conference Workshops.

[BibT_eX]

[DOI]

AI Mag., 2010

Intelligent Hybrid Control Model for Lighting Systems Using Constraint-Based Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

WSAN QoS Driven Control Model for Building Operations.

[BibT_eX]

[DOI]

Alie El-Din Mady

Menouer Boubekeur

Proceedings of the Soft Computing Models in Industrial and Environmental Applications, 2010

Temporal Model-Based Diagnostics Generation for HVAC Control Systems.

[BibT_eX]

[DOI]

Marion Behrens

Proceedings of the Theory and Practice of Model Transformations, 2010

Preface.

[BibT_eX]

[DOI]

Ashish Sabharwal

Proceedings of the Abstraction, 2010

2009

Topological Analysis of Specific Spatial Complex Networks.

[BibT_eX]

[DOI]

Adv. Complex Syst., 2009

Automated Redesign with the General Redesign Engine.

[BibT_eX]

[DOI]

Proceedings of the Eighth Symposium on Abstraction, Reformulation, and Approximation, 2009

Compositional model-driven design of embedded code for energy-efficient buildings.

[BibT_eX]

[DOI]

A. Mady

Menouer Boubekeur

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Model-driven diagnostics generation for industrial automation.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Solving Strong-Fault Diagnostic Models by Model Relaxation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

FRACTAL: Efficient Fault Isolation Using Active Testing.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

A Comparative Analysis of Specific Spatial Network Topological Models.

[BibT_eX]

[DOI]

Proceedings of the Complex Sciences, 2009

Characterizing the Structural Complexity of Real-World Complex Networks.

[BibT_eX]

[DOI]

Proceedings of the Complex Sciences, 2009

2008

Approximation Techniques for Space-Efficient Compilation in Abductive Inference.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Adding Flexibility to Russian Doll Search.

[BibT_eX]

[DOI]

Margarita Razgon

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

An Analysis of Bayesian Network Model-Approximation Techniques.

[BibT_eX]

[DOI]

Adamo Santana

Proceedings of the ECAI 2008, 2008

Test Generation for Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Generating Application-Specific Benchmark Models for Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Incremental Algorithms for Approximate Compilation.

[BibT_eX]

[DOI]

Alberto Venturini

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Computing Minimal Diagnoses by Greedy Stochastic Search.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Automated Benchmark Model Generators for Model-Based Diagnostic Inference.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

On Approximate Knowledge Compilation with Weighted Decision Diagrams.

[BibT_eX]

Olga Heling-Tveretina

Proceedings of the 2007 International Conference on Artificial Intelligence, 2007

Search Ordering Heuristics for Restarts-Based Constraint Solving.

[BibT_eX]

[DOI]

Margarita Razgon

Barry O'Sullivan

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Generalizing Global Constraints Based on Network Flows.

[BibT_eX]

[DOI]

Igor Razgon

Barry O'Sullivan

Proceedings of the Recent Advances in Constraints, 2007

2006

Multi-Level Modeling and Distributed Agent-Based Inference: the Role of System Structure.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

An Empirical Analysis of the Complexity of Model-Based Diagnosis.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A Bayesian network framework for stochastic discrete-event control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2006

Approximate Compilation for Embedded Model-based Reasoning.

[BibT_eX]

[DOI]

Barry O'Sullivan

Proceedings of the Proceedings, 2006

2005

Approximate Model-Based Diagnosis Using Preference-Based Compilation.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2005

2004

Inferential Complexity Control for Model-Based Abduction.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

A Novel Framework for Integrating Discrete Event System Control and Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

A Model-Based Diagnosis Framework for Distributed Embedded Systems.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Agent-Based, Distributed Diagnosis for Shipboard Systems.

[BibT_eX]

Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002

On the diagnosability of decentralized, timed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Distributed diagnosability properties of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2002

2001

Model-Based Fault-tolerant Control Reconfiguration for General Network Topologies.

[BibT_eX]

[DOI]

IEEE Micro, 2001

Stochastic System Monitoring and Control.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Artificial Intelligence and Statistics, 2001

2000

On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Characterizing controllability and observability properties of temporal causal network modeling for discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2000

1999

An Approach for Integrating Multi-Modal, Model-Based Diagnostic Components.

[BibT_eX]

[DOI]

David Glover

AI Commun., 1999

1998

A generic and symbolic model-based diagnostic reasoner with highly scalable properties.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Learning with Probabilistic Representations.

[BibT_eX]

[DOI]

Pat Langley

Padhraic Smyth

Mach. Learn., 1997

Query DAGs: A Practical Paradigm for Implementing Belief-Network Inference.

[BibT_eX]

[DOI]

Adnan Darwiche

J. Artif. Intell. Res., 1997

A Standard Approach for Optimizing Belief Network Inference Using Query DAGs.

[BibT_eX]

[DOI]

Adnan Darwiche

Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

The Effect of Observations on the Complexity of Model-Based Diagnosis.

[BibT_eX]

[DOI]

Adnan Darwiche

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

The Sensitivity of Belief Networks to Imprecise Probabilities: An Experimental Investigation.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Why is diagnosis using belief networks insensitive to imprecision in probabilities?

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

Data Mining and Model Simplicity: A Case Study in Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), 1996

Efficient Learning of Selective Bayesian Network Classifiers.

[BibT_eX]

Proceedings of the Machine Learning, 1996

1995

Abstraction in Belief Networks: The Role of Intermediate States in Diagnostic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

A Comparison of Induction Algorithms for Selective and non-Selective Bayesian Classifiers.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, 1995

Learning Bayesian Networks Using Feature Selection.

[BibT_eX]

[DOI]

Proceedings of the Learning from Data, 1995

1994

Tradeoffs in Knowledge-Based Construction of Probabilistic Models.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 1994

Knowledge Engineering for Large Belief Networks.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

An Experimental Comparison of Numerical and Qualitative Probabilistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

1993

Dynamic Network Construction and Updating Techniques for the Diagnosis of Acute Abdominal Pain.

[BibT_eX]

[DOI]

John R. Clarke

IEEE Trans. Pattern Anal. Mach. Intell., 1993

Tradeoffs in Constructing and Evaluating Temporal Influence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the UAI '93: Proceedings of the Ninth Annual Conference on Uncertainty in Artificial Intelligence, 1993

A Lattice-Theoretic Analysis of ATMS Problem Solving.

[BibT_eX]

[DOI]

Teow-Hin Ngair

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

The validity of Dempster-Shafer belief functions.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1992

1991

Dynamic Network Updating Techniques for Diagnostic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

The Utility of Consistency-Based Diagnostic Techniques.

[BibT_eX]

David L. Poole

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

An Expected-Cost Analysis of Backtracking and Non-Backtracking Algorithms.

[BibT_eX]

[DOI]

Colin J. H. McDiarmid

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

A logic-based analysis of Dempster-Shafer theory.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 1990

What is the most likely diagnosis?

[BibT_eX]

[DOI]

David L. Poole

Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

An Analysis Of Knowledge Representation Schemes For High Level Vision.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision, 1990

The Computational Complexity of Multiple-Context Truth Maintenance Systems.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

The Application of Dempster Shafer Theory to a Logic-Based Visual Recognition System.

[BibT_eX]

[DOI]

Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989

An Analysis of ATMS-Based Techniques for Computing Dempster-Shafer Belief Functions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Complexity analysis of truth maintenance systems with application to high level vision.

[BibT_eX]

[DOI]

PhD thesis, 1988

Solving Diagnostic Problems Using Extended Truth Maintenance Systems.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987

Efficiency Analysis of Multiple-Context TMSs in Scene Representation.

[BibT_eX]

[DOI]