Search Sciweavers | Sciweavers

940 search results - page 11 / 188

» Local rely-guarantee reasoning

click to vote

CAV
2009
Springer

127views Hardware» more CAV 2009»

Incremental Instance Generation in Local Reasoning

14 years 10 months ago

Download www.mpi-inf.mpg.de

Swen Jacobs

claim paper

Read More »

click to vote

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

14 years 10 months ago

Download www.itu.dk

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

claim paper

Read More »

click to vote

SAC
2009
ACM

95views Applied Computing» more SAC 2009»

Local reasoning for abstraction and sharing

14 years 4 months ago

Download www.cs.famaf.unc.edu.ar

Renato Cherini, Javier O. Blanco

claim paper

Read More »

click to vote

GBRPR
2007
Springer

95views Pattern Recognition» more GBRPR 2007»

Local Reasoning in Fuzzy Attribute Graphs for Optimizing Sequential Segmentation

14 years 4 months ago

Download perso.telecom-paristech.fr

Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...

Geoffroy Fouquier, Jamal Atif, Isabelle Bloch

claim paper

Read More »

click to vote

PPDP
2007
Springer

123views Programming Languages» more PPDP 2007»

Local reasoning about storable locks

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers