Sciweavers

3898 search results - page 550 / 780
» On the Bit Extraction Problem
Sort
View
AIPS
2000
15 years 8 months ago
Investigating the Effect of Relevance and Reachability Constraints on SAT Encodings of Planning
Currently, Graphplan and Blackbox, which converts Graphplan's plan graph into the satisfaction (SAT) problem, are two of the most successful planners. Since Graphplan gains i...
Minh Binh Do, Biplav Srivastava, Subbarao Kambhamp...
CASCON
1997
93views Education» more  CASCON 1997»
15 years 8 months ago
Repairing software style using graph grammars
Often, software architects impose a particular style on the software systems they design. For large software systems, they would like to ensure that the design continues to confor...
Hoda Fahmy, Richard C. Holt, Spiros Mancoridis
GECCO
2008
Springer
141views Optimization» more  GECCO 2008»
15 years 7 months ago
A study of NK landscapes' basins and local optima networks
We propose a network characterization of combinatorial fitness landscapes by adapting the notion of inherent networks proposed for energy surfaces [5]. We use the well-known fami...
Gabriela Ochoa, Marco Tomassini, Sébastien ...
EC
2008
209views ECommerce» more  EC 2008»
15 years 6 months ago
Human Body Pose Estimation with Particle Swarm Optimisation
In this paper we address the problem of human body pose estimation from still images. A multi-view set of images of a person sitting at a table is acquired and the pose estimated....
Spela Ivekovic, Emanuele Trucco, Yvan R. Petillot
ESWA
2008
113views more  ESWA 2008»
15 years 6 months ago
Taxonomy alignment for interoperability between heterogeneous virtual organizations
Resources in virtual organizations are classified based on their local taxonomies. However, heterogeneity between these taxonomies is a serious problem for efficient cooperation p...
Jason J. Jung