Sciweavers

2286 search results - page 203 / 458
» Algorithms for Categorical Equivalence
Sort
View
WSCG
2004
106views more  WSCG 2004»
15 years 8 months ago
Recognition of Occluded Objects Using Curvature
New approaches of object representation reliable for partially occluded objects recognition are introduced in this article. Objects are represented by their boundaries, which are ...
Filip Krolupper
ACL
1990
15 years 7 months ago
Zero Morphemes in Unification-Based Combinatory Categorial Grammar
In this paper, we report on our use of zero morphemes in Unification-Based Combinatory Categorial Grammar. After illustrating the benefits of this approach with several examples, ...
Chinatsu Aone, Kent Wittenburg
COLING
1990
15 years 7 months ago
Generating from a Deep Structure
: 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é
MVA
1990
15 years 7 months ago
Two Systems for Converting Raster Data to Numerical Control Data
This paper describes two systems constructed for the purpose of convertingpaper and filmdocumentstotheir numerical control or digital equivalent. One retools printing wiring board...
Robert H. Thibadeau, Dale M. McNulty
CSL
2010
Springer
15 years 7 months ago
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
Yijia Chen, Jörg Flum