3001 search results - page 240 / 601 » Recursive type generativity |
171
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
Chaotic attractors generated by the iteration of polynomial functions with cyclic symmetry have been the subject of recent study. A new formulation is investigated which generates ...
165
click to vote
MIG
2010
Springer
15 years 4 months ago
2010
Springer
This paper explores the many uses of angular momentum regulation and its role in the synthesis of coordinated motion generated with physically based characters. Previous investigat...
148
click to vote
CEC
2007
IEEE
16 years 25 days ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
155
click to vote
COLING
1996
15 years 7 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
277
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...