Sciweavers

463 search results - page 71 / 93
» A framework for learning coordinated behavior
Sort
View
127
Voted
ATAL
2007
Springer
15 years 6 months 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
128
Voted
FOSSACS
2009
Springer
15 years 6 months 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...
130
Voted
CF
2005
ACM
15 years 4 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...
121
Voted
HT
2006
ACM
15 years 8 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
138
Voted
ACMIDC
2010
15 years 6 months 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...