Sciweavers

4035 search results - page 246 / 807
» Useless Actions Are Useful
Sort
View
INTELLCOMM
2004
Springer
15 years 12 months ago
On Using WS-Policy, Ontology, and Rule Reasoning to Discover Web Services
This paper proposes an approach to behaviour-based discovery of Web Services by which business rules that govern service behaviour are described as a policy. The policy is represen...
Natenapa Sriharee, Twittie Senivongse, Kunal Verma...
ISKI
1994
15 years 10 months ago
Object-Oriented System Specification Using Defaults
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
Udo W. Lipeck, Stefan Brass
CIRA
2007
IEEE
158views Robotics» more  CIRA 2007»
15 years 10 months ago
Programming by Demonstration of Pick-and-Place Tasks for Industrial Manipulators using Task Primitives
This article presents an approach to Programming by Demonstration (PbD) to simplify programming of industrial manipulators. By using a set of task primitives for a known task type,...
Alexander Skoglund, Boyko Iliev, Bourhane Kadmiry,...
ECAI
2006
Springer
15 years 10 months ago
Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior
Abstract. We present a method to test a group of agents for (unwanted) emergent behavior by using techniques from learning of cooperative behavior. The general idea is to mimick us...
Jordan Kidney, Jörg Denzinger
FORMATS
2006
Springer
15 years 10 months ago
Model Checking Timed Automata with Priorities Using DBM Subtraction
In this paper we describe an extension of timed automata with priorities, and efficient algorithms to compute subtraction on DBMs (difference bounded matrices), needed in symbolic ...
Alexandre David, John Håkansson, Kim Guldstr...