644 search results - page 53 / 129 » Precedence Automata and Languages |
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In probabilistic grammatical inference, a usual goal is to infer a good approximation of an unknown distribution P called a stochastic language. The estimate of P stands in some cl...
175
click to vote
ICFEM
2009
Springer
16 years 22 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
166
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
198
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
180
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...