打算 发表于 2025-3-28 15:32:17

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning,from state-based planning. To show the potential of our technique, we conducted experiments where we compared two of the currently strongest heuristics from state-based planning with two of the currently best-informed heuristics from POCL planning.

忘恩负义的人 发表于 2025-3-28 21:07:27

http://reply.papertrans.cn/55/5417/541642/541642_42.png

quiet-sleep 发表于 2025-3-29 02:28:55

Cognitive Workload of Humans Using Artificial Intelligence Systems: Towards Objective Measurement A.e. pupillary diameter mean, pupillary diameter deviation, number of gaze fixations and eye saccade speed of both left and right eyes) – all indicating cognitive workload – I found significant systematic cognitive workload differences between both test systems. My results indicated that a higher AI-support leads to lower user cognitive workload.

candle 发表于 2025-3-29 06:24:00

http://reply.papertrans.cn/55/5417/541642/541642_44.png

异端邪说2 发表于 2025-3-29 07:36:25

Automated Theorem Proving with Web Services,in its underlying hyper tableaux calculus. In this paper we describe the modifications and discuss problems and solutions pertaining to the integration. We also present an application of this integration for the purpose of abductive query relaxation.

epinephrine 发表于 2025-3-29 12:21:02

Local SVM Constraint Surrogate Models for Self-adaptive Evolution Strategies,bility stagnation are prevented with a control parameter. Additionally, self-adaptive mutation is extended by a surrogate-assisted alignment to support the evolutionary convergence. The experimental results show a significant reduction of constraint function calls and show a positive effect on the convergence.

BACLE 发表于 2025-3-29 18:33:42

http://reply.papertrans.cn/55/5417/541642/541642_47.png

aerobic 发表于 2025-3-29 21:07:52

http://reply.papertrans.cn/55/5417/541642/541642_48.png

乳汁 发表于 2025-3-30 00:03:36

http://reply.papertrans.cn/55/5417/541642/541642_49.png

Oversee 发表于 2025-3-30 04:10:30

http://reply.papertrans.cn/55/5417/541642/541642_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: KI 2013: Advances in Artificial Intelligence; 36th Annual German C Ingo J. Timm,Matthias Thimm Conference proceedings 2013 Springer-Verlag