Sciweavers

898 search results - page 154 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
AAAI
2006
14 years 9 days ago
From Centralized to Distributed Selective Overhearing
Overhearing is an approach for monitoring open, distributed, multi-agent systems by listening to the routine communications taking place within them. Previous investigations of ov...
Gery Gutnik, Gal A. Kaminka
DAGSTUHL
2003
14 years 8 days ago
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
R. Geoff Dromey
GRAPHICSINTERFACE
2001
14 years 8 days ago
Truly Selective Refinement of Progressive Meshes
This paper presents a novel selective refinement scheme of progressive meshes. In previous schemes, topology information in the neighborhood of a collapsed edge is stored in the a...
Junho Kim, Seungyong Lee
SODA
2004
ACM
94views Algorithms» more  SODA 2004»
14 years 7 days ago
Quantitative stochastic parity games
We study perfect-information stochastic parity games. These are two-player nonterminating games which are played on a graph with turn-based probabilistic transitions. A play resul...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
WOA
2004
14 years 7 days ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...