5592 search results - page 407 / 1119 » On Random Betweenness Constraints |
166
Voted
KONVENS
1992
15 years 10 months ago
1992
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
170
click to vote
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
188
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
178
click to vote
FGR
2004
IEEE
15 years 10 months ago
2004
IEEE
We present an algorithm for automatic inference of human upper body motion. A graph model is proposed for inferring human motion, and motion inference is posed as a mapping proble...
178
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Application domain specific DSP cores are becoming increasingly popular due to their advantageous trade–off between flexibility and cost. However, existing code generation metho...