384 search results - page 25 / 77 » On the Semantics of Markov Automata |
115
click to vote
SIGIR
2004
ACM
15 years 7 months ago
2004
ACM
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...
119
click to vote
SSPR
2004
Springer
15 years 7 months ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
113
Voted
DLT
2004
15 years 3 months ago
2004
Bottom-up tree series transducers (tst) over the semiring A are implemented with the help of bottom-up weighted tree automata (wta) over an extension of A. Therefore bottom-up D-w...
108
Voted
CC
2000
Springer
15 years 6 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
142
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...