2098 search results - page 112 / 420 » Syntactic Topic Models |
ENTCS
2007
15 years 2 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
126
Voted
LREC
2008
15 years 3 months ago
2008
Language models used in current automatic speech recognition systems are trained on general-purpose corpora and are therefore not relevant to transcribe spoken documents dealing w...
103
Voted
ICSE
1987
IEEE-ACM
15 years 5 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...
100
Voted
WSC
2001
15 years 3 months ago
2001
The Municipality of Rome plans to introduce a taxi-bus system as a night service. A micro-simulation model was developed to estimate the needed information. Two major topics regar...
95
Voted
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...