Sciweavers

77016 search results - page 155 / 15404
» Modeling the
Sort
View
112
Voted
COCO
2005
Springer
72views Algorithms» more  COCO 2005»
15 years 10 months ago
Toward a Model for Backtracking and Dynamic Programming
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
Michael Alekhnovich, Allan Borodin, Joshua Buresh-...
ECML
2005
Springer
15 years 10 months ago
On Discriminative Joint Density Modeling
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...
Jarkko Salojärvi, Kai Puolamäki, Samuel ...
ER
2005
Springer
109views Database» more  ER 2005»
15 years 10 months ago
Towards Systematic Model Assessment
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
Ruth Breu, Joanna Chimiak-Opoka
EMNLP
2007
15 years 6 months ago
Flexible, Corpus-Based Modelling of Human Plausibility Judgements
In this paper, we consider the computational modelling of human plausibility judgements for verb-relation-argument triples, a task equivalent to the computation of selectional pre...
Sebastian Padó, Ulrike Padó, Katrin ...
FORTE
2007
15 years 6 months ago
Composition of Model Programs
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
Margus Veanes, Colin Campbell, Wolfram Schulte
« Prev « First page 155 / 15404 Last » Next »