10910 search results - page 17 / 2182 » Input modeling using a computer algebra system |
NPL
2007
14 years 9 months ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
Most methods for visual control of robots formulate the robot command in joint or Cartesian space. To move the robot these commands are remapped to motor torques usually requiring...
DAGSTUHL
2006
14 years 11 months ago
2006
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
CANDC
2007
ACM
14 years 11 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
104
click to vote
CL
2007
Springer
14 years 9 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...