384 search results - page 35 / 77 » On the Semantics of Markov Automata |
149
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
102
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
131
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Visual vocabulary serves as a fundamental component in many computer vision tasks, such as object recognition, visual search, and scene modeling. While state-of-the-art approaches...
121
click to vote
STOC
2007
ACM
16 years 2 months ago
2007
ACM
Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomial with p...
119
click to vote
COLING
2008
15 years 3 months ago
2008
We propose a hybrid generative/discriminative framework for semantic parsing which combines the hidden vector state (HVS) model and the hidden Markov support vector machines (HMSV...