555 search results - page 68 / 111 » Decompositions of Grammar Constraints |
COMPUTING
2004
13 years 9 months ago
2004
In this paper a method for multiresolution deformation of planar piecewise linear curves that preserves the curve length is presented. In a wavelet based multiresolution editing f...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
GG
2008
Springer
13 years 11 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
COGSCI
2006
2006
Phonotactics and Articulatory Coordination Interact in Phonology: Evidence from Nonnative Production
13 years 9 months ago
A core area of phonology is the study of phonotactics, or how sounds are linearly combined. Recent cross-linguistic analyses have shown that the phonology determines not only phon...
ATS
2005
IEEE
14 years 3 months ago
2005
IEEE
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...