We present a conceptually plausible approach for textindependent speaker verification (TISV) which treats speech recordings as a collection of segments providing incremental evidence. This approach, called corrective learning, gradually improves an initial prediction of speaker identity based on incoming speech and the latest prediction. Specifically, we propose deep corrective learning network...

This paper describes how meta-level theories are used for analytic learning in MULTI-TAC. MULTI-TAC operationalizes generic heuristics for constraint-satisfaction problems, in order to create programs that are tailored to specific problems. For each of its generic heuris-tics, MULTI-TAC has a meta-theory specifically designed for operationalising that heuris-tic. We present examples of the spec...

Gagne suggests in his theory that cognitive learning outcomes are the result of this pattern, namely intelligence which includes oral and written skills, ability or capacity each individual, long-term planning has goals, motor skills. Learning theories we can take from anywhere is owned by experts, thoughts habits, empirical research itself. Cognitive refers to activities include various relate...

We propose an approach for the integration of abduction and induction in Logic Programming. We de ne an Abductive Learning Problem as an extended Inductive Logic Programming problem where both the background and target theories are abductive theories and where abductive derivability is used as the coverage relation instead of deductive derivability. The two main bene ts of this integration are ...

Lots of theories underlying collaborative learning have been proposed. Software development is in nature collaborative activities. Based on the background, studies on software development support and/or analysis of collaborative software development based on collaborative learning theories have emerged. This paper briefly introduces some studies which adopt the theories. We analyze the state-of...