Sciweavers

1335 search results - page 218 / 267
» Exploration of the Robustness of Plans
Sort
View
CISIS
2010
IEEE
15 years 9 months ago
A Pattern-Based Coordination and Test Framework for Multi-Agent Simulation of Production Automation Systems
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
Thomas Moser, Munir Merdan, Stefan Biffl
AAAI
2008
15 years 8 months ago
Feature Selection for Activity Recognition in Multi-Robot Domains
In multi-robot settings, activity recognition allows a robot to respond intelligently to the other robots in its environment. Conditional random fields are temporal models that ar...
Douglas L. Vail, Manuela M. Veloso
USENIX
2008
15 years 8 months ago
Perspectives:  Improving SSH-style Host Authentication with Multi-Path Probing
The popularity of "Trust-on-first-use" (Tofu) authentication, used by SSH and HTTPS with self-signed certificates, demonstrates significant demand for host authenticatio...
Dan Wendlandt, David G. Andersen, Adrian Perrig
WSC
2008
15 years 8 months ago
Who's your Tiger? Using simulation to optimize the lineup of the Detroit Tigers offense
As part of an undergraduate engineering class project, a simulation of the Detroit Tigers offense was created to explore potential changes that would increase number of wins. More...
Jared Davis, Barbara Fordyce, James Cicala, Matthe...
CCS
2008
ACM
15 years 8 months ago
VEP: a virtual machine for extended proof-carrying code
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
Heidar Pirzadeh, Danny Dubé