Sciweavers

1080 search results - page 82 / 216
» Problem dependent optimization (PDO)
Sort
View
ICST
2009
IEEE
15 years 2 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
ICIP
2010
IEEE
15 years 1 months ago
Multi-stream partitioning and parity rate allocation for scalable IPTV delivery
We address the joint problem of clustering heterogenous clients and allocating scalable video source rate and FEC redundancy in IPTV systems. We propose a streaming solution that ...
Jacob Chakareski, Pascal Frossard
162
Voted
CORR
2010
Springer
198views Education» more  CORR 2010»
15 years 1 months ago
Convex Graph Invariants
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
Venkat Chandrasekaran, Pablo A. Parrilo, Alan S. W...
ICML
2009
IEEE
16 years 5 months ago
Bayesian clustering for email campaign detection
We discuss the problem of clustering elements according to the sources that have generated them. For elements that are characterized by independent binary attributes, a closedform...
Peter Haider, Tobias Scheffer
ECCV
1994
Springer
15 years 8 months ago
Markov Random Field Models in Computer Vision
A variety of computer vision problems can be optimally posed as Bayesian labeling in which the solution of a problem is dened as the maximum a posteriori (MAP) probability estimate...
Stan Z. Li