1140 search results - page 201 / 228 » Progress on Certifying Algorithms |
ISCA
2005
IEEE
14 years 3 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
MSWIM
2005
ACM
14 years 3 months ago
2005
ACM
Wireless Local Area Networks (WLAN) are being deployed at a rapid pace and in different environments. As a result, the demand for supporting a diverse range of applications over w...
CVBIA
2005
Springer
14 years 3 months ago
2005
Springer
Registration, that is, the alignment of multiple images, has been one of the most challenging problems in the field of computer vision. It also serves as an important role in biome...
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Information filtering has made considerable progress in recent years.The predominant approaches are content-based methods and collaborative methods. Researchers have largely conc...