959 search results - page 90 / 192 » On the implementation of automatic differentiation tools |
117
Voted
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
We apply manipulation planning to computer animation. A new path planner is presented that automatically computes the collision-free trajectories for several cooperating arms toma...
126
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
122
Voted
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
131
Voted
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
124
Voted
CLUSTER
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a complete end-to-end framework to generate automatic message-passing code for tiled iteration spaces. It considers general parallelepiped tiling transformatio...