1147 search results - page 124 / 230 » Termination in language-based systems |
172
click to vote
MIXER
2004
15 years 7 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...
153
click to vote
TEI
2009
ACM
16 years 29 days 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...
192
click to vote
ISPAN
2009
IEEE
16 years 24 days 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...
153
click to vote
ICASSP
2008
IEEE
16 years 19 days 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...
181
click to vote
LICS
2008
IEEE
16 years 17 days 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...