7623 search results - page 879 / 1525 » Constructive Volume Modeling |
185
click to vote
JMLR
2010
15 years 2 months ago
2010
We consider selective classification, a term we adopt here to refer to `classification with a reject option.' The essence in selective classification is to trade-off classifi...
227
click to vote
TR
2010
15 years 1 months ago
2010
This paper investigates the use of a one-class support vector machine algorithm to detect the onset of system anomalies, and trend output classification probabilities, as a way to ...
164
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
286
click to vote
CALCO
2011
Springer
14 years 7 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
179
click to vote
EPART
2011
14 years 7 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...