443 search results - page 30 / 89 » A Simple Solution to Type Specialization |
AAAI
2004
13 years 10 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...
ICRA
2010
IEEE
13 years 7 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...
GECCO
2004
Springer
14 years 1 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...
IOLTS
2003
IEEE
14 years 1 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...
ACISP
2010
Springer
13 years 10 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...