Sciweavers

1912 search results - page 204 / 383
» On the evaluation of argumentation formalisms
Sort
View
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
APSEC
2008
IEEE
15 years 8 months ago
Risks and Risk Management in Software Architecture Evolution: An Industrial Survey
The effort that has been made to study risk management in the context of software architecture and its evolution, has so far focused on output from structured evaluations. However...
Odd Petter N. Slyngstad, Reidar Conradi, Muhammad ...
EC
2010
133views ECommerce» more  EC 2010»
15 years 6 months ago
Interactive EC Control of Synthesized Timbre
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...
James McDermott, Michael O'Neill, Niall J. L. Grif...
ACL
2010
15 years 4 months ago
Coreference Resolution with Reconcile
Despite the existence of several noun phrase coreference resolution data sets as well as several formal evaluations on the task, it remains frustratingly difficult to compare resu...
Veselin Stoyanov, Claire Cardie, Nathan Gilbert, E...
ICDAR
2009
IEEE
15 years 4 months ago
Recurrent HMMs and Cursive Handwriting Recognition Graphs
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
Marc-Peter Schambach