2098 search results - page 112 / 420 » Syntactic Topic Models |
ENTCS
2007
13 years 8 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...
LREC
2008
13 years 10 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...
ICSE
1987
IEEE-ACM
14 years 10 days 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...
WSC
2001
13 years 10 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...
SOFSEM
2009
Springer
14 years 5 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...