Sciweavers

3032 search results - page 518 / 607
» Complexity of sequences and dynamical systems
Sort
View
FMOODS
2008
14 years 11 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
WICSA
2008
14 years 11 months ago
Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
Zhiming Chang, XinJun Mao, Zhichang Qi
GRAPHICSINTERFACE
2004
14 years 11 months ago
Interactive Image-Based Exploded View Diagrams
We present a system for creating interactive exploded view diagrams using 2D images as input. This imagebased approach enables us to directly support arbitrary rendering styles, e...
Wilmot Li, Maneesh Agrawala, David Salesin
ICAI
2004
14 years 11 months ago
Integrating Robotic Sensor and Effector Capabilities with Multi-agent Organizations
Robots possess many effectors and sensors of various capability. It is often difficult, not only to integrate these numerous capabilities, but also to organize them to accomplish ...
Eric T. Matson, Scott A. DeLoach
AIPS
2003
14 years 11 months ago
A Framework for Planning in Continuous-time Stochastic Domains
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
Håkan L. S. Younes, David J. Musliner, Reid ...