1938 search results - page 288 / 388 » Interactive Protein Manipulation |
IJCAI
1997
13 years 10 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
AIPS
1994
13 years 10 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
GRAPHICSINTERFACE
1996
13 years 10 months ago
1996
An interactive system for designing curved surfaces is proposed which is based on direct manipulation of a single-view shaded image of this surface. Apart from functions like carv...
AVI
2008
13 years 10 months ago
2008
In many interactive scenarios, the fast recognition and localization of crucial information is very important to effectively perform a task. However, in information visualization...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Real time combination of nanosensors and nanoactuators with virtual reality environment and multisensorial interfaces enable us to efficiently act and perceive at nanoscale. Advan...