Angelic Layer

Known as: Icchan go Boom, エンジェリックレイヤー, Battle Dolls Angelic Layer 
Angelic Layer (Japanese: エンジェリックレイヤー Hepburn: Enjerikku Reiyā) is a manga series released by Clamp. The manga is published in Japan by Kadokawa… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
We propose Nopol, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach… (More)
  • figure 3
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2012
Highly Cited
2012
The software toolchain includes static analyzers to check assertions about programs; optimizing compilers to translate programs… (More)
Is this relevant?
2008
2008
High-level actions (HLAs) are essential tools for coping with the large search spaces and long decision horizons encountered in… (More)
  • table 1
Is this relevant?
2007
2007
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single… (More)
Is this relevant?
Highly Cited
2004
2000
2000
We consider the notion of a contract that governs the behavior of a collection of agents. In particular, we study the question of… (More)
Is this relevant?
1999
1999
The unifying ground for interactive programs and component-based systems is the interaction between a user and the system or… (More)
Is this relevant?
1992
1992
The integration of functional and logic programming languages has been a topic of great interest in the last decade. Many… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
A lattice theoretic framework for the calculus of program reenement is presented. Speciications and program statements are… (More)
Is this relevant?