Sciweavers

3529 search results - page 498 / 706
» A Model for Interaction of Agents and Environments
Sort
View
CIMCA
2006
IEEE
16 years 18 days ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
15 years 5 months ago
Generalized model learning for Reinforcement Learning on a humanoid robot
— Reinforcement learning (RL) algorithms have long been promising methods for enabling an autonomous robot to improve its behavior on sequential decision-making tasks. The obviou...
Todd Hester, Michael Quinlan, Peter Stone
IEEEARES
2006
IEEE
16 years 17 days ago
Towards an Integrated Conceptual Model of Security and Dependability
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
Erland Jonsson
CSFW
2007
IEEE
16 years 26 days ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
HICSS
2003
IEEE
141views Biometrics» more  HICSS 2003»
15 years 11 months ago
Developing a Value-Based Decision-Making Model for Inquiring Organizations
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...
Dianne Hall, Yi Guo, Robert A. Davis