Sciweavers

377 search results - page 48 / 76
» Towards Alternative Approaches to Reasoning About Goals
Sort
View
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
14 years 5 months ago
Interactive segmentation for manipulation in unstructured environments
Abstract— To perform successful manipulation, robots depend on information about objects in their environment. In unstructured environments, such information cannot be given to t...
Jacqueline Kenney, Thomas Buckley, Oliver Brock
POPL
2009
ACM
14 years 11 months ago
Formal certification of code-based cryptographic proofs
As cryptographic proofs have become essentially unverifiable, cryptographers have argued in favor of developing techniques that help tame the complexity of their proofs. Game-base...
Benjamin Grégoire, Gilles Barthe, Santiago ...
SAC
2008
ACM
13 years 9 months ago
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco
JOT
2008
445views more  JOT 2008»
13 years 10 months ago
From The Business Motivation Model (BMM) To Service Oriented Architecture (SOA)
The purpose of this article is to provide a brief insight about how to link your business vision, goals, strategies, tactics as well as business rules according to BMM, then bridg...
Birol Berkem
ARGMAS
2008
Springer
14 years 20 days ago
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
Katie Atkinson, Trevor J. M. Bench-Capon