381 search results - page 39 / 77 » Re-imagining the first year of computing |
SIAMNUM
2010
14 years 4 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
143
click to vote
CVPR
2011
IEEE
14 years 1 months ago
2011
IEEE
Object localization is a challenging problem due to variations in object’s structure and illumination. Although existing part based models have achieved impressive progress in t...
C5
2003
IEEE
15 years 3 months ago
2003
IEEE
This poster presentation introduces our first Squeak workshops offered in the context of the ALAN-K (Advanced LeArning Network in Kyoto) project (Konomi and Karuno, 2003), which i...
SIGMOD
1994
ACM
15 years 2 months ago
1994
ACM
Spatial joins are one of the most important operations for combining spatial objects of several relations. In this paper, spatial join processing is studied in detail for extended...
114
click to vote
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...