Sciweavers

13913 search results - page 273 / 2783
» models 2007
Sort
View
ICANN
2007
Springer
16 years 1 months ago
A Two-Layer ICA-Like Model Estimated by Score Matching
Abstract. Capturing regularities in high-dimensional data is an important problem in machine learning and signal processing. Here we present a statistical model that learns a nonli...
Urs Köster, Aapo Hyvärinen
ACL
1994
15 years 8 months ago
Part-of-Speech Tagging using a Variable Memory Markov Model
Wepresent a new approachtodisambiguatingsyntactically ambiguous words in context, based on Variable Memory Markov (VMM) models. In contrast to xed-length Markovmodels,whichpredict...
Hinrich Schütze, Yoram Singer
FMOODS
2006
15 years 8 months ago
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata
Long-Running transactions consist of tasks which may be executed sequentially and in parallel, may contain sub-tasks, and may require to be completed before a deadline. These trans...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo ...
SERP
2004
15 years 8 months ago
Combining Model-Driven and Schema-Based Program Synthesis
We describe ongoing work which aims to extend the schema-based program synthesis paradigm with explicit models. In this context, schemas can be considered as model-to-model transf...
Ewen Denney, Jon Whittle
ASE
2004
117views more  ASE 2004»
15 years 7 months ago
Model Checking for Combined Logics with an Application to Mobile Systems
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
Massimo Franceschet, Angelo Montanari, Maarten de ...