1870 search results - page 39 / 374 » Abstract And-Parallel Machines |
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
ML
2002
ACM
13 years 7 months ago
2002
ACM
Abstract. The problemof state abstractionis of centralimportancein optimalcontrol,reinforcement learning and Markov decision processes. This paper studies the case of variable reso...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This paper reports student interaction patterns and self-reported results of using Twitter microblogging environment. The study employs longitudinal probabilistic social ...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present basic concepts and an outlook on current approaches and techniques of personal learning environments to point out their demands, focussing on recommendations i...
ICASSP
2009
IEEE
13 years 5 months ago
2009
IEEE
In an attempt to overcome problems associated with articulatory limitations and generative models, this work considers the use of phonological features in discriminative models fo...