Sciweavers

940 search results - page 98 / 188
» Control Abstractions for Local Search
Sort
View
118
Voted
DAGM
2006
Springer
15 years 7 months ago
Parameterless Isomap with Adaptive Neighborhood Selection
Abstract. Isomap is a highly popular manifold learning and dimensionality reduction technique that effectively performs multidimensional scaling on estimates of geodesic distances....
Nathan Mekuz, John K. Tsotsos
159
Voted
DEEC
2006
IEEE
15 years 7 months ago
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
Walid Gaaloul, Karim Baïna, Claude Godart
143
Voted
FOSSACS
2000
Springer
15 years 7 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
SAC
2009
ACM
15 years 10 months ago
Heuristic approach for automated shelf space allocation
Shelf space allocation is the problem of efficiently arranging retail products on shelves in order to maximise profit, improve stock control, improve customer satisfaction, etc. ...
Dario Landa Silva, Fathima Marikar, Khoi Le
128
Voted
SLS
2009
Springer
243views Algorithms» more  SLS 2009»
15 years 10 months ago
Estimating Bounds on Expected Plateau Size in MAXSAT Problems
Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate...
Andrew M. Sutton, Adele E. Howe, L. Darrell Whitle...