940 search results - page 40 / 188 » Rules and Strategies in Java |
ICML
1990
IEEE
15 years 4 months ago
1990
IEEE
Given an adequate simulation model of the task environment and payoff function that measures the quality of partially successful plans, competition-based heuristics such as geneti...
110
Voted
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Motivation to learn is affected by a student’s self-efficacy, goal orientation, locus of control and perceived task difficulty. In the classroom, teachers know how to motivate th...
129
click to vote
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
81
Voted
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
We present evidence that head-driven parsing strategies lead to efficiency gains over standard parsing strategies, for lexicalist, concatenative and unification-based grammars. A ...
133
Voted
PSTV
1992
15 years 1 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...