Results 241 to 250 of about 32,246 (268)

Language as a recursive system

2009
Introduction In this chapter, the argument will take a somewhat different tack. Up to now, it has been the general theoretical themes of the MP that have been under attack from an evolutionary standpoint. In chapter 5, the specifics of minimalist syntactic theories will be examined in a similar light.
openaire   +1 more source

RECURSION OPERATOR FOR A CONSTRAINED BKP SYSTEM

Nonlinearity, Integrability and All That, 2000
info:eu-repo/semantics ...
openaire   +3 more sources

ARTS: An Adaptive Recursive Tutoring System

2011 Developments in E-systems Engineering, 2011
Sequenced personalised curriculum is an important research issue for Web-based educational systems, because it does not uses the fixed learning paths approach, as it will not be suitable for all learners. This paper presents a framework for Adaptive-Recursive Tutoring System (ARTS) that classifies the learners and provides cognitive adaptation ...
openaire   +2 more sources

Information Flow Security and Recursive Systems

2003
Information flow security in a multilevel system aims at guaranteeing that no high level information is revealed to low level users, even in the presence of any possible malicious process. Persistent_BNDC (P_BNDC, for short) is an information-flow security property which is suitable to deal with processes in dynamic contexts.
BOSSI A., MACEDONIO D., PIAZZA, Carla, ROSSI S.   +3 more
openaire   +3 more sources

A recursive algorithm for linear system identification

IEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
This paper deals with the pole-zero identification of a linear system from a measured input-output record. It is shown that the minimization of a modified version of the squared Kalman equation error can be implemented by an order recursive algorithm in the time domain.
openaire   +1 more source

A system for proving equivalences of recursive programs

1980
We present a system for proving equivalences of recursive programs based on program transformations, namely the fold/unfold method and a generalisation of this method.
openaire   +1 more source

Recursive filtering of networked nonlinear systems: a survey

International Journal of Systems Science, 2021
Jingyang Mao, Xiaojian Yi, Hongjian Liu   +2 more
exaly  

Exponential convergence of recursive least squares with forgetting factor for multiple-output systems

Automatica, 2021
Robert R Bitmead
exaly  

Robust recursive filtering for uncertain stochastic systems with amplify-and-forward relays

International Journal of Systems Science, 2020
Hailong Tan, Bo Shen, Kaixiang Peng
exaly  

IsoLATE: A Type System for Self-recursion

2015
A fundamental aspect of object-oriented languages is how recursive functions are defined. One semantic approach is to use simple record types and explicit recursion i.e. fix to define mutually recursive units of functionality. Another approach is to use records and recursive types to describe recursion through a "self" parameter.
openaire   +1 more source