Search Sciweavers | Sciweavers

85

LOGCOM
2007

72views more LOGCOM 2007»

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

14 years 9 months ago

We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...

Rajeev Goré, Alwen Tiu

claim paper

Read More »

91

Voted

DSSCV
2005
Springer

146views Computer Vision» more DSSCV 2005»

Deep Structure from a Geometric Point of View

15 years 3 months ago

Download www.mate.tue.nl

The geometry of “empty” scale space is investigated. By virtue of the proposed geometric axioms the generating PDE, the linear isotropic heat equation, can be presented in cova...

Luc Florack

claim paper

Read More »

91

Voted

DSSCV
2005
Springer

172views Computer Vision» more DSSCV 2005»

Deep Structure of Images in Populations Via Geometric Models in Populations

15 years 3 months ago

Download midag.cs.unc.edu

We face the question of how to produce a scale space of image intensities relative to a scale space of objects or other characteristic image regions filling up the image space, whe...

Stephen M. Pizer, Ja-Yeon Jeong, Robert E. Broadhu...

claim paper

Read More »

44

click to vote

COLING
1990

63views Computational Linguistics» more COLING 1990»

Generating from a Deep Structure

14 years 10 months ago

Download acl.ldc.upenn.edu

: Noncanonical semantic representations are representations which cannot be derived by some grammar G although they are semanticMly equivalent to representations which can be deriv...

Claire Gardent, Agnès Plainfossé

claim paper

Read More »

53

click to vote

COLING
2008

120views Computational Linguistics» more COLING 2008»

Wide-Coverage Deep Statistical Parsing Using Automatic Dependency Structure Annotation

14 years 9 months ago

Download www.stefanriezler.com

Aoife Cahill, Michael Burke, Ruth O'Donovan, Stefa...

claim paper