Search Sciweavers | Sciweavers

17298 search results - page 67 / 3460

» Abstract computing machines

click to vote

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

14 years 3 months ago

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

click to vote

SCAM
2005
IEEE

59views Software Engineering» more SCAM 2005»

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

14 years 3 months ago

Download www.complang.tuwien.ac.at

Markus Schordan, Daniel J. Quinlan

claim paper

Read More »

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

14 years 3 months ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

14 years 2 months ago

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

click to vote

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

Revising the evolutionary computation abstraction: minimal criteria novelty search

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers