3001 search results - page 76 / 601 » Recursive type generativity |
144
click to vote
VLSID
2007
IEEE
16 years 8 days ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
103
click to vote
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
FORTE
2003
15 years 1 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
JMMA
2010
14 years 6 months ago
2010
An original algorithm is presented that generates both restricted integer compositions and restricted integer partitions that can be constrained simultaneously by a) upper and low...