Sciweavers

4767 search results - page 67 / 954
» Structures for Abstract Rewriting
Sort
View
ICIP
2000
IEEE
14 years 10 months ago
Weighted Factorization
Factorization methods use linear subspace constraints to recover 3D rigid structure from 2D motion. Usually, these methods give equal weight to the contribution of each region (or...
Pedro M. Q. Aguiar, José M. F. Moura
EMNLP
2007
13 years 10 months ago
Large Margin Synchronous Generation and its Application to Sentence Compression
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...
Trevor Cohn, Mirella Lapata
CISIS
2010
IEEE
14 years 3 months ago
Gene Ontology Rewritten for Computing Gene Functional Similarity
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
Alessia Visconti, Francesca Cordero, Marco Botta, ...
SAS
2009
Springer
204views Formal Methods» more  SAS 2009»
14 years 9 months ago
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Kore...
Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
CALCO
2005
Springer
104views Mathematics» more  CALCO 2005»
14 years 2 months ago
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
Samson Abramsky