Sciweavers

1134 search results - page 201 / 227
» Distributed Proving in Access-Control Systems
Sort
View
ICRA
2002
IEEE
138views Robotics» more  ICRA 2002»
15 years 4 months ago
A Mobile Manipulator for Installation and Removal of Aircraft Warning Spheres on Aerial Power Transmission Lines
A semi-autonomous robot for autonomous installation and removal of aircraft warning spheres on overhead wires of electric power transmission lines is described here. Hybrid system...
Mario Fernando Montenegro Campos, Guilherme A. S. ...
VRML
2000
ACM
15 years 4 months ago
3D gadgets for business process visualization - a case study
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
Bastiaan Schönhage, Alex van Ballegooij, Anto...
ATAL
2006
Springer
15 years 3 months ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...
ATAL
2008
Springer
15 years 1 months ago
Convergence at prominent agents: a non-flat synchronization model of situated multi-agents
This paper presents a novel non-flat synchronization model where the synchronization capacity of each agent is different regarding its social rank and strategy dominance. In the p...
Jiuchuan Jiang, Yichuan Jiang
NIPS
2007
15 years 1 months ago
Stability Bounds for Non-i.i.d. Processes
The notion of algorithmic stability has been used effectively in the past to derive tight generalization bounds. A key advantage of these bounds is that they are designed for spec...
Mehryar Mohri, Afshin Rostamizadeh