Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Lorenza Saitta, Christel Vrain, Zhaohui Wu 0003, Lu Jiang 0001, Qinghua Zheng, Jun Liu 0002	Abstracting Markov Networks.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Djamal Habet, Philippe Jégou	Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu	Fast d-DNNF Compilation with sharpSAT.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Lukas Kroc, Ashish Sabharwal, Bart Selman	Approximate Inference for Clusters in Solution Spaces.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Bertrand Meyer 0001	A Three-Level Approach to the Description of Data Structures, and Notational Framework.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Antonio Albano, Renzo Orsini	An Interactive Integrated System to Design and Use Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Lawrence A. Rowe, L. Peter Deutsch, Mary Shaw, James W. Thatcher, Heinrich C. Mayr, Stephen N. Zilles, Patrick J. Hayes	Types (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John F. Sowa	A Conceptual Schema for Knowledge-Based Systems.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Peter Kreps	Relativism and Views in a Conceptual Data Base Model.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Clesio Saraiva dos Santos, António L. Furtado 0001, José Mauro Volkmer de Castilho, Sergio E. R. de Carvalho	Towards Constructive Axiomatic Specifications.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John Mylopoulos, Martin S. Feather, Bertrand Meyer 0001, Paolo Paolini, Diane C. P. Smith, Gary G. Hendrix	Relationships Between and Among Models (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Peter Hitchcock	Data Dictionaries in Open System Communication.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	William Mark	Use of Database Organization in the Consul System.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Dennis McLeod, Peter Buneman, R. G. G. Cattell	Behaviour (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Jonathan J. King	Modelling Concepts for Reasoning About Access to Knowledge.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	R. G. G. Cattell	Integrating a Database System and Programming/Information Environment.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	Cedar
32	L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes	Presentation (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32		Title, Table of Contents, Preface, Introduction, Participants.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP BibTeX RDF
32	Gary G. Hendrix	Mediating the Views of Databases and Database Users.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John Mylopoulos	Tutorial on Artificial Intelligence Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Lawrence A. Rowe	Tutorial on Programming Language Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Edgar H. Sibley	Database Management Systems Past and Present.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	L. Peter Deutsch	Constraints: A Uniform Model for Data and Control.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Paolo Paolini	Abstract Data Types and Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Raymond Reiter	Data Bases: A Logical Perspective.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Peter Buneman, Ira Winston	The Use of Data Type Information in an Interactive Database Environment.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Bengt G. Lundberg, Janis A. Bubenko Jr.	Axiomatic Information Modeling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	E. F. Codd	Data Models in Database Management.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Jaime G. Carbonell	Default Reasoning and Inheritance Mechanisms on Type Hierarchies.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Robert Balzer	What Should Be Modelled? (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Stephen N. Zilles	Types, Algebras and Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John Mylopoulos	A Perspective for Research on Conceptual Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	TAXIS
32	Ira P. Goldstein	Integrating a Network-Structured Database Into an Object-Oriented Programming Language.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	Smalltalk
32	Dennis McLeod	Tutorial on Database Research.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Stephen N. Zilles, Ira P. Goldstein, E. F. Codd, Mary Shaw	Workshop Summary (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Tore Amble	Integration of Data Base Design in Programming Languages.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Robert Balzer	Dynamic System Specification.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Dennis McLeod	On Conceptual Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Michel Lacroix, Alain Pirotte 0001	Associating Types with Domains of Relational Data Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John Mylopoulos	An Overview of Knowledge Representation.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell	Consistency of Models (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Joachim W. Schmidt, Michael L. Brodie, Diane C. P. Smith, Lawrence A. Rowe, R. G. G. Cattell	Application of Modelling Techniques (discussion).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Martin S. Feather	Some Contrasts and Considerations of an Approach to Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Alexander Borgida, Sol J. Greenspan	Data and Activities: Exploiting Hierarchies of Classes.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
32	Michael Hammer	Data Abstractions for Data Bases.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Douglas T. Ross	Toward Foundations for the Understanding of Type.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Dennis McLeod	High Level Domain Definition in a Relational Data Base System.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Eric Allman, Michael Stonebraker, Gerald Held	Embedding a Relational Data Sublanguage in a General Purpose Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Cornelis H. A. Koster	Visibility and Types.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Janis A. Bubenko Jr., Stig Berild, Eva Lindencrona-Ohlin, Sam Nachmens	From Information Structures to DBTG Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	David Gries, Narain H. Gehani	Some Ideas on Data Types in High Level Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	John V. Guttag	Abstract Data Types and the Development of Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Lawrence Flon, A. Nico Habermann	Towards the Construction of Verifiable Software Systems.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Theodore A. Linden	The Use of Abstract Data Types to Simplify Program Modifications.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Mary Shaw	Research Directions in Abstract Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	David Lorge Parnas, John E. Shore, David M. Weiss 0001	Abstract Types Defined as Classes of Variables.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	W. Terry Hardgrave	A Technique for Implementing a Set Processor.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Barron C. Housel, Nan C. Shu	A High-Level Data Manipulation Language for Hierarchical Data Structures.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Moshé M. Zloof, S. Peter de Jong	The System for Business Automation: Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena	Correctness of Data Representations: Pointers in High Level Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Oscar Vallarino	On the Use of Bit Maps for Multiple Key Retrieval.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Jim Mitchell, Ben Wegbreit	A Next Step in Data Structuring for Programming Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Robert T. Johnson, James B. Morris	Abstract Data Types in the Model Programming Language.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Bengt Nordström	An Outline of a Mathematical Model for the Definition and Manipulation of Data.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Mark B. Wells, Fred L. Cornwall	A Data Type Encapsulation Scheme Utilizing Base Language Operators.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Richard B. Kieburtz	Programming without Pointer Variables.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
32	Jongho Nang, Jinguk Jeong, Myung-hwan Ha, Byunghee Jung, Kyeongsoo Kim	An Authoring Tool Generating Various Video Abstractions Semi-automatically.	IEEE Pacific Rim Conference on Multimedia	2002	DBLP DOI BibTeX RDF
31	Ti Zhou, Mengjun Li, Zhoujun Li 0001	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
31	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Model checking specifications, Abstraction, Numeric constraints
31	Dong-Han Ham, Wan Chul Yoon	Design of Information Content and Layout for Process Control Based on Goal-Means Domain Analysis.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Functionally abstracted information, Information display design, Fault diagnosis, Process control, Abstraction hierarchy
31	Jan-Georg Smaus, Jörg Hoffmann 0001	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
31	Orna Grumberg	3-Valued Abstraction for (Bounded) Model Checking.	ATVA	2009	DBLP DOI BibTeX RDF
31	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
31	Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu	Formula-Dependent Abstraction for CTL Model Checking.	ICCSA (2)	2008	DBLP DOI BibTeX RDF
31	Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo	A Forward-Backward Abstraction Refinement Algorithm.	VMCAI	2008	DBLP DOI BibTeX RDF
31	Víctor Valdés, José María Martínez Sanchez	On Video Abstraction Systems' Architectures and Modelling.	SAMT	2008	DBLP DOI BibTeX RDF
31	Chao Wang 0001, Hyondeuk Kim, Aarti Gupta	Hybrid CEGAR: combining variable hiding and predicate abstraction.	ICCAD	2007	DBLP DOI BibTeX RDF
31	Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani	Abstraction Refinement of Linear Programs with Arrays.	TACAS	2007	DBLP DOI BibTeX RDF
31	Tun Li, Yang Guo 0003, Sikun Li, GongJie Liu	Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming.	ATVA	2005	DBLP DOI BibTeX RDF
31	Tun Li, Yang Guo 0003, Sikun Li, Dan Zhu	Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions.	MICAI	2005	DBLP DOI BibTeX RDF
31	Shiva Nejati, Arie Gurfinkel, Marsha Chechik	Stuttering Abstraction for Model Checkin.	SEFM	2005	DBLP DOI BibTeX RDF
31	Suryaprasad Jayadevappa, Ravi Shankar 0002, Imad Mahgoub	A Comparative Study of Modeling at Different Levels of Abstraction in System on Chip Designs: A Case Study.	ISVLSI	2004	DBLP DOI BibTeX RDF
31	Jun Rao, Hamid Pirahesh, Calisto Zuzarte	Canonical Abstraction for Outerjoin Optimization.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
31	Neil J. Robinson	Incremental Derivation of Abstraction Relations for Data Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF
31	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.	ICCAD	2003	DBLP DOI BibTeX RDF
31	Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi	Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.	TACAS	2003	DBLP DOI BibTeX RDF
31	Natasha Sharygina, James C. Browne	Model Checking Software via Abstraction of Loop Transitions.	FASE	2003	DBLP DOI BibTeX RDF
31	Patrice Godefroid, Radha Jagadeesan	Automatic Abstraction Using Generalized Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
31	Herman Koppelman	Teaching abstraction explicitly.	ITiCSE	2001	DBLP DOI BibTeX RDF
31	Willem Visser, Seungjoon Park, John Penix	Using predicate abstraction to reduce object-oriented programs for model checking.	FMSP	2000	DBLP DOI BibTeX RDF	browsing
31	John Darlington, Yike Guo	Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.	RTA	1989	DBLP DOI BibTeX RDF
31	Peter Wegner	On the Unification of Data and Program Abstraction in Ada.	POPL	1983	DBLP DOI BibTeX RDF
30	Richard M. Salter, John L. Donaldson	Abstraction and extensibility in digital logic simulation software.	SIGCSE	2009	DBLP DOI BibTeX RDF	simulation, abstraction, logic design
30	Yang Cai, David Kaufer, Emily Hart, Elizabeth Solomon	Semantic Visual Abstraction for Face Recognition.	ICCS (1)	2009	DBLP DOI BibTeX RDF	visual abstraction, human features, video analytics, information retrieval, face recognition, visual search, semantic network, face
30	Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo 0003	Abstraction in model checking multi-agent systems.	AAMAS (2)	2009	DBLP BibTeX RDF	model checking, abstraction, epistemic logic
30	Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron	Abstraction pathologies in extensive games.	AAMAS (2)	2009	DBLP BibTeX RDF	game theory, abstraction, equilibrium, pathologies
30	Orit Hazzan	Reflections on teaching abstraction and other soft ideas.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF	soft ideas, abstraction, computer science education, reflection
30	Chi-Yao Tseng, Pin-Chieh Sung, Ming-Syan Chen	A novel email abstraction scheme for spam detection.	CIKM	2008	DBLP DOI BibTeX RDF	email abstraction, near-duplicate matching, spam detection
30	Nikolaos D. Liveris, Hai Zhou 0001, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
30	Lutz Frommberger, Diedrich Wolter	Spatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	knowledge representation, abstraction, knowledge transfer