Sciweavers

7457 search results - page 140 / 1492
» The Dynamics of Computing Agent Systems
Sort
View
KR
2010
Springer
15 years 9 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
ATAL
2007
Springer
15 years 10 months ago
A Dynamic Coordination Mechanism Using Adjustable Autonomy
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
Bob van der Vecht, Frank Dignum, John-Jules Ch. Me...
TSMC
2008
113views more  TSMC 2008»
15 years 4 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CVPR
2009
IEEE
16 years 11 months ago
View-Invariant Dynamic Texture Recognition using a Bag of Dynamical Systems
In this paper, we consider the problem of categorizing videos of dynamic textures under varying view-point. We propose to model each video with a collection of Linear Dynamics S...
Avinash Ravichandran, René Vidal, Rizwan Ch...