Sciweavers

4488 search results - page 304 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
FPL
2003
Springer
119views Hardware» more  FPL 2003»
15 years 10 months ago
Hardware Implementations of Real-Time Reconfigurable WSAT Variants
Local search methods such as WSAT have proven to be successful for solving SAT problems. In this paper, we propose two host-FPGA (Field Programmable Gate Array) co-implementations,...
Roland H. C. Yap, Stella Z. Q. Wang, Martin Henz
HICSS
2002
IEEE
135views Biometrics» more  HICSS 2002»
15 years 9 months ago
Integrated Production Planning and Route Scheduling in Pulp Mill Industry
In this paper we consider the complete supply chain for a large pulp producer in Sweden. The supply chain is divided up in two parts, the pulp production planning problem and the ...
David Bredström, Mikael Rönnqvist
PKDD
2000
Springer
134views Data Mining» more  PKDD 2000»
15 years 8 months ago
Induction of Multivariate Decision Trees by Using Dipolar Criteria
A new approach to the induction of multivariate decision trees is proposed. A linear decision function (hyper-plane) is used at each non-terminal node of a binary tree for splittin...
Leon Bobrowski, Marek Kretowski
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 10 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark
ATAL
2009
Springer
15 years 5 months ago
Efficient physics-based planning: sampling search via non-deterministic tactics and skills
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
Stefan Zickler, Manuela M. Veloso