1147 search results - page 124 / 230 » Termination in language-based systems |
114
Voted
MIXER
2004
15 years 2 months ago
2004
For documentation and development of augmented reality (AR) systems, we propose the use of design patterns. Patterns are structured descriptions of successfully applied problem-so...
102
Voted
TEI
2009
ACM
15 years 7 months ago
2009
ACM
This paper concerns the design of physical languages for controlling and programming robotic consumer products. For this purpose we explore basic theories of semiotics represented...
137
click to vote
ISPAN
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
99
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Discriminative training for language recognition has been a key tool for improving system performance. In addition, recognition directly from shifted-delta cepstral features has p...
120
click to vote
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...