6456 search results - page 104 / 1292 » Constraint Solving on Terms |
135
click to vote
CEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
151
click to vote
ICAIL
2009
ACM
16 years 20 days ago
2009
ACM
Current argumentation support software often employs graphical representations of logical relationships. Little is known about the extent to which logical structuring helps to inc...
155
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
The purpose of this research is to examine whether outcome controls of group work (i.e. time pressure and reward) trigger psychological factors (i.e. distraction, motivation, and ...
161
click to vote
FROCOS
2007
Springer
16 years 10 days ago
2007
Springer
We introduce a propositional encoding of the recursive path order with status (RPO). RPO is a combination of a multiset path order and a lexicographic path order which considers pe...
134
click to vote
ICANN
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper presents Recurrent Policy Gradients, a modelfree reinforcement learning (RL) method creating limited-memory stochastic policies for partially observable Markov...