12774 search results - page 2355 / 2555 » A Framework for Proof Systems |
181
click to vote
PAMI
2010
15 years 5 months ago
2010
—Stability (robustness) of feature selection methods is a topic of recent interest, yet often neglected importance, with direct impact on the reliability of machine learning syst...
202
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
146
click to vote
PVLDB
2010
15 years 5 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
186
Voted
SCHOLARPEDIA
2010
15 years 5 months ago
2010
With the proliferation of text and multimedia information, users are now able to find answers to almost any questions on the Web. Meanwhile, they are also bewildered by the huge a...
145
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...