Sciweavers

PRL
2006
89views more  PRL 2006»
13 years 4 months ago
ROC graphs with instance-varying costs
Receiver Operating Characteristics (ROC) graphs are a useful technique for organizing classifiers and visualizing their performance. ROC graphs have been used in cost-sensitive le...
Tom Fawcett
ICFP
2010
ACM
13 years 5 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
PLILP
1994
Springer
13 years 8 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
JIT
2005
Springer
130views Database» more  JIT 2005»
13 years 9 months ago
Policies for an AOP Based Auto-Adaptive Framework
Dynamic AOP has been identified as a useful technique to implement an auto-adaptive framework. To supplement this policies based upon EventCondition-Action rules are used to specif...
Phil Greenwood, Lynne Blair
SOFSEM
2007
Springer
13 years 10 months ago
Indexing Factors with Gaps
Indexing of factors is a widely used and useful technique in stringology and can be seen as a tool in solving diverse text algorithmic problems. A gapped-factor is a concatenation ...
M. Sohel Rahman, Costas S. Iliopoulos