1702 search results - page 126 / 341 » Doomed program points |
129
click to vote
SIGCSE
1999
ACM
15 years 9 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
139
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
144
Voted
AAECC
1999
Springer
15 years 4 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
152
click to vote
LFP
1992
15 years 6 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
191
click to vote
JMLR
2012
13 years 7 months ago
2012
Metric and kernel learning arise in several machine learning applications. However, most existing metric learning algorithms are limited to learning metrics over low-dimensional d...