Sciweavers

183 search results - page 9 / 37
» Metaprogramming Forced Moves
Sort
View
CAISE
2001
Springer
14 years 3 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
ACG
2009
Springer
14 years 5 months ago
Automated Discovery of Search-Extension Features
One of the main challenges with selective search extensions is designing effective move categories (features). This is a manual trial and error task, which requires both intuition...
Pálmi Skowronski, Yngvi Björnsson, Mar...
ICRA
2002
IEEE
83views Robotics» more  ICRA 2002»
14 years 3 months ago
Kinematic Constraints for Assisted Single-Arm Manipulation
Of several possible forms of human-robot collaborative manipulation, we focus on the case where the human and the robot jointlymanipulate a common load. In our formulation, the ro...
Tanya Tickel, David Hannon, Kevin M. Lynch, Michae...
WSC
2000
14 years 8 days ago
Simulation in a box: a generic reusable maintenance model
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...
Nancy Brown, Steve Powers
ROBIO
2006
IEEE
122views Robotics» more  ROBIO 2006»
14 years 5 months ago
Non-smooth 3D Modeling of a Snake Robot with External Obstacles
Abstract— In this paper we extend a non-smooth 3D mathematical model of a snake robot to also include external obstacles to enable obstacle aided locomotion. The model is based o...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...