|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
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 |
Displaying result #101 - #200 of 13114 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|