536 search results - page 8 / 108 » paste 2010 |
OL
2010
13 years 7 months ago
2010
Maximal monotone operator theory is about to turn (or just has turned) fifty. I intend to briefly survey the history of the subject. I shall try to explain why maximal monotone ...
AI
2010
Springer
13 years 8 months ago
2010
Springer
The past decade has seen clause learning as the most successful algorithm for SAT instances arising from real-world applications. This practical success is accompanied by theoreti...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referre...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
This article is a survey of developments in algorithmic convex geometry over the past decade. These include algorithms for sampling, optimization, integration, rounding and learni...
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...