8512 search results - page 70 / 1703 » Computing Theory With Relevance |
SLOGICA
2010
13 years 6 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
APAL
2011
13 years 3 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
ICML
2004
IEEE
14 years 9 months ago
2004
IEEE
Feature selection is the task of choosing a small set out of a given set of features that capture the relevant properties of the data. In the context of supervised classification ...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
Monitoring the dynamics of networks in the brain is of central importance in normal and disease states. Current methods of detecting networks in the recorded EEG such as correlati...
CIBCB
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper we address the problem of predicting gene activities by finding gene regulatory dependencies in experimental DNA microarray data. Only few approaches to infer th...