378 search results - page 30 / 76 » Formalizing Spider Diagrams |
164
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
152
click to vote
AAAI
2011
14 years 6 months ago
2011
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
215
click to vote
STORYTELLING
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
155
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
159
click to vote
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...