557 search results - page 15 / 112 » The L4.verified Project - Next Steps |
SIGUCCS
2000
ACM
14 years 9 days ago
2000
ACM
Knowledge Management is a necessary and integral part of an effective and successful support organization, yet it is also a buzzword that is perhaps over-hyped and over-used. How ...
CSMR
2010
IEEE
13 years 3 months ago
2010
IEEE
Legacy applications are still widely spread. If a need to change deployment or update its functionality arises, it becomes difficult to estimate the performance impact of such modi...
NA
2010
13 years 7 months ago
2010
A method for linearly constrained optimization which modifies and generalizes recent box-constraint optimization algorithms is introduced. The new algorithm is based on a relaxed...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
KDD
1997
ACM
14 years 26 days ago
1997
ACM
Feature selection is a data preprocessing step for classi cation and data mining tasks. Traditionally, feature selection is done by selecting a minimum number of features that det...