Sciweavers

6192 search results - page 341 / 1239
» Structure benefits all
Sort
View
EACL
1989
ACL Anthology
15 years 8 months ago
Lambek Theorem Proving And Feature Unification
CT Feature Unification can be integrated with Lambek Theorem Proving in a simple and straightforward way. Two principles determine all distribution of features in LTP. It is not ne...
Erik-Jan van der Linden
COMBINATORICA
2006
125views more  COMBINATORICA 2006»
15 years 7 months ago
Coloring Subgraphs of the Rado Graph
Given a universal binary countable homogeneous structure U and n , there is a partition of the induced n-element substructures of U into finitely many classes so that for any par...
Norbert W. Sauer
DAM
2007
82views more  DAM 2007»
15 years 7 months ago
Every toroidal graph without adjacent triangles is (4, 1)*-choosable
In this paper, a structural theorem about toroidal graphs is given that strengthens a result of Borodin on plane graphs. As a consequence, it is proved that every toroidal graph w...
Baogang Xu, Haihui Zhang
JDA
2006
106views more  JDA 2006»
15 years 7 months ago
An optimal algorithm to generate tilings
We produce an algorithm that is optimal with respect to both space and execution time to generate all the lozenge (or domino) tilings of a hole-free, general-shape domain given as...
Sébastien Desreux, Eric Rémila
JIRS
2007
127views more  JIRS 2007»
15 years 7 months ago
General Solution for the Dynamic Modeling of Parallel Robots
In this paper, we present a general method to calculate the inverse and direct dynamic models of parallel robots. The models are expressed in a closed form by a single equation in ...
Wisama Khalil, Ouarda Ibrahim