We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
— To what extent do people behave in immersive virtual environments as they would in similar situations in a physical environment? There are many ways to address this question, r...
The similarities between unvoiced speech sounds and turbulent breath sounds were used to detect change in sound characteristics caused by narrowing of the upper airway (UA), simil...
Hisham Alshaer, Martha Garcia, M. Hossein Radfar, ...
: - To measure water levels from remote cites using a narrowband channel, this paper developed a difference image based JPEG communication scheme and a water level measurement sche...