Sciweavers

1993 search results - page 35 / 399
» On Action Theory Change
Sort
View
LOGCOM
1998
80views more  LOGCOM 1998»
14 years 11 months ago
Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus
The Situation Calculus is a logic of time and change in which there is a distinguished initial situation ¡£¢ and all other situations arise from the different sequences of acti...
Javier Pinto
FORTE
1997
15 years 1 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
ICRA
2008
IEEE
210views Robotics» more  ICRA 2008»
15 years 6 months ago
Toward designing a robot that learns actions from parental demonstrations
— How to teach actions to a robot as well as how a robot learns actions is an important issue to be discussed in designing robot learning systems. Inspired by human parentinfant ...
Yukie Nagai, Claudia Muhl, Katharina J. Rohlfing
SEE
2010
Springer
14 years 10 months ago
Can Instruction in Engineering Ethics Change Students' Feelings about Professional Responsibility?
How can a course on engineering ethics affect an undergraduate student’s feelings of responsibility about moral problems? In this study, three groups of students were interviewed...
Golnaz Hashemian, Michael C. Loui
TROB
2010
176views more  TROB 2010»
14 years 6 months ago
Modeling Deformations of General Parametric Shells Grasped by a Robot Hand
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
Jiang Tian, Yan-Bin Jia