1463 search results - page 192 / 293 » The State of the Art in Language Modeling |
152
click to vote
ECML
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Robustly estimating the state-transition probabilities of highorder Markov processes is an essential task in many applications such as natural language modeling or protei...
169
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
166
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
192
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
204
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...