89222 search results - page 8 / 17845 » Which |
IGPL
1998
13 years 7 months ago
1998
A formula A is said to have the contractionproperty in a logic L i whenever A;A;? `L B (when ? is a multiset) also A;? `L B. In MLL and in MALL without the additive constants a fo...
INFORMATICALT
2011
13 years 2 months ago
2011
To set the values of the hyperparameters of a support vector machine (SVM), the method of choice is cross-validation. Several upper bounds on the leave-one-out error of the pattern...
CAEPIA
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. In the last years, cluster based retrieval has been demonstrated as an effective tool for both interactive retrieval and pseudo relevance feedback techniques. In this pa...
ICCAD
2005
IEEE
14 years 1 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
AIME
2005
Springer
14 years 1 months ago
2005
Springer
A knowledge management perspective is rarely used to model a process. Using the cognitive perspective on knowledge management in which we start our analysis with events and knowled...