1804 search results - page 175 / 361 » On set systems with a threshold property |
153
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...
159
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
176
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
160
click to vote
ARITH
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval ...
189
click to vote
QEST
2005
IEEE
16 years 4 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...