2673 search results - page 298 / 535 » Guided Static Analysis |
135
click to vote
DOCENG
2006
ACM
16 years 3 days ago
2006
ACM
Automatic table layout is required in web applications. Unfortunately, this is NP-hard for reasonable layout requirements such as minimizing table height for a given width. One ap...
131
click to vote
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Mining is an important industry in Australia, contributing billions of dollars to the economy. The performance of a processing plant has a large impact on the profitability of a m...
188
click to vote
EUPROJECTS
2005
Springer
15 years 11 months ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
139
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
182
click to vote
GFKL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The problem of clustering data can be formulated as a graph partitioning problem. In this setting, spectral methods for obtaining optimal solutions have received a lot of...