87 search results - page 15 / 18 » GSOS for Probabilistic Transition Systems |
WISEC
2010
ACM
15 years 5 months ago
2010
ACM
Computing environments on cellphones, especially smartphones, are becoming more open and general-purpose, thus they also become attractive targets of malware. Cellphone malware no...
108
click to vote
PERVASIVE
2011
Springer
14 years 24 days ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
117
click to vote
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
JOLLI
2006
14 years 10 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
This paper describes a real-time music-arranging system that reacts to immediate affective cues from a listener. Data was collected on the potential of certain musical dimensions ...