4620 search results - page 410 / 924 » Comparing Object Encodings |
162
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— Many CAD for VLSI problems can be naturally encoded as Quantified Boolean Formulas (QBFs) and solved with QBF solvers. Furthermore, such problems often contain circuitbased in...
172
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper, we suggest hardware-assisted data compression as a tool for reducing energy consumption of core-based embedded systems. We propose a novel and e cient architecture ...
193
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—In this paper, a packet-loss resilient, bandwidth-scalable 3-D graphics streaming system is proposed. It uses the Compressed Progressive Mesh (CPM) algorithm [1] to generate a h...
169
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a constant quality video rate control (CQVRC) scheme for MPEG-4 FGS (fine-grain scalability) video. The proposed scheme can mitigate quality variations among ...
172
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...