Search Sciweavers | Sciweavers

979 search results - page 13 / 196

» Footprints in Local Reasoning

click to vote

GBRPR
2007
Springer

95views Pattern Recognition» more GBRPR 2007»

Local Reasoning in Fuzzy Attribute Graphs for Optimizing Sequential Segmentation

14 years 1 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 1 months ago

Download research.microsoft.com

Josh Berdine

claim paper

Read More »

click to vote

PPDP
1999
Springer

102views Programming Languages» more PPDP 1999»

Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices

13 years 11 months ago

Download www.complang.tuwien.ac.at

We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...

Ulrich Neumerkel, Frédéric Mesnard

claim paper

Read More »

click to vote

DAGSTUHL
2007

120views Software Engineering» more DAGSTUHL 2007»

Local Theory Extensions, Hierarchical Reasoning and Applications to Verification

13 years 9 months ago

Download drops.dagstuhl.de

Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...

claim paper

Read More »