851 search results - page 29 / 171 » History Effects and Verification |
109
click to vote
AAAI
2008
15 years 2 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
ACMACE
2007
ACM
15 years 3 months ago
2007
ACM
Given the interactive media characteristics and intrinsically motivating appeal, computer games are often praised for their potential and value in education. However, comprehensiv...
113
click to vote
SENSYS
2003
ACM
15 years 5 months ago
2003
ACM
In the absence of location errors, geographic routing - using a combination of greedy forwarding and face routing - has been shown to work correctly and efficiently. The effects o...
100
click to vote
CVPR
2000
IEEE
15 years 4 months ago
2000
IEEE
Diabetic-related eye diseases are the most common cause of blindness in the world. So far the most effective treatment for these eye diseases is early detection through regular sc...
ACMICEC
2007
ACM
15 years 3 months ago
2007
ACM
Website success hinges on how credible the consumers consider the information on the website. Unless consumers believe the website's information is credible, they are not lik...