2593 search results - page 302 / 519 » constraints 2007 |
180
click to vote
OOPSLA
2007
Springer
16 years 22 days ago
2007
Springer
Dependent Classes Vaidas Gasiunas and Mira Mezini Technische Universit¨at Darmstadt, Germany Abstract. Dependent classes are parameterized classes, the interface and implementatio...
169
click to vote
OR
2007
Springer
16 years 22 days ago
2007
Springer
We report on the development of a Decision Support System (DSS) to plan the best assignment for the weekly promotion space of a TV station. Each product to promote has a given tar...
155
click to vote
PADL
2007
Springer
16 years 22 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
160
click to vote
PCM
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a novel frame-layer rate control technique that adaptively determines the frame complexity for bit allocation in order to satisfy the target bit-rate constraint...
174
click to vote
SAT
2007
Springer
16 years 22 days 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 ...