745 search results - page 19 / 149 » A General Framework for Cobot Control |
134
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
127
click to vote
AGI
2011
14 years 8 months ago
2011
Abstract. Perfectly rational decision-makers maximize expected utility, but crucially ignore the resource costs incurred when determining optimal actions. Here we employ an axiomat...
122
click to vote
IDMS
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents an architecture for QoS-aware middleware platforms. We present a general framework for control, and specialise this framework for QoS provisioning in the middle...
164
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
109
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...