Sciweavers

1812 search results - page 93 / 363
» Test Early, Test Often
Sort
View
136
Voted
ISSRE
2006
IEEE
15 years 9 months ago
Memoized Forward Computation of Dynamic Slices
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
Wes Masri, Nagi Nahas, Andy Podgurski
145
Voted
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 4 months ago
Support vector machine classifiers for sequential decision problems
Classification problems in critical applications such as health care or security often require very high reliability because of the high costs of errors. In order to achieve this r...
Eladio Rodriguez Diaz, David A. Castaon
132
Voted
IJFCS
2006
119views more  IJFCS 2006»
15 years 3 months ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
115
Voted
ICML
2008
IEEE
16 years 4 months ago
Structure compilation: trading structure for features
Structured models often achieve excellent performance but can be slow at test time. We investigate structure compilation, where we replace structure with features, which are often...
Dan Klein, Hal Daumé III, Percy Liang
139
Voted
ICIP
2009
IEEE
16 years 4 months ago
Ppiq: A Probabilistic Framework For Image Quality Assessment
In this paper a framework for Image Quality Assessment (IQA) is introduced based on the properties of Receptive Fields (RFs) which are the primary mechanism for detection of visua...