1750 search results - page 118 / 350 » Formal multiple-bernoulli models for language modeling |
160
click to vote
FORTE
2004
15 years 7 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
123
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
152
click to vote
FMSD
2007
15 years 6 months ago
2007
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
153
click to vote
FASE
2010
Springer
16 years 16 days ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
153
click to vote
MASCOTS
2003
15 years 7 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...