2069 search results - page 346 / 414 » Linear time algorithms for Clobber |
172
click to vote
WWW
2009
ACM
16 years 6 months ago
2009
ACM
Much of the information on the Web is found in articles from online news outlets, magazines, encyclopedias, review collections, and other sources. However, extracting this content...
169
click to vote
DCC
2002
IEEE
16 years 5 months ago
2002
IEEE
- We consider a joint source-channel coding system that protects an embedded wavelet bitstream against noise using a finite family of channel codes with error detection and error c...
159
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
161
click to vote
CAV
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
171
click to vote
NPAR
2004
ACM
15 years 11 months ago
2004
ACM
Algorithms that detect silhouettes, creases, and other edge based features often perform per-edge and per-face mesh computations using global adjacency information. These are unsu...