Sciweavers

1914 search results - page 224 / 383
» Abstract lambda-Calculus Machines
Sort
View
IJCNN
2006
IEEE
14 years 2 months ago
Training Coordination Proxy Agents
— Delegating the coordination role to proxy agents can improve the overall outcome of the task at the expense of cognitive overload due to switching subtasks. Stability and commi...
Myriam Abramson, William Chao, Ranjeev Mittu
IJCNN
2006
IEEE
14 years 2 months ago
Leave-One-Out Cross-Validation Based Model Selection Criteria for Weighted LS-SVMs
Abstract— While the model parameters of many kernel learning methods are given by the solution of a convex optimisation problem, the selection of good values for the kernel and r...
Gavin C. Cawley
ACSAC
2005
IEEE
14 years 1 months ago
Generating Policies for Defense in Depth
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
Paul Rubel, Michael Ihde, Steven Harp, Charles Pay...
AIED
2005
Springer
14 years 1 months ago
Factors Influencing Effectiveness in Automated Essay Scoring with LSA
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
Fridolin Wild, Christina Stahl, Gerald Stermsek, Y...
ASM
2005
ASM
14 years 1 months ago
AsmL Semantics in Fixpoint
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
Ali Habibi, Sofiène Tahar