3002 search results - page 346 / 601 » Cloud Based Design Optimization |
180
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
187
click to vote
GECCO
2005
Springer
16 years 3 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...
214
click to vote
ISNN
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The performance of financial forecasting with neural networks dependents on the particular training set. We design mean-change-point test to divide the original dataset i...
177
click to vote
WOSS
2004
ACM
16 years 17 hour ago
2004
ACM
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
196
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...