Sciweavers

502 search results - page 77 / 101
» Development and Application of a Formal Agent Framework
Sort
View
ICDE
2008
IEEE
122views Database» more  ICDE 2008»
16 years 5 months ago
On Signatures for Communication Graphs
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...
Graham Cormode, Flip Korn, S. Muthukrishnan, Yihua...
CEEMAS
2001
Springer
15 years 8 months ago
UML for Behavior-Oriented Multi-agent Simulations
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
Christoph Oechslein, Franziska Klügl, Rainer ...
ISPW
2005
IEEE
15 years 9 months ago
Automatically Analyzing Software Processes: Experience Report
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Os...
148
Voted
AGI
2011
14 years 7 months ago
Coherence Progress: A Measure of Interestingness Based on Fixed Compressors
The ability to identify novel patterns in observations is an essential aspect of intelligence. In a computational framework, the notion of a pattern can be formalized as a program ...
Tom Schaul, Leo Pape, Tobias Glasmachers, Vincent ...
136
Voted
DSVIS
2005
Springer
15 years 9 months ago
Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
Francisco Montero, Víctor López-Jaqu...