4460 search results - page 292 / 892 » Formal methods for interactive systems |
159
click to vote
RIVF
2003
15 years 8 months ago
2003
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
171
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Many location-aware applications rely on data from fine-grained location systems. During deployment such systems require a survey, specifying the locations of their envi...
198
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
163
click to vote
PRICAI
2004
Springer
16 years 2 hour ago
2004
Springer
We propose a methodology for representing artificial creatures like 3D flowers. Directed graph and Lindenmayer system (L-system) are commonly involved in AI-based creativity resear...
187
click to vote
ICAT
2003
IEEE
15 years 12 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...