1888 search results - page 290 / 378 » Proof theory and computational analysis |
CSUR
2004
14 years 11 months ago
2004
Bresenham's algorithm minimizes error in drawing lines on integer grid points; leap year calculations, surprisingly, are a generalization. We compare the two calculations, exp...
125
click to vote
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Automatic classification of the aesthetic content of a picture is one of the challenges in the emerging discipline of computational aesthetics. Any suitable solution must cope wit...
136
click to vote
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorouslysupported theory. Splitting the configuration spa...
111
click to vote
WWW
2008
ACM
16 years 16 days ago
2008
ACM
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
COMPGEOM
2009
ACM
15 years 6 months ago
2009
ACM
Given a set system (X, R), the hitting set problem is to find a smallest-cardinality subset H ⊆ X, with the property that each range R ∈ R has a non-empty intersection with H...