Sciweavers

2436 search results - page 205 / 488
» Comonadic Notions of Computation
Sort
View
AIPS
2006
15 years 6 months ago
Scalable Planning for Distributed Stream Processing Systems
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
Anton Riabov, Zhen Liu
EJC
2003
15 years 6 months ago
On Modeling Conceptual and Narrative Structure of Fairytales
We describe here our ongoing research on modeling conceptual and narrative structure of fairytales by a computer system. In this paper we focus on the variations of fairytales base...
Shinya Kawakami, Yoko Sato, Masaki Nakagawa, Bipin...
IJCAI
1993
15 years 6 months ago
Anytime Sensing Planning and Action: A Practical Model for Robot Control
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
Shlomo Zilberstein, Stuart J. Russell
EUROPAR
2010
Springer
15 years 5 months ago
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
Roberto Baldoni, Silvia Bonomi, Michel Raynal
GG
2008
Springer
15 years 5 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...