Sciweavers

7253 search results - page 395 / 1451
» Agile Performance Testing
Sort
View
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
LREC
2008
88views Education» more  LREC 2008»
15 years 8 months ago
An Infrastructure, Tools and Methodology for Evaluation of Multicultural Name Matching Systems
This paper describes a Name Matching Evaluation Laboratory that is a joint effort across multiple projects. The lab houses our evaluation infrastructure as well as multiple name m...
Keith J. Miller, Mark Arehart, Catherine Ball, Joh...
NIPS
2007
15 years 8 months ago
Direct Importance Estimation with Model Selection and Its Application to Covariate Shift Adaptation
A situation where training and test samples follow different input distributions is called covariate shift. Under covariate shift, standard learning methods such as maximum likeli...
Masashi Sugiyama, Shinichi Nakajima, Hisashi Kashi...
ACL
2006
15 years 8 months ago
Reranking and Self-Training for Parser Adaptation
Statistical parsers trained and tested on the Penn Wall Street Journal (WSJ) treebank have shown vast improvements over the last 10 years. Much of this improvement, however, is ba...
David McClosky, Eugene Charniak, Mark Johnson
APBC
2004
107views Bioinformatics» more  APBC 2004»
15 years 8 months ago
An Empirical Bayes Adjustment to Multiple p-values for the Detection of Differentially Expressed Genes in Microarray Experiments
In recent microarray experiments thousands of gene expressions are simultaneously tested in comparing samples (e.g., tissue types or experimental conditions). Application of a sta...
Somnath Datta, Susmita Datta