Sciweavers

575 search results - page 94 / 115
» Transition systems for designing and reasoning about norms
Sort
View
CHI
2004
ACM
15 years 11 months ago
If not now, when?: the effects of interruption at different moments within task execution
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
Piotr D. Adamczyk, Brian P. Bailey
CCS
2010
ACM
15 years 6 months ago
A logic for authorization provenance
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
IPPS
2007
IEEE
15 years 5 months ago
MultiEdge: An Edge-based Communication Subsystem for Scalable Commodity Servers
At the core of contemporary high performance computer systems is the communication infrastructure. For this reason, there has been a lot of work on providing low-latency, high-ban...
Sven Karlsson, Stavros Passas, George Kotsis, Ange...
ROMAN
2007
IEEE
111views Robotics» more  ROMAN 2007»
15 years 5 months ago
Understanding Rules in Human-Robot Instructions
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
Joerg C. Wolf, Guido Bugmann
CRV
2005
IEEE
198views Robotics» more  CRV 2005»
15 years 5 months ago
Analysis of Player Actions in Selected Hockey Game Situations
We present a proof of concept system to represent and reason about hockey play. The system takes as input player motion trajectory data tracked from game video and supported by kn...
Fahong Li, Robert J. Woodham