1993 search results - page 113 / 399 » On Action Theory Change |
84
Voted
CORR
2004
Springer
15 years 13 days ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
78
Voted
ETS
2002
IEEE
15 years 12 days ago
2002
IEEE
This study describes the use of technology to enhance an experiential adult learning process, which occurred in a participatory organizational climate assessment. In this case, co...
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
IJCAI
1989
15 years 1 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
109
Voted
ENTCS
2002
15 years 12 days ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...