3221 search results - page 383 / 645 » Termination of Linear Programs |
156
click to vote
HASE
2005
IEEE
16 years 5 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
165
click to vote
ISIPTA
2005
IEEE
16 years 4 days ago
2005
IEEE
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
148
click to vote
MMM
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we introduce a novel metadata model for describing scalable and interactive TV services that can be enriched with supplemental multimedia information. The model all...
164
click to vote
MSWIM
2005
ACM
16 years 3 days ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...
214
click to vote
MFCS
2005
Springer
16 years 1 days ago
2005
Springer
We study simple greedy approximation algorithms for general class of integer packing problems. We provide a novel analysis based on the duality theory of linear programming. This e...