Sciweavers

16091 search results - page 12 / 3219
» Solving
Sort
View
ICLP
2010
Springer
13 years 11 months ago
Efficient Solving of Time-dependent Answer Set Programs
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
Timur Fayruzov, Jeroen Janssen, Dirk Vermeir, Chri...
AISC
2008
Springer
13 years 9 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
FGR
2011
IEEE
242views Biometrics» more  FGR 2011»
12 years 11 months ago
Automated measurement of children's facial expressions during problem solving tasks
—There has been growing recognition of the importance of adaptive tutoring systems that respond to the student’s emotional and cognitive state. However little is known about ch...
Gwen Littlewort, Marian Stewart Bartlett, Linda P....
CEC
2008
IEEE
14 years 2 months ago
Solving one-billion-bit Noisy OneMax problem using Estimation Distribution Algorithm with Arithmetic Coding
— This paper presents an algorithm which combines Estimation Distribution Algorithm with a chromosome compression scheme to solve large scale Noisy OneMax problem. The search spa...
Worasait Suwannik, Prabhas Chongstitvatana
ICTAI
2008
IEEE
14 years 1 months ago
Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems
In this paper, we develop heuristics for finding good starting points when solving large-scale nonlinear constrained optimization problems (COPs). We focus on nonlinear programmi...
Soomin Lee, Benjamin W. Wah