472 search results - page 64 / 95 » Limiting Negations in Formulas |
CP
2009
Springer
14 years 11 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Electricity production emits carbon dioxide and other gases into the atmosphere, adversely influences global climate change, depletes limited natural resources, and negatively imp...
KDD
2004
ACM
14 years 10 months ago
2004
ACM
Numerous applications of data mining to scientific data involve the induction of a classification model. In many cases, the collection of data is not performed with this task in m...
EUROGRAPHICS
2010
Eurographics
14 years 7 months ago
2010
Eurographics
Ray–based representations can model complex light transport but are limited in modeling diffraction effects that require the simulation of wavefront propagation. This paper prov...
ALT
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...