Search Sciweavers | Sciweavers

8512 search results - page 89 / 1703

» Computing Theory With Relevance

105

click to vote

IPPS
2006
IEEE

87views Distributed And Parallel Com...» more IPPS 2006»

A general data dependence analysis to nested loop using integer interval theory

15 years 10 months ago

Download www.cecs.uci.edu

Jing Zhou, Guosun Zeng

claim paper

Read More »

173

click to vote

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

15 years 9 months ago

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

81views Applied Computing» more BIRTHDAY 2005»

On the Proof Theory of the Existence Predicate

15 years 9 months ago

Download www.phil.uu.nl

Matthias Baaz, Rosalie Iemhoff

claim paper

Read More »

Voted

BIRTHDAY
2005
Springer

93views Applied Computing» more BIRTHDAY 2005»

Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem

15 years 9 months ago

Download hal.archives-ouvertes.fr

Paul-André Melliès

claim paper

Read More »

click to vote

DIGRA
2005
Springer

96views Computer Graphics» more DIGRA 2005»

Theory Wars: An Argument Against Arguments in the so-called Ludology/Narratology Debate

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers