6102 search results - page 351 / 1221 » Generating Optimizing Specializers |
134
Voted
DCC
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper introduces a linear programming (LP) technique that performs ratedistortion based optimization for constrained video coding. Given the assumption of piecewise linear an...
111
Voted
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
Applications such as robot navigation and augmented reality require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most realtime stereo applic...
122
Voted
SAT
2005
Springer
15 years 9 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
178
Voted
ANTSW
2004
Springer
15 years 9 months ago
2004
Springer
A general-purpose, simulation-based algorithm S-ACO for solving stochastic combinatorial optimization problems by means of the ant colony optimization (ACO) paradigm is investigate...
132
Voted
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...