12015 search results - page 169 / 2403 » Interactive Algorithms 2005 |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
AAMAS
2005
Springer
13 years 10 months ago
2005
Springer
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
CG
2005
Springer
13 years 10 months ago
2005
Springer
We present a simple technique to improve the perception of an object's shape. Bump mapping is well known in the computer graphics community for providing the impression of sm...
JCB
2006
13 years 10 months ago
2006
Protein
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— We are interested in transferring control policies for arbitrary tasks from a human to a robot. Using interactive demonstration via teloperation as our transfer scenario, we ca...