Sciweavers

77016 search results - page 294 / 15404
» Modeling Modeling
Sort
View
CSL
2007
Springer
15 years 10 months ago
Lambda Theories of Effective Lambda Models
Abstract. A longstanding open problem is whether there exists a nonsyntactical model of the untyped -calculus whose theory is exactly the least -theory . In this paper we investiga...
Chantal Berline, Giulio Manzonetto, Antonino Salib...
ACL
2011
14 years 10 months ago
Enhancing Language Models in Statistical Machine Translation with Backward N-grams and Mutual Information Triggers
In this paper, with a belief that a language model that embraces a larger context provides better prediction ability, we present two extensions to standard n-gram language models ...
Deyi Xiong, Min Zhang, Haizhou Li
HICSS
1999
IEEE
112views Biometrics» more  HICSS 1999»
15 years 11 months ago
Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
Alba Cristina Magalhaes Alves de Melo
AAAI
2010
15 years 7 months ago
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
Michael Paul, Roxana Girju
STTT
2008
124views more  STTT 2008»
15 years 6 months ago
Protos2CPN: using colored Petri nets for configuring and testing business processes
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
Florian Gottschalk, Wil M. P. van der Aalst, Moniq...
« Prev « First page 294 / 15404 Last » Next »