1![Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom Learning Static Constraints for Domain Modeling from Training Plans Rabia Jilani School of Computing and Engineering University of Huddersfield United Kingdom](https://www.pdfsearch.io/img/2f3db0e4845c7a23e5cf84c6934d9482.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:30
|
---|
2![BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011](https://www.pdfsearch.io/img/ce60b8ac07d777861cb478cdd339869b.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
3![BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/a55e8193303fed2e83bfdd2a06309afb.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
4![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 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](https://www.pdfsearch.io/img/ac61535df9a58bcb28d76433298c8e4f.jpg) | Add to Reading ListSource URL: www.johnross.comLanguage: English - Date: 2009-07-03 23:01:56
|
---|
5![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 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](https://www.pdfsearch.io/img/5071dadb29f40fc3357a720a5f5360e2.jpg) | Add to Reading ListSource URL: iswc2011.semanticweb.orgLanguage: English - Date: 2011-09-14 09:57:15
|
---|
6![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 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](https://www.pdfsearch.io/img/41212e8ee1f5b19344fe2a1cea65ca89.jpg) | Add to Reading ListSource URL: www-sigproc.eng.cam.ac.ukLanguage: English - Date: 2013-08-05 16:24:49
|
---|
7![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 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](https://www.pdfsearch.io/img/d2485080162ed9da5d560833ef73b10a.jpg) | Add to Reading ListSource URL: sosengineering.org- Date: 2017-12-18 09:14:29
|
---|
8![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 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](https://www.pdfsearch.io/img/836d175e98a3ef2b13ad9e16cc93fc3e.jpg) | Add to Reading ListSource URL: jmvalin.ca- Date: 2016-10-02 15:43:51
|
---|
9![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 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](https://www.pdfsearch.io/img/c9f6df07e616a1f01d62378e35b368f0.jpg) | Add to Reading ListSource URL: www2.compute.dtu.dk- Date: 2016-06-07 01:25:17
|
---|
10![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 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](https://www.pdfsearch.io/img/1faa55d932f5fa3be053bfd7497c289b.jpg) | Add to Reading ListSource URL: www.imm.dtu.dk- Date: 2016-06-07 01:25:17
|
---|