6018 search results - page 342 / 1204 » Factored Translation Models |
195
click to vote
APCCM
2009
15 years 8 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
168
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
205
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
We propose new methods to exploit contemporaneous text, such as on-line news articles, to improve language models for automatic speech recognition and other natural language proce...
165
click to vote
IJSYSC
2000
15 years 6 months ago
2000
This paper presents an algorithm for incorporating a priori knowledge into data-driven identification of dynamic fuzzy models of the Takagi-Sugeno type. Knowledge about the modell...
197
click to vote
CGF
2011
14 years 10 months ago
2011
In this paper, we present new solutions for the interactive modeling of city layouts that combine the power of procedural modeling with the flexibility of manual modeling. Proced...