443 search results - page 30 / 89 » A Simple Solution to Type Specialization |
147
click to vote
AAAI
2004
15 years 5 months ago
2004
We develop an exact dynamic programming algorithm for partially observable stochastic games (POSGs). The algorithm is a synthesis of dynamic programming for partially observable M...
111
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Within assembly lines, wheel assembly to continuously conveyed car bodies is still executed by human workers using a device that compensates the weight of the wheel. Th...
116
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
133
click to vote
IOLTS
2003
IEEE
15 years 9 months ago
2003
IEEE
A methodology for the synthesis of partially selfchecking multilevel logic circuits with low-cost paritybased concurrent error detection (CED) is described. A subset of the inputs...
134
click to vote
ACISP
2010
Springer
15 years 6 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...