Sciweavers

15792 search results - page 59 / 3159

» Computational Abstraction Steps

69

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

15 years 5 months ago

Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar

Download www.complang.tuwien.ac.at

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

69

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

15 years 5 months ago

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

78

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

15 years 4 months ago

Calibrating Computational Feasibility by Abstraction Rank

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

53

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

Revising the evolutionary computation abstraction: minimal criteria novelty search

15 years 4 months ago

Revising the evolutionary computation abstraction: minimal criteria novelty search

Download eplex.cs.ucf.edu

Joel Lehman, Kenneth O. Stanley

claim paper

Read More »

57

MSE
2000
IEEE

75views Hardware» more MSE 2000»

Web-based Multimedia Development Techniques for the Instruction of Abstract Concepts in Computer Science

15 years 4 months ago

Web-based Multimedia Development Techniques for the Instruction of Abstract Concepts in Computer Science

Download bit.csc.lsu.edu

S. Sitharama Iyengar, Brian E. Pangburn, Robert C....

claim paper

Read More »

« Prev « First page 59 / 3159 Last » Next »