410 search results - page 65 / 82 » Making norms concrete |
TOSEM
2008
13 years 7 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
ML
2002
ACM
13 years 7 months ago
2002
ACM
We examine linear program (LP) approaches to boosting and demonstrate their efficient solution using LPBoost, a column generation based simplex method. We formulate the problem as...
SIAMSC
2010
13 years 6 months ago
2010
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
ICETET
2009
IEEE
13 years 5 months ago
2009
IEEE
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...
MOBIHOC
2012
ACM
11 years 10 months ago
2012
ACM
Mobile devices are increasingly being relied on for services that go beyond simple connectivity and require more complex processing. Fortunately, a mobile device encounters, possi...