5263 search results - page 716 / 1053 » Open Constraint Optimization |
193
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle hard clauses (clauses of mandatory satisfaction as ...
195
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present a variational, spatiotemporal video super resolution scheme that produces not just one but n high resolution video frames from an n frame low resolution vi...
201
click to vote
AVSS
2006
IEEE
16 years 1 months ago
2006
IEEE
PTZ (Pan-Tilt-Zoom) cameras are widely used for large-area video surveillance. For many visual tracking and video analysis tasks, an accurate camera calibration is very important....
198
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
196
click to vote
DELTA
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an approach to the synthesis of fault-tolerant hard real-time systems for safety-critical applications. We use checkpointing with rollback recovery and active replicati...