762 search results - page 15 / 153 » Conditionally correct superoptimization |
LWA
2004
14 years 11 months ago
2004
Support Vector Machines (SVMs) have become a popular learning algorithm, in particular for large, high-dimensional classification problems. SVMs have been shown to give most accur...
72
Voted
AIPS
2010
15 years 22 days ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
117
click to vote
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete r...
59
Voted
ICMCS
2005
IEEE
15 years 4 months ago
2005
IEEE
In this paper, we analyze a standard compatible error correction technique for multimedia transmissions over 802.11 WLANs that exploits, when available, the information of previou...
86
Voted
SP
1998
IEEE
15 years 2 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...