Sciweavers

5622 search results - page 78 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
114
Voted
CP
2007
Springer
15 years 6 months ago
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT
Searching for optimal solutions to a problem using lower bounds obtained from a relaxation is a common idea in Heuristic Search and Planning. In SAT and CSPs, however, explicit rel...
Miquel Ramírez, Hector Geffner
108
Voted
ANTSW
2006
Springer
15 years 4 months ago
Kernelization as Heuristic Structure for the Vertex Cover Problem
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...
Stephen Gilmour, Mark Dras
115
Voted
APNOMS
2006
Springer
15 years 4 months ago
Hybrid Inference Architecture and Model for Self-healing System
Distributed computing systems are continuously increasing in complexity and cost of managing, and system management tasks require significantly higher levels of autonomic managemen...
Giljong Yoo, Jeongmin Park, Eunseok Lee
IJET
2007
143views more  IJET 2007»
15 years 16 days ago
Adaptive learning scenarios for detection of misconceptions about electricity and remediation
— Our main objective is to model the knowledge used by learners in order to solve problems about electricity. We are searching means to do a diagnosis about student’s activity ...
Sandra Michelet, Jean-Michel Adam, Vanda Luengo
CORR
2008
Springer
69views Education» more  CORR 2008»
15 years 21 days ago
Solving Time of Least Square Systems in Sigma-Pi Unit Networks
The solving of least square systems is a useful operation in neurocomputational modeling of learning, pattern matching, and pattern recognition. In these last two cases, the soluti...
Pierre Courrieu