874 search results - page 109 / 175 » Computing Weighted Solutions in Answer Set Programming |
124
click to vote
DCC
2008
IEEE
16 years 2 months ago
2008
IEEE
Multiple description coding (MDC) has emerged as a powerful technique for reliable real-time communications over lossy packet networks. In its basic form, it involves encoding a me...
103
click to vote
AISC
2004
Springer
15 years 8 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
128
Voted
TVLSI
1998
15 years 2 months ago
1998
— This paper presents a solution to the problem of reducing the power dissipated by a digital system containing an intellectual proprietary core processor which repeatedly execut...
129
Voted
WABI
2005
Springer
15 years 8 months ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
137
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...