358 search results - page 53 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
118
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...
151
Voted
CAEPIA
2003
Springer
15 years 9 months ago
2003
Springer
One of the most important tasks for determining association rules consists of calculating all the maximal frequent itemsets. Specifically, some methods to obtain these itemsets hav...
142
click to vote
ICIW
2009
IEEE
15 years 10 months ago
2009
IEEE
BitTorrent and Practical Network Coding are efficient methods for sharing files in a peer-to-peer network. Both face the problem to distribute a given file using peers with dif...
113
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
116
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
The field of algorithms for pairwisc biosequence similarity search is dominated by heuristic methods of high efficiency but uncertain sensitivity. One reason that more formal stri...