Sciweavers

77016 search results - page 155 / 15404
» Modeling
Sort
View
98
Voted
COCO
2005
Springer
72views Algorithms» more  COCO 2005»
15 years 9 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-...
104
Voted
ECML
2005
Springer
15 years 9 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 ...
137
Voted
ER
2005
Springer
109views Database» more  ER 2005»
15 years 9 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
115
Voted
EMNLP
2007
15 years 4 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 ...
110
Voted
FORTE
2007
15 years 4 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 »