1253 search results - page 233 / 251 » Convergence of Evolutionary Algorithms in General Search Spa... |
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Lately there exist increasing demands for online abnormality monitoring over trajectory streams, which are obtained from moving object tracking devices. This problem is challengin...
KDD
2005
ACM
15 years 10 months ago
2005
ACM
Tasks of data mining and information retrieval depend on a good distance function for measuring similarity between data instances. The most effective distance function must be for...
IEEEPACT
2007
IEEE
15 years 3 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
A fundamental problem in peer-to-peer networks is how to locate appropriate peers efficiently to answer a specific query request. This paper proposes a model in which semantically...
GLVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...