Sciweavers

293 search results - page 30 / 59
» Modeling bug report quality
Sort
View
128
Voted
INLG
2010
Springer
15 years 1 months ago
Towards a Programmable Instrumented Generator
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
Chris Mellish
130
Voted
ENVSOFT
2006
144views more  ENVSOFT 2006»
15 years 3 months ago
Ten iterative steps in development and evaluation of environmental models
Models are increasingly being relied upon to inform and support natural resource management. They are incorporating an ever broader range of disciplines and now often confront peo...
Anthony J. Jakeman, Rebecca A. Letcher, John P. No...
130
Voted
BMCBI
2007
114views more  BMCBI 2007»
15 years 3 months ago
Gene models from ESTs (GeneModelEST): an application on the Solanum lycopersicum genome
Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...
Nunzio D'Agostino, Alessandra Traini, Luigi Frusci...
129
Voted
STTT
2010
116views more  STTT 2010»
14 years 10 months ago
LTL satisfiability checking
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
Kristin Y. Rozier, Moshe Y. Vardi
150
Voted
BMCBI
2004
208views more  BMCBI 2004»
15 years 3 months ago
Using 3D Hidden Markov Models that explicitly represent spatial coordinates to model and compare protein structures
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
Vadim Alexandrov, Mark Gerstein