Search Sciweavers | Sciweavers

31387 search results - page 193 / 6278

» Abstracting abstract machines

156

click to vote

CALCO
2005
Springer

104views Mathematics» more CALCO 2005»

Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories

16 years 3 days ago

Download www.comlab.ox.ac.uk

Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...

Samson Abramsky

claim paper

Read More »

143

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Predicate Abstraction via Symbolic Decision Procedures

16 years 3 days ago

Download research.microsoft.com

Shuvendu K. Lahiri, Thomas Ball, Byron Cook

claim paper

Read More »

121

click to vote

CP
2005
Springer

110views Artificial Intelligence» more CP 2005»

Methods to Learn Abstract Scheduling Models

16 years 3 days ago

Download lia.deis.unibo.it

Tom Carchrae, J. Christopher Beck, Eugene C. Freud...

claim paper

Read More »

128

click to vote

DIGRA
2005
Springer

122views Computer Graphics» more DIGRA 2005»

Abstract of Dynamic Range: When Game Design and Narratives Unite

16 years 3 days ago

Download www.digra.org

Dominic Arsenault

claim paper

Read More »

111

click to vote

DILS
2005
Springer

108views Life Sciences» more DILS 2005»

Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers