9359 search results - page 474 / 1872 » Generalization Algorithms for Second-Order Terms |
175
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
188
click to vote
DOCENG
2006
ACM
16 years 23 days ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...
189
click to vote
MOBIWAC
2006
ACM
16 years 23 days ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
150
Voted
SIGIR
2006
ACM
16 years 23 days ago
2006
ACM
Information retrieval algorithms leverage various collection statistics to improve performance. Because these statistics are often computed on a relatively small evaluation corpus...
193
click to vote
ICFP
2005
ACM
16 years 11 days ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...