738 search results - page 108 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
ICDCSW
2002
IEEE
15 years 2 months ago
2002
IEEE
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include the computational complexity of feature extracti...
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper proposes two techniques for low-complexity rate-distortion (R-D) optimized streaming of packetized video. These techniques enable computing packet transmission schedule...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
Currently, most of the operations performed for the construction of marine charts are still done manually. However, with the development of more and more powerful techniques, new ...
FOCM
2010
14 years 8 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...