The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Abstraction with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1937-1975 (17) 1976 (33) 1977-1978 (23) 1979 (19) 1980 (76) 1981 (24) 1982 (22) 1983 (35) 1984 (19) 1985 (38) 1986 (36) 1987 (72) 1988 (95) 1989 (77) 1990 (88) 1991 (93) 1992 (103) 1993 (127) 1994 (130) 1995 (164) 1996 (183) 1997 (200) 1998 (227) 1999 (276) 2000 (361) 2001 (328) 2002 (529) 2003 (569) 2004 (725) 2005 (875) 2006 (928) 2007 (997) 2008 (959) 2009 (869) 2010 (370) 2011 (248) 2012 (243) 2013 (265) 2014 (237) 2015 (257) 2016 (253) 2017 (267) 2018 (274) 2019 (262) 2020 (235) 2021 (271) 2022 (255) 2023 (294) 2024 (66)
Publication types (Num. hits)
article(3018) book(24) incollection(65) inproceedings(9773) phdthesis(221) proceedings(13)
Venues (Conferences, Journals, ...)
CoRR(528) SARA(225) CAV(141) VLSI Design(131) DAC(105) DATE(104) POPL(104) IEEE Trans. Software Eng.(83) TACAS(76) VMCAI(74) IEEE Trans. Comput. Aided Des....(67) AAAI(65) IPDPS(62) FMCAD(60) SAS(59) SAC(58) More (+10 of total 2997)
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
70Amir Pnueli Using Abstraction to Verify Arbitrary Temporal Properties. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
65Amir Pnueli Ranking Abstraction as a Companion to Predicate Abstraction, . Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Peter Wegner Granularity of modules in object-based concurrent systems. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
59Lawrence A. Rowe Data Abstraction From a Programming Language Viewpoint. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
54Ittai Balaban, Amir Pnueli, Lenore D. Zuck Ranking Abstraction as Companion to Predicate Abstraction. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Mary Shaw Abstraction, Data Types, and Models for Software. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
52Randy H. Katz Heterogeneous Databases and High Level Abstraction. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
52Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav Efficient Verification of Sequential and Concurrent C Programs. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
50Constantin Enea Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. Search on Bibsonomy ECBS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF equational abstraction, CEGAR, verification, refinement
49Murali Sitaraman, Bruce W. Weide, William F. Ogden On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
49Burt M. Leavenworth A Data Abstraction Approach to Database Modelling. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
49Dennis McLeod, John Miles Smith Abstraction in Databases. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
48Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, Software model checking
48Andreas Podelski, Andrey Rybalchenko Transition predicate abstraction and fair termination. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF fair termination, transition predicate abstraction, liveness, software model checking
46Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre Software Verification with BLAST. Search on Bibsonomy SPIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Johan de Kleer Dynamic Domain Abstraction Through Meta-diagnosis. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Abstraction, diagnosis, qualitative reasoning, model-based reasoning
45Chao 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 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Byunghee Jung, Junehwa Song, Yoon-Joon Lee A narrative-based abstraction framework for story-oriented video. Search on Bibsonomy ACM Trans. Multim. Comput. Commun. Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF online review services, story-oriented, video abstraction system, film, Video abstraction, narrative structure, story understanding
44Lawrence A. Crowl, Thomas J. LeBlanc Parallel Programming with Control Abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF architectural adaptability, control abstraction, early reply, multiprocessors, performance tuning, data abstraction, closures, parallel programming languages
44Toshimi Minoura, S. Sitharama Iyengar Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction
43Stijn De Saeger, Atsushi Shimojima Channeling Abstraction. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Patrick J. Hayes, Gary G. Hendrix A Logical View of Types. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
42Stephen Lin, Robert Wright Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
42Steven Loscalzo, Robert William Wright Automatic Methods for Continuous State Space Abstraction. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
42Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou 0001 Parallel Best-First Search: The Role of Abstraction. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
42Anthony I. Wasserman The Extension of Data Abstraction to Database Management. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
42James W. Thatcher Data Abstraction, Data Bases and Conceptual Modelling. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF CLEAR
42Michael L. Brodie Data Abstraction for Designing Database-Intensive Applications. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
42Michael E. Senko DIAM II and Levels of Abstraction. Search on Bibsonomy Conference on Data: Abstraction, Definition and Structure The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
42James J. Horning Some Desirable Properties of Data Abstraction Facilities. Search on Bibsonomy Conference on Data: Abstraction, Definition and Structure The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
42John Miles Smith, Diane C. P. Smith Data Base Abstraction. Search on Bibsonomy Conference on Data: Abstraction, Definition and Structure The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
41Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich The synergy of precise and fast abstractions for program verification. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF CEGAR, predicate abstraction, abstraction refinement
41Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song Component-Based Abstraction and Refinement. Search on Bibsonomy ICSR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Weske Process Model Abstraction: A Slider Approach. Search on Bibsonomy EDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Takayuki Dan Kimura Object-Oriented Dataflow. Search on Bibsonomy VL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF object-oriented dataflow, object-oriented visual programming language, calling mechanisms, synchronous call, asynchronous call, asynchronous subroutine call, class-based abstraction, functional abstraction, object-oriented programming, object-oriented programming, visual programming, visual languages, computation model, data flow analysis, object-oriented languages, object-oriented model, subroutines, subroutine, functional model, abstraction mechanism
40Herman Koppelman, Betsy van Dijk Teaching abstraction in introductory courses. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF abstraction, pedagogy, computer science, recursion, abstraction level
40Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
40Yonit Kesten, Amir Pnueli Control and Data Abstraction: The Cornerstones of Practical Formal Verification. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
40Donald R. Chand, Surya B. Yadav On the application of data abstraction facilities. Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Abstraction facilities, Application of data abstraction, Design and implementation of programming languages, Encapsulated data types, Quality software, Programming methodology
40Lorenza Saitta, Jean-Daniel Zucker Abstraction and Complexity Measures. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Heinrich C. Mayr Make More of Data Types. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
38Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko Path invariants. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
38Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. Search on Bibsonomy HSCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi Property-Driven Partitioning for Abstraction Refinement. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
38Qingguang Cui, Matthew O. Ward, Elke A. Rundensteiner, Jing Yang 0001 Measuring Data Abstraction Quality in Multiresolution Visualizations. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multiresolution Visualization Authors 1:, Clustering, Metrics, Sampling
38Byron Cook, Andreas Podelski, Andrey Rybalchenko Abstraction Refinement for Termination. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai Localization and Register Sharing for Predicate Abstraction. Search on Bibsonomy TACAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Amir Pnueli Abstraction for Liveness. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
38Ehud Shapiro Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems. Search on Bibsonomy WABI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Jiaying Shen, Victor R. Lesser Communication management using abstraction in distributed Bayesian networks. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF decentralized MDP, communication, abstraction
37Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke Word level predicate abstraction and refinement for verifying RTL verilog. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SAT, predicate abstraction, verilog
37Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle Dynamic abstraction using SAT-based BMC. Search on Bibsonomy DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, SAT, abstraction refinement
37Natalia Ioustinova, Natalia Sidorova, Martin Steffen Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. Search on Bibsonomy APSEC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis
36Werner Bailer, Georg Thallinger A framework for multimedia content abstraction and its application to rushes exploration. Search on Bibsonomy CIVR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF content abstraction, content abstraction process, browsing, MPEG-7, summarisation, rushes, post-production
36Andrew Gilpin, Tuomas Sandholm Better automated abstraction techniques for imperfect information games, with application to Texas Hold'em poker. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF automated abstraction, equilibrium computation, abstraction, poker, computational game theory
36Robert C. B. Cooper, K. G. Hamilton Preserving Abstraction in Concurrent Programming. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
36Charles Rich Multiple Points of View in Modelling Programs. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Hector J. Levesque Incompleteness in Knowledge Bases. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Flaviu Cristian On the Specification of Behavioural Constraints. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Joachim W. Schmidt Design, Specification and Application. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Herbert Weber Are Data Types Universal Modelling Concepts for Data Base Systems? Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF PLAIN
36Lawrence A. Rowe Issues in the Design of Database Programming Languages. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Hartmut Wedekind Constructive Abstract Data Types (CAD). Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36W. Terry Hardgrave, Donald R. Deutsch Processing Data Model Abstractions. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
36Russ Abbott Abstraction, Emergence, and Thought. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF thought externalization, Abstraction, emergence
35Juan-Antonio Fernández-Madrigal, Javier Gonzalez 0001, Cipriano Galindo Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots. Search on Bibsonomy SARA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Jeffrey Kramer Abstraction and Modelling: A Complementary Partnership. Search on Bibsonomy TFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Shuvendu K. Lahiri, Shaz Qadeer Complexity and Algorithms for Monomial and Clausal Predicate Abstraction. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Youngbin Park, Il Hong Suh, Byung-Uk Choi Hierarchical Abstraction of World Elements and Behaviors for efficient task planning of a mobile robot. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Jeff Kramer Abstraction and Modelling - A Complementary Partnership. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Flavio M. de Paula, Alan J. Hu EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Lawrence A. Crowl, Thomas J. LeBlanc Control abstraction in parallel programming languages. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33David B. Lomet Dependability, Abstraction, and Programming. Search on Bibsonomy DASFAA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications
33Orit Hazzan, Jeff Kramer The role of abstraction in software engineering. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF organizational learning., management, abstraction, cognition, software engineering processes
33SeungEun Cha, DaiYoung Kwon, Won-Gyu Lee Using puzzles: problem-solving and abstraction. Search on Bibsonomy SIGITE Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF teaching/learning strategy, abstraction, programming, generalization, problem-solving, novice, puzzle
33Rajeev Alur, Thao Dang 0001, Franjo Ivancic Predicate abstraction for reachability analysis of hybrid systems. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid systems, Reachability analysis, predicate abstraction
33Masoud Asadpour, Majid Nili Ahmadabadi, Roland Siegwart Reduction of Learning Time for Robots Using Automatic State Abstraction. Search on Bibsonomy EUROS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF State Abstraction, Hierarchical Reinforcement Learning
33Jeff Kramer, Orit Hazzan The role of abstraction in software engineering. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF management, abstraction, cognition, organizational learning, software engineering processes
33Roy Friedman, Achour Mostéfaoui, Michel Raynal Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems. Search on Bibsonomy PRDC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector
33Alexandru C. Telea, Cristian Sminchisescu, Sven J. Dickinson Optimal Inference for Hierarchical Skeleton Abstraction. Search on Bibsonomy ICPR (4) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Skeleton abstraction, qualitative shape matching, constrained optimization, energy minimization, minimum description length, shock graphs
33Zaher S. Andraus, Karem A. Sakallah Automatic abstraction and verification of verilog models. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UCLID, logic of counter arithmetic with lambda expressions and uninter-preted functions (CLU), abstraction, register transfer level (RTL), verilog
33Morten Lind Making sense of the abstraction hierarchy in the power plant domain. Search on Bibsonomy Cogn. Technol. Work. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Supervisory control, Automation design, Plant modeling, Cognitive engineering, Abstraction hierarchies
33K. Rustan M. Leino, Greg Nelson Data abstraction and information hiding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
33Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl Automatic abstraction for model checking software systems with interrelated numeric constraints. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF domain abstraction, model checking software systems, numeric constraints
33Sabine Timpf Abstraction, Levels of Detail, and Hierarchies in Map Series. Search on Bibsonomy COSIT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF abstraction processes, part-whole relations, map series, presentation of spatial information, levels of detail, hierarchies
33Hongji Yang, Xiaodong Liu 0001, Hussein Zedan Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach. Search on Bibsonomy ICSM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF reverse engineering, object oriented, abstraction, re-engineering, Interval Temporal Logic, wide spectrum language
33Francis K. H. Quek, Ramesh C. Jain, Terry E. Weymouth An Abstraction-Based Approach to 3-D Pose Determination from Range Images. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF cylindrical surfaces, Gaussian curvature sign-map descriptors, 3-D pose determination, abstraction-based paradigm, mean curvature sign-map descriptors, algebraic surface descriptions, biquadratic surfaces, cylinder approximation, parameter estimation, parameter estimation, image recognition, image recognition, range images, approximation theory, polynomial approximations, nonlinear regression, planar surfaces
33Victoria Sakhnini, Orit Hazzan Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types. Search on Bibsonomy ACM J. Educ. Resour. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF reducing abstraction, abstraction, computer science education, problem solving, abstract data types
33Byunghee Jung, Tae-Yeong Kwak, Junehwa Song, Yoon-Joon Lee Narrative abstraction model for story-oriented video. Search on Bibsonomy ACM Multimedia The full citation details ... 2004 DBLP  DOI  BibTeX  RDF narrative abstraction, story-oriented, film, video abstraction, narrative structure, story understanding
33Marcelo Campo, Ricardo Orosco, Alfredo Raúl Teyseyre Interactive Abstraction Control in Visualization Systems. Search on Bibsonomy SCCC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF interactive abstraction control, data visualization systems, detail levels, reusable object-oriented support, abstractor objects, user-controlled semantic zooming, abstraction scales, MetaExplorer, CityVis, software visualization, data visualisation, object-oriented frameworks
33Richard Eric Mortimer, Keith H. Bennett Maintenance and abstraction of program data using formal transformations. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF program data abstraction, program data maintenance, formal transformations, DREAM method, Data Reverse Engineering and Abstraction Mechanism method, program data restructuring, data changes, code manipulation, discrete types, software maintenance, program transformations, generic method
33Lorenza Saitta, Pietro Torasso, Gianluca Torta Formalizing the Abstraction Process in Model-Based Diagnosis. Search on Bibsonomy SARA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32 Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010 Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Xiaoming Zheng, Sven Koenig Market-Based Algorithms for Allocating Complex Tasks. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Gregory M. Provan, Ashish Sabharwal Preface. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Joshua Jones, Ashok K. Goel 0001 Effects of Faulty Knowledge Engineering on Structured Classification Learning. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Christian Drescher, Toby Walsh Reformulation of Global Constraints in Answer Set Programming. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Roman Barták, Ondrej Kuzelka, Filip Zelezný Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
32Susan L. Epstein, Xi Yun From Unsolvable to Solvable: An Exploration of Simple Changes. Search on Bibsonomy Abstraction, Reformulation, and Approximation The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 13114 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license