Sciweavers

180 search results - page 26 / 36
» Pruning the Search Space in Path-Based Test Generation
Sort
View
AAAI
2006
14 years 11 months ago
Heuristic Search and Information Visualization Methods for School Redistricting
We describe an application of AI search and information visualization techniques to the problem of school redistricting, in which students are assigned to home schools within a co...
Marie desJardins, Blazej Bulka, Ryan Carr, Andrew ...
IJCAI
2001
14 years 11 months ago
Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
Alan M. Frisch, Timothy J. Peugniez
IJCAI
1989
14 years 11 months ago
Concept Formation by Incremental Conceptual Clustering
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
Mirsad Hadzikadic, David Y. Y. Yun
EMO
2009
Springer
140views Optimization» more  EMO 2009»
15 years 2 months ago
On Using Populations of Sets in Multiobjective Optimization
Abstract. Most existing evolutionary approaches to multiobjective optimization aim at finding an appropriate set of compromise solutions, ideally a subset of the Pareto-optimal se...
Johannes Bader, Dimo Brockhoff, Samuel Welten, Eck...
CVPR
2004
IEEE
15 years 11 months ago
Proposal Maps Driven MCMC for Estimating Human Body Pose in Static Images
This paper addresses the problem of estimating human body pose in static images. This problem is challenging due to the high dimensional state space of body poses, the presence of...
Mun Wai Lee, Isaac Cohen