Sciweavers

4961 search results - page 145 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
ACL
2003
15 years 4 months ago
Deverbal Compound Noun Analysis Based on Lexical Conceptual Structure
This paper proposes a principled approach for analysis of semantic relations between constituents in compound nouns based on lexical semantic structure. One of the difficulties o...
Koichi Takeuchi, Kyo Kageura, Teruo Koyama
DM
2008
82views more  DM 2008»
15 years 3 months ago
2-Binary trees: Bijections and related issues
A 2-binary tree is a binary rooted tree whose root is colored black and the other vertices are either black or white. We present several bijections concerning different types of 2...
Nancy S. S. Gu, Nelson Y. Li, Toufik Mansour
ENTCS
2008
114views more  ENTCS 2008»
15 years 3 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
DAGM
2003
Springer
15 years 8 months ago
Pose Estimation of Cylindrical Fragments for Semi-automatic Bone Fracture Reduction
We present an approach for estimating the relative transformations between fragments of a broken cylindrical structure in 3d. To solve this problem, we first measure the orientatio...
Simon Winkelbach, Ralf Westphal, Thomas Gösli...
UTP
2010
15 years 27 days ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel