Sciweavers

2312 search results - page 313 / 463
» Invariance in Property Testing
Sort
View
COLING
2008
13 years 11 months ago
Modeling Semantic Containment and Exclusion in Natural Language Inference
We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full sem...
Bill MacCartney, Christopher D. Manning
MSV
2004
13 years 11 months ago
An Effective QBF Solver for Planning Problems
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
Charles Otwell, Anja Remshagen, Klaus Truemper
NIPS
2004
13 years 11 months ago
A Large Deviation Bound for the Area Under the ROC Curve
The area under the ROC curve (AUC) has been advocated as an evaluation criterion for the bipartite ranking problem. We study large deviation properties of the AUC; in particular, ...
Shivani Agarwal, Thore Graepel, Ralf Herbrich, Dan...
IJCAI
1989
13 years 11 months ago
A Study of Empirical Learning for an Involved Problem
In real-world domains a concept to be learned may be unwieldy and the environment may be less than ideal. One combination of difficulties occurs if the concept is probabilistic an...
Larry A. Rendell
WCE
2007
13 years 11 months ago
Gelatine-Hydroxyapatite Nanocomposites for Orthopaedic Applications
—This study focuses on the preparation and testing of hydroxyapatite-gelatine nanocomposite gels via a sol-gel route and in situ formation of hydroxyapatite (HA) type salts. Four...
U. Vidyarthi, P. Zhdan, C. Gravanis, C. Lekakou