7991 search results - page 1424 / 1599 » Using More Reasoning to Improve |
MOBISYS
2005
ACM
15 years 10 months ago
2005
ACM
Energy efficiency has become a critical issue for battery-driven computers. Significant work has been devoted to improving it through better software and hardware. However, the hu...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
—The recent surge of popularity has established Mashups as an important category of Web 2.0 applications. Mashups are essentially Web services that are often created by end-users...
113
click to vote
ICCAD
2001
IEEE
15 years 7 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
118
click to vote
AVSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Generative 3D face models are a powerful tool in computer vision. They provide pose and illumination invariance by modeling the space of 3D faces and the imaging process. The powe...
106
click to vote
PERCOM
2009
ACM
15 years 5 months ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...