3552 search results - page 495 / 711 » Proof theory in the abstract |
162
click to vote
RSFDGRC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Feature selection refers to the problem of selecting those input features that are most predictive of a given outcome; a problem encountered in many areas such as machine...
178
click to vote
COLT
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. The Gram matrix plays a central role in many kernel methods. Knowledge about the distribution of eigenvalues of the Gram matrix is useful for developing appropriate model...
174
click to vote
CONCUR
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
188
click to vote
EMSOFT
2004
Springer
16 years 3 hour ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
171
click to vote
ESAW
2004
Springer
16 years 2 hour ago
2004
Springer
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily c...