6562 search results - page 406 / 1313 » Noetherianity and Combination Problems |
181
click to vote
CP
2005
Springer
16 years 12 days ago
2005
Springer
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
162
click to vote
ECML
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, dimensionality reduction via matrix factorization with nonnegativity constraints is studied. Because of these constraints, it stands apart from other linea...
199
click to vote
GECCO
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents a hybrid approach to detect source-code clones that combines evolutionary algorithms and clustering. A case-study is conducted on a small C++ code base. The pr...
197
click to vote
IBPRIA
2005
Springer
16 years 11 days ago
2005
Springer
The process of mixing labelled and unlabelled data is being recently studied in semi-supervision techniques. However, this is not the only scenario in which mixture of labelled and...
161
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...