|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstraction, Reformulation, and Approximation ![In: Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Djamal Habet, Philippe Jégou |
Toward a Generalization and a Reformulation of Goods in SAT - Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstraction, Reformulation, and Approximation ![In: Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu |
Fast d-DNNF Compilation with sharpSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstraction, Reformulation, and Approximation ![In: Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Lukas Kroc, Ashish Sabharwal, Bart Selman |
Approximate Inference for Clusters in Solution Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstraction, Reformulation, and Approximation ![In: Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
32 | Bertrand Meyer 0001 |
A Three-Level Approach to the Description of Data Structures, and Notational Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 164-166, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Antonio Albano, Renzo Orsini |
An Interactive Integrated System to Design and Use Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 91-93, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 43-52, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | John F. Sowa |
A Conceptual Schema for Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 193-195, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Peter Kreps |
Relativism and Views in a Conceptual Data Base Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 141-143, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 183-185, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 77-82, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Peter Hitchcock |
Data Dictionaries in Open System Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 133-134, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | William Mark |
Use of Database Organization in the Consul System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 155-157, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Dennis McLeod, Peter Buneman, R. G. G. Cattell |
Behaviour (discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 53-61, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan J. King |
Modelling Concepts for Reasoning About Access to Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 138-140, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | R. G. G. Cattell |
Integrating a Database System and Programming/Information Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 110-111, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
Cedar |
32 | L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes |
Presentation (discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 62-71, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | |
Title, Table of Contents, Preface, Introduction, Participants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
32 | Gary G. Hendrix |
Mediating the Views of Databases and Database Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 131-132, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | John Mylopoulos |
Tutorial on Artificial Intelligence Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 13-18, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Lawrence A. Rowe |
Tutorial on Programming Language Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 36-39, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Edgar H. Sibley |
Database Management Systems Past and Present. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 192, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | L. Peter Deutsch |
Constraints: A Uniform Model for Data and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 118-120, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Paolo Paolini |
Abstract Data Types and Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 171-173, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Raymond Reiter |
Data Bases: A Logical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 174-176, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Peter Buneman, Ira Winston |
The Use of Data Type Information in an Interactive Database Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 104-106, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Bengt G. Lundberg, Janis A. Bubenko Jr. |
Axiomatic Information Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 153-154, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | E. F. Codd |
Data Models in Database Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 112-114, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Jaime G. Carbonell |
Default Reasoning and Inheritance Mechanisms on Type Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 107-109, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Robert Balzer |
What Should Be Modelled? (discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 40-42, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Stephen N. Zilles |
Types, Algebras and Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 207-209, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | John Mylopoulos |
A Perspective for Research on Conceptual Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 167-170, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
TAXIS |
32 | Ira P. Goldstein |
Integrating a Network-Structured Database Into an Object-Oriented Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 124-125, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
Smalltalk |
32 | Dennis McLeod |
Tutorial on Database Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 26-28, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Stephen N. Zilles, Ira P. Goldstein, E. F. Codd, Mary Shaw |
Workshop Summary (discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 88-90, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Tore Amble |
Integration of Data Base Design in Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 94, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Robert Balzer |
Dynamic System Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 95-97, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Dennis McLeod |
On Conceptual Database Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 161-163, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Michel Lacroix, Alain Pirotte 0001 |
Associating Types with Domains of Relational Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 144-146, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | John Mylopoulos |
An Overview of Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 5-12, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 72-76, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 83-87, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Martin S. Feather |
Some Contrasts and Considerations of an Approach to Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 121-123, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Borgida, Sol J. Greenspan |
Data and Activities: Exploiting Hierarchies of Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 98-100, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
32 | Michael Hammer |
Data Abstractions for Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 58-59, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Douglas T. Ross |
Toward Foundations for the Understanding of Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 63-65, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Dennis McLeod |
High Level Domain Definition in a Relational Data Base System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 47-57, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Eric Allman, Michael Stonebraker, Gerald Held |
Embedding a Relational Data Sublanguage in a General Purpose Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 25-35, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Cornelis H. A. Koster |
Visibility and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 179-190, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Janis A. Bubenko Jr., Stig Berild, Eva Lindencrona-Ohlin, Sam Nachmens |
From Information Structures to DBTG Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 73-85, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | David Gries, Narain H. Gehani |
Some Ideas on Data Types in High Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 120, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | John V. Guttag |
Abstract Data Types and the Development of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 72, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Lawrence Flon, A. Nico Habermann |
Towards the Construction of Verifiable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 141-148, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Theodore A. Linden |
The Use of Abstract Data Types to Simplify Program Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 12-23, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Mary Shaw |
Research Directions in Abstract Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 66-68, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | David Lorge Parnas, John E. Shore, David M. Weiss 0001 |
Abstract Types Defined as Classes of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 149-153, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | W. Terry Hardgrave |
A Technique for Implementing a Set Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 86-94, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Barron C. Housel, Nan C. Shu |
A High-Level Data Manipulation Language for Hierarchical Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 155-169, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Moshé M. Zloof, S. Peter de Jong |
The System for Business Automation: Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 24, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 115-119, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Oscar Vallarino |
On the Use of Bit Maps for Multiple Key Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 108-114, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Jim Mitchell, Ben Wegbreit |
A Next Step in Data Structuring for Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 69-70, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Robert T. Johnson, James B. Morris |
Abstract Data Types in the Model Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 36-46, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Bengt Nordström |
An Outline of a Mathematical Model for the Definition and Manipulation of Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 1-11, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Mark B. Wells, Fred L. Cornwall |
A Data Type Encapsulation Scheme Utilizing Base Language Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 170-178, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
32 | Richard B. Kieburtz |
Programming without Pointer Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 95-107, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pacific Rim Conference on Multimedia ![In: Advances in Multimedia Information Processing - PCM 2002, Third IEEE Pacific Rim Conference on Multimedia, Hsinchu, Taiwan, December 16-18, 2002, Proceedings, pp. 311-318, 2002, Springer, 3-540-00262-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Ti Zhou, Mengjun Li, Zhoujun Li 0001 |
Local abstract verification and refinement of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008, pp. 21-30, 2008, ACM, 978-1-60558-288-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 7(4), pp. 225-242, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 3(4), pp. 205-223, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers, pp. 147-165, 2008, Springer, 978-3-642-00430-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Directed model checking, timed automata, predicate abstraction, abstraction refinement |
31 | Orna Grumberg |
3-Valued Abstraction for (Bounded) Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 21, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(2), pp. 366-379, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu |
Formula-Dependent Abstraction for CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2008, International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II, pp. 1035-1048, 2008, Springer, 978-3-540-69840-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo |
A Forward-Backward Abstraction Refinement Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 248-262, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Víctor Valdés, José María Martínez Sanchez |
On Video Abstraction Systems' Architectures and Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMT ![In: Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, December 3-5, 2008. Proceedings, pp. 164-177, 2008, Springer, 978-3-540-92234-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Chao Wang 0001, Hyondeuk Kim, Aarti Gupta |
Hybrid CEGAR: combining variable hiding and predicate abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2007 International Conference on Computer-Aided Design, ICCAD 2007, San Jose, CA, USA, November 5-8, 2007, pp. 310-317, 2007, IEEE Computer Society, 1-4244-1382-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Alessandro Armando, Massimo Benerecetti, Jacopo Mantovani |
Abstraction Refinement of Linear Programs with Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 373-388, 2007, Springer, 978-3-540-71208-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 174-186, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 175-184, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Shiva Nejati, Arie Gurfinkel, Marsha Chechik |
Stuttering Abstraction for Model Checkin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany, pp. 311-320, 2005, IEEE Computer Society, 0-7695-2435-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), Emerging Trends in VLSI Systems Design, 19-20 February 2004, Lafayette, LA, USA, pp. 52-60, 2004, IEEE Computer Society, 0-7695-2097-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Jun Rao, Hamid Pirahesh, Calisto Zuzarte |
Canonical Abstraction for Outerjoin Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004, pp. 671-682, 2004, ACM, 1-58113-859-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Neil J. Robinson |
Incremental Derivation of Abstraction Relations for Data Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 246-265, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 408-415, 2003, IEEE Computer Society / ACM, 1-58113-762-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 176-191, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Natasha Sharygina, James C. Browne |
Model Checking Software via Abstraction of Loop Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 325-340, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Patrice Godefroid, Radha Jagadeesan |
Automatic Abstraction Using Generalized Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 137-150, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Herman Koppelman |
Teaching abstraction explicitly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2001, Canterbury, UK, June 25-27, 2001, pp. 191, 2001, ACM, 1-58113-330-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Willem Visser, Seungjoon Park, John Penix |
Using predicate abstraction to reduce object-oriented programs for model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSP ![In: Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA, pp. 3-182, 2000, ACM, 1-58113-262-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
browsing |
31 | John Darlington, Yike Guo |
Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings, pp. 92-108, 1989, Springer, 3-540-51081-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Peter Wegner |
On the Unification of Data and Program Abstraction in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 256-264, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
30 | Richard M. Salter, John L. Donaldson |
Abstraction and extensibility in digital logic simulation software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2009, Chattanooga, TN, USA, March 4-7, 2009, pp. 418-422, 2009, ACM, 978-1-60558-183-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation, abstraction, logic design |
30 | Yang Cai, David Kaufer, Emily Hart, Elizabeth Solomon |
Semantic Visual Abstraction for Face Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 419-428, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 945-952, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
model checking, abstraction, epistemic logic |
30 | Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron |
Abstraction pathologies in extensive games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 781-788, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
game theory, abstraction, equilibrium, pathologies |
30 | Orit Hazzan |
Reflections on teaching abstraction and other soft ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 40(2), pp. 40-43, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 1393-1394, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008, pp. 11-20, 2008, ACM, 978-1-60558-468-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings, pp. 311-327, 2008, Springer, 978-3-540-87600-7. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|