54 search results - page 1 / 11 » Constructor-Based Conditional Narrowing |
PPDP
2001
Springer
13 years 9 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
JFLP
2002
13 years 4 months ago
2002
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...
TVCG
2011
12 years 11 months ago
2011
— 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...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
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...
JISE
2010
12 years 11 months ago
2010
: - 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...