2032 search results - page 36 / 407 » Encodings of the Sequence Constraint |
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
— In deep-submicron (DSM) technology, minimizing power consumption of a bus is one of the most important design objectives in embedded system-on-chip (SoC) design. In this paper,...
DCC
2009
IEEE
16 years 12 days ago
2009
IEEE
We present a new lossy compressor for discrete sources. For coding a source sequence xn , the encoder starts by assigning a certain cost to each reconstruction sequence. It then f...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Statistical multiplexing aims at transmitting several variable bit rate (VBR) encoded video streams over a bandlimited channel. Rate-distortion (RD) models for the encoded streams ...
ENTCS
2007
14 years 11 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...