Sciweavers

1724 search results - page 150 / 345
» Abstract Interpreters for Free
Sort
View
STACS
2005
Springer
15 years 12 months ago
Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
Kousha Etessami, Mihalis Yannakakis
ASPDAC
2004
ACM
118views Hardware» more  ASPDAC 2004»
15 years 12 months ago
Minimization of memory size for heterogeneous MDDs
Abstract— In this paper, we propose exact and heuristic algorithms for minimizing the memory size for heterogeneous Multivalued Decision Diagrams (MDDs). In a heterogeneous MDD, ...
Shinobu Nagayama, Tsutomu Sasao
EUC
2004
Springer
15 years 12 months ago
A Session Mobility Scheme for Seamless VOD Service in Ubiquitous Environments
Abstract. In ubiquitous environments, a user is free to move one space to another. Thus, VOD applications should be able to provide seamless video delivery to a mobile user. In thi...
Tae-uk Choi, Ki-Dong Chung
ICGI
2004
Springer
15 years 12 months ago
Learnability of Pregroup Grammars
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...
Denis Béchet, Annie Foret, Isabelle Tellier
MICAI
2004
Springer
15 years 12 months ago
Don't You Escape! I'll Tell You My Story
Abstract. This paper makes two contributions to increasing the engagement of users in virtual heritage environments by adding virtual living creatures. This work is carried out on ...
Jesús Ibáñez, Carlos Delgado-...