1855 search results - page 153 / 371 » A coding theorem for distributed computation |
182
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
134
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
91
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Taking a sequence of photographs using multiple illumination sources or settings is central to many computer vision and graphics problems. A growing number of recent methods use m...
111
click to vote
DCC
2000
IEEE
15 years 7 months ago
2000
IEEE
We investigate the task of compressing an image by using different probability models for compressing different regions of the image. In an earlier paper, we introduced a class of...
147
Voted
ICPP
2000
IEEE
15 years 7 months ago
2000
IEEE
MATLAB is one of the most popular languages for desktop numerical computations as well as for signal and image processing applic ations. Applying parallel processing techniques to...