61 search results - page 4 / 13 » Generalization of specialized on-the-fly composition |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
CORR
2012
Springer
12 years 5 months ago
2012
Springer
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...
SIGSOFT
2002
ACM
14 years 10 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
MM
2005
ACM
14 years 3 months ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
IWMM
2011
Springer
13 years 15 days ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...