Skip to search formSkip to main contentSkip to account menu

Principle of abstraction

Known as: Level of abstraction, Levels of abstraction 
The amount of complexity by which a system is viewed or programmed. The higher the level, the less detail. The lower the level, the more detail. The… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Argument mapFrenetic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Race analysis for SystemC using model checking
SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems at different… 
Highly Cited
2006
Highly Cited
2006
Formal Verification of SystemC Designs Using a Petri-Net Based Representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri… 
2003
2003
User-guided reinforcement learning of robot assistive tasks for an intelligent environment
Autonomous robots hold the possibility of performing a variety of assistive tasks in intelligent environments. However… 
Highly Cited
1995
Highly Cited
1995
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths… 
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness… 
1993
1993
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering
Generating explanations of device behavior is a long-standmg goal of AI research in reasoning about physical systems. Much of the… 
Highly Cited
1989
Highly Cited
1989
Optimization in Model Matching and Perceptual Organization
We introduce an optimization approach for solving problems in computer vision that involve multiple levels of abstraction. Our… 
Highly Cited
1989
Highly Cited
1989
Many-sorted high-level nets
  • J. Billington
  • Proceedings of the Third International Workshop…
  • 1989
  • Corpus ID: 19675538
Many-sorted high-level nets (MHLNs) combine abstract data types and Petri nets within the same algebraic framework and include… 
Highly Cited
1980
Highly Cited
1980
Reading and learning from text
The authors provide teaching strategies that have been classroom tested for accuracy, practicality, and reliability. The methods… 
1979
1979
SABLE: A Tool for Generating Structured, Multi-Level Simulations
SABLE (Structure And Behavior Linking Environment) is a system currently being developed at Stanford to support structured, multi… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)