Sciweavers

463 search results - page 71 / 93
» A framework for learning coordinated behavior
Sort
View
ATAL
2007
Springer
14 years 13 days ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
FOSSACS
2009
Springer
14 years 9 days ago
On Omega-Languages Defined by Mean-Payoff Conditions
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weis...
CF
2005
ACM
13 years 10 months ago
Owl: next generation system monitoring
As microarchitectural and system complexity grows, comprehending system behavior becomes increasingly difficult, and often requires obtaining and sifting through voluminous event ...
Martin Schulz, Brian S. White, Sally A. McKee, Hsi...
HT
2006
ACM
14 years 2 months ago
Just-in-time recovery of missing web pages
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
Terry L. Harrison, Michael L. Nelson
ACMIDC
2010
14 years 11 days ago
Teaching social competence: in search of design patterns
COSPATIAL is a multi-disciplinary project that is using collaborative virtual reality and tabletop devices for training social competence within the theoretical framework of Cogni...
Massimo Zancanaro, Eynat Gal, Sarah Parsons, Patri...