28888 search results - page 167 / 5778 » Computability and complexity in analysis |
120
Voted
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
129
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
129
Voted
MFCS
2010
Springer
15 years 29 days ago
2010
Springer
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with parity objectives. An observationbased strategy relies on partial information...
129
click to vote
VISUALIZATION
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a visual analysis and exploration of fluid flow through a cooling jacket. Engineers invest a large amount of time and serious effort to optimize the flow through thi...
120
click to vote
ISQED
2008
IEEE
15 years 9 months ago
2008
IEEE
An efficient frequency-based clock analysis method: CSAV is proposed in this paper. It computes the circuit response by first solving the state equation in frequency domain, and...