Search Sciweavers | Sciweavers

1129 search results - page 6 / 226

» Modular Ranking Abstraction

click to vote

WAW
2004
Springer

124views Algorithms» more WAW 2004»

Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)

14 years 25 days ago

Download www.di.unipi.it

ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa

Gianna M. Del Corso, Antonio Gulli, Francesco Roma...

claim paper

Read More »

click to vote

AI
2009
Springer

142views Artificial Intelligence» more AI 2009»

Classifying Biomedical Abstracts Using Committees of Classifiers and Collective Ranking Techniques

14 years 2 months ago

Download www.site.uottawa.ca

Alexandre Kouznetsov, Stan Matwin, Diana Inkpen, A...

claim paper

Read More »

click to vote

LICS
2002
IEEE

128views Automated Reasoning» more LICS 2002»

Calibrating Computational Feasibility by Abstraction Rank

14 years 12 days ago

Download www.cs.indiana.edu

Daniel Leivant

claim paper

Read More »

click to vote

ATVA
2006
Springer

79views Hardware» more ATVA 2006»

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

13 years 11 months ago

Download www.doc.ic.ac.uk

Harald Fecher, Michael Huth

claim paper

Read More »

click to vote

ESOP
2005
Springer

126views Programming Languages» more ESOP 2005»

Analysis of Modular Arithmetic

14 years 1 months ago

Download cs.uni-muenster.de

Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, aﬃne relation, interprocedural analysis

Markus Müller-Olm, Helmut Seidl

claim paper

Read More »

« Prev « First page 6 / 226 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers