Sciweavers

2632 search results - page 285 / 527
» Predictive Representations of State
Sort
View
SAS
1997
Springer
162views Formal Methods» more  SAS 1997»
15 years 10 months ago
Exact Flow Analysis
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
Christian Mossin
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 years 9 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta
ACL
2008
15 years 8 months ago
Robust Dialog Management with N-Best Hypotheses Using Dialog Examples and Agenda
This work presents an agenda-based approach to improve the robustness of the dialog manager by using dialog examples and n-best recognition hypotheses. This approach supports n-be...
Cheongjae Lee, Sangkeun Jung, Gary Geunbae Lee
EMNLP
2008
15 years 8 months ago
Automatic Inference of the Temporal Location of Situations in Chinese Text
Chinese is a language that does not have morphological tense markers that provide explicit grammaticalization of the temporal location of situations (events or states). However, i...
Nianwen Xue
GEOINFO
2007
15 years 8 months ago
Model Selection for a Class of Spatio-temporal Models for Areal Data
Abstract. We present a method to perform model selection based on predictive density in a class of spatio-temporal dynamic generalized linear models for areal data. These models as...
Juan C. Vivar, Marco A. R. Ferreira