9698 search results - page 303 / 1940 » models 2010 |
161
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
187
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
162
click to vote
INFORMATICALT
2010
15 years 5 months ago
2010
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
203
click to vote
NAACL
2010
15 years 4 months ago
2010
We propose the first unsupervised approach to the problem of modeling dialogue acts in an open domain. Trained on a corpus of noisy Twitter conversations, our method discovers dia...
188
Voted
BALT
2010
15 years 1 months ago
2010
Model-based approaches in the UML/MOF technological space and ontology-based approaches in the OWL technological space both support conceptual modeling using different kinds of rep...