Sciweavers

1835 search results - page 160 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
138
Voted
CTRS
1987
15 years 8 months ago
Confluence of Conditional Rewrite Systems
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
Nachum Dershowitz, Mitsuhiro Okada, G. Sivakumar
123
Voted
AIM
2006
15 years 6 months ago
Increasing the benefit of analysis: The case of systems that support communication
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
Dov Te'eni, Roy Gelbard, Matti Sade
CORR
2007
Springer
80views Education» more  CORR 2007»
15 years 5 months ago
Polygraphs for termination of left-linear term rewriting systems
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
Yves Guiraud
MM
2005
ACM
126views Multimedia» more  MM 2005»
15 years 10 months ago
A corpus-based singing voice synthesis system for mandarin Chinese
In this paper, the design and implementation of a corpus-based singing voice synthesis (SVS) system for Mandarin Chinese was introduced. The design rules of three corpora for sing...
Cheng-Yuan Lin, Tzu-Ying Lin, Jyh-Shing Roger Jang
132
Voted
ISWC
1999
IEEE
15 years 9 months ago
Realtime Personal Positioning System for Wearable Computers
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...
Hisashi Aoki, Bernt Schiele, Alex Pentland