Sciweavers

3718 search results - page 375 / 744
» Programming by Integration in Robotics
Sort
View
AML
2007
77views more  AML 2007»
15 years 7 months ago
Complex analysis in subsystems of second order arithmetic
Abstract. This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in...
Keita Yokoyama
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
16 years 13 days ago
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring
— Security is emerging as an important concern in embedded system design. The security of embedded systems is often compromised due to vulnerabilities in “trusted” software t...
Divya Arora, Srivaths Ravi, Anand Raghunathan, Nir...
ICAS
2009
IEEE
142views Robotics» more  ICAS 2009»
16 years 1 months ago
Semantic Approach to Dynamic Coordination in Autonomous Systems
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
Artem Katasonov, Vagan Y. Terziyan
IFIP
2001
Springer
15 years 11 months ago
Semiotics and Intelligent Control
The overall purpose of this paper is to demonstrate the relevance of semiotics concepts to the analysis of intelligent control systems. Semiotics has only a minor impact on resear...
Morten Lind
ICRA
1993
IEEE
118views Robotics» more  ICRA 1993»
15 years 11 months ago
Mechanical Computation for Passive Force Control
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
Ambarish Goswami, Michael A. Peshkin