1938 search results - page 170 / 388 » Interactive Protein Manipulation |
147
click to vote
IUI
2000
ACM
15 years 10 months ago
2000
ACM
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
142
click to vote
INFOVIS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes a new technique to visualize dependencies among cells in a spreadsheet. In this way, the system firstly visualizes a spreadsheet on a plane in threedimensional...
195
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Morse theory shows how the topology of an implicit surface is affected by its function’s critical points, whereas catastrophe theory shows how these critical points behave as th...
156
click to vote
ISER
1997
Springer
15 years 10 months ago
1997
Springer
We describe an integrated system for programming part-mating and contact tasks using simulation. A principal goal of this work is to make robotic programming easy and intuitive fo...
163
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...