Sciweavers

282 search results - page 35 / 57
» Reactive Environments
Sort
View
78
Voted
GG
2008
Springer
14 years 11 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...
74
Voted
EAAI
2006
78views more  EAAI 2006»
14 years 10 months ago
Roboskeleton: An architecture for coordinating robot soccer agents
SkeletonAgent is an agent framework whose main feature is to integrate different artificial intelligent skills, like planning or learning, to obtain new behaviours in a multi-agen...
David Camacho, Fernando Fernández, Miguel A...
106
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
84
Voted
GRAPHITE
2006
ACM
15 years 4 months ago
Individualized reaction movements for virtual humans
Virtual Humans creation aims to provide virtual characters with realistic behavior, which implies endowing them with autonomy in an inhabited virtual environment. Autonomous behav...
Alejandra García-Rojas, Frédé...
DSRT
2003
IEEE
15 years 3 months ago
Interest Management in Agent-Based Distributed Simulations
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
Lihua Wang, Stephen John Turner, Fang Wang