Sciweavers

1143 search results - page 91 / 229
» Mental models of recursion
Sort
View
CIE
2007
Springer
14 years 3 months ago
Input-Dependence in Function-Learning
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
Sanjay Jain, Eric Martin, Frank Stephan
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
14 years 1 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
ALT
1998
Springer
14 years 1 months ago
Learning with Refutation
In their pioneering work, Mukouchi and Arikawa modeled a learning situation in which the learner is expected to refute texts which are not representative of L, the class of langua...
Sanjay Jain
ICASSP
2011
IEEE
13 years 29 days ago
Sparse channel estimation with lp-norm and reweighted l1-norm penalized least mean squares
The least mean squares (LMS) algorithm is one of the most popular recursive parameter estimation methods. In its standard form it does not take into account any special characteri...
Omid Taheri, Sergiy A. Vorobyov
TASE
2011
IEEE
13 years 4 months ago
Multiclass Flow Line Models of Semiconductor Manufacturing Equipment for Fab-Level Simulation
—For multiclass flow line models, we identify a class of service times that allow a decomposition of the system into subsets of servers called channels. In each channel, the cus...
James R. Morrison