1176 search results - page 164 / 236 » Implicit Abstraction Heuristics |
94
Voted
PPSN
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper extends a recently proposed model for combinatorial landscapes: Local Optima Networks (LON), to incorporate a first-improvement (greedyascent) hill-climbing a...
100
click to vote
PRICAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
83
Voted
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
103
click to vote
IAT
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--This paper describes an interactive tool for constrained clustering that helps users to select effective constraints efficiently during the constrained clustering process...
117
Voted
OTM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Rapidly changing business requirements necessitate the adhoc composition of expert teams to handle complex business cases. Expertcentric properties such as skills, howeve...