Sciweavers

1346 search results - page 135 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
CL
2008
Springer
15 years 6 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
AAAI
1990
15 years 7 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
FAABS
2000
Springer
15 years 10 months ago
Modeling and Programming Devices and Web Agents
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
Sheila A. McIlraith
ICRA
2006
IEEE
90views Robotics» more  ICRA 2006»
16 years 17 days ago
Friction Compensation for a Force-feedback Telerobotic System
— This paper presents a model-based approach to cancel friction in the joints of the manipulators of a forcefeedback telerobotic system. Friction compensation can improve the tra...
Mohsen Mahvash, Allison M. Okamura
ICIP
2006
IEEE
16 years 8 months ago
An Attention Based Focus Control System
Whilst the physical mechanism used by the eye to accommodate has been known since the mid 19th century, there have been few suggestions as to the method by which the human visual ...
Robert Shilston, Fred Stentiford