Sciweavers

4695 search results - page 314 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
LOPSTR
2004
Springer
16 years 1 days ago
Fully Automatic Binding-Time Analysis for Prolog
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
Stephen-John Craig, John P. Gallagher, Michael Leu...
ADMA
2010
Springer
264views Data Mining» more  ADMA 2010»
15 years 4 months ago
Frequent Pattern Trend Analysis in Social Networks
Abstract. This paper describes an approach to identifying and comparing frequent pattern trends in social networks. A frequent pattern trend is defined as a sequence of time-stampe...
Puteri N. E. Nohuddin, Rob Christley, Frans Coenen...
TEC
2008
98views more  TEC 2008»
15 years 6 months ago
A Fast Incremental Hypervolume Algorithm
When hypervolume is used as part of the selection or archiving process in a multiobjective evolutionary algorithm, it is necessary to determine which solutions contribute the least...
Lucas Bradstreet, R. Lyndon While, Luigi Barone
ICASSP
2011
IEEE
14 years 10 months ago
Region-based image fusion using a combinatory Chebyshev-ICA method
The aim of this paper is to provide an algorithm for image fusion which combines the techniques of Chebyshev polynomial (CP) approximation and independent component analysis (ICA)...
Zaid Omar, Nikolaos Mitianoudis, Tania Stathaki
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 8 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman