Search Sciweavers | Sciweavers

979 search results - page 6 / 196

» Footprints in Local Reasoning

click to vote

IJCV
2012

217views Computer Networks» more IJCV 2012»

Feature-Based Deformable Surface Detection with Self-Occlusion Reasoning

12 years 12 months ago

Download isit.u-clermont1.fr

Abstract This paper presents a method for detecting a textured deformed surface in an image. It uses (wide-baseline) point matches between a template and the input image. The main ...

Daniel Pizarro, Adrien Bartoli

claim paper

Read More »

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

15 years 3 months ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

click to vote

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

15 years 2 months ago

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 2 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

click to vote

GIS
2008
ACM

98views Automated Reasoning» more GIS 2008»

Location approximation for local search services using natural language hints

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers