Sciweavers

19130 search results - page 247 / 3826
» Modelling multi-path problems
Sort
View
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
IPL
2006
86views more  IPL 2006»
15 years 6 months ago
Mu-calculus path checking
We investigate the path model checking problem for the
Nicolas Markey, Ph. Schnoebelen
EMNLP
2007
15 years 8 months ago
A Sequence Alignment Model Based on the Averaged Perceptron
We describe a discriminatively trained sequence alignment model based on the averaged perceptron. In common with other approaches to sequence modeling using perceptrons, and in co...
Dayne Freitag, Shahram Khadivi
IPM
2006
83views more  IPM 2006»
15 years 6 months ago
A risk minimization framework for information retrieval
This paper presents a probabilistic information retrieval framework in which the retrieval problem is formally treated as a statistical decision problem. In this framework, querie...
ChengXiang Zhai, John D. Lafferty
ACL
1993
15 years 8 months ago
Extending Kimmo's Two-Level Model of Morphology
This paper describes the problems faced while using Kimmo's two-level model to describe certain Indian languages such as Tamil and Hindi. The two-level model is shown to be d...
Anoop Sarkar