Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom

Source URL: icaps16.icaps-conference.org

• Computing
• Software engineering
• Notation
• Systems engineering
• Automated planning and scheduling
• Planning Domain Definition Language
• Conceptual model
• Object Process Methodology
• Prolog

BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011

Source URL: arieg.bitbucket.io

• Systems science
• Carnegie Mellon University
• Systems engineering
• Systems theory
• Cyberwarfare
• Software Engineering Institute
• System of systems
• Carnegie Mellon Silicon Valley
• Software engineering
• Pittsburgh
• Science and technology in the United States

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

TIME DOMAIN METHOD FOR MATERIALS CHARACTERIZATION USING MICROSTRIP FIELD APPLICATORS D. Infante, J. Ross and D. P. Nyquist Department of Electrical Engineering Michigan State University

Source URL: www.johnross.com

Automatically Generating Data Linkages Using a Domain-Independent Candidate Selection Approach Dezhao Song and Jeff Heflin Department of Computer Science and Engineering, Lehigh University, 19 Memorial Drive West, Beth

Source URL: iswc2011.semanticweb.org

DESIGN OF Q-SHIFT COMPLEX WAVELETS FOR IMAGE PROCESSING USING FREQUENCY DOMAIN ENERGY MINIMIZATION Nick Kingsbury Signal Processing Group, Dept. of Engineering, University of Cambridge, Cambridge CB2 1PZ, UK. E-mail: ngk

Source URL: www-sigproc.eng.cam.ac.uk

Jean-Luc Garnier is Systems Engineering and Architecting Director within the Thales Technical Directorate. His domain of expertise is real-time distributed systems. He has an engineer degree in computer science from INSA

Source URL: sosengineering.org

Localization of Simultaneous Moving Sound Sources for Mobile Robot Using a Frequency-Domain Steered Beamformer Approach Jean-Marc Valin, François Michaud, Brahim Hadjou, Jean Rouat Department of Electrical Engineering a

Source URL: jmvalin.ca

6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

Source URL: www2.compute.dtu.dk

6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

Source URL: www.imm.dtu.dk