3379 search results - page 461 / 676 » Combinators for Interaction Nets |
158
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
203
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We describe a simple technique for editing captured or keyframed animation based on warping of the motion parameter curves. The animator interactively defines a set of keyframe-l...
165
click to vote
TABLEAUX
1995
Springer
15 years 10 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
165
click to vote
COORDINATION
2010
Springer
15 years 10 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
168
click to vote
SGP
2004
15 years 9 months ago
2004
We present a method for parameterizing irregularly triangulated input models over polyhedral domains with quadrilateral faces. A combination of center-based clustering techniques ...