5331 search results - page 892 / 1067 » Algebraic Methods for Optimization Problems |
129
Voted
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
127
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences whic...
134
Voted
ICAC
2008
IEEE
15 years 8 months ago
2008
IEEE
—Large scale production grids are an important case for autonomic computing. They follow a mutualization paradigm: decision-making (human or automatic) is distributed and largely...
136
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
118
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...