2944 search results - page 30 / 589 » On Well Quasi-orders on Languages |
INTERSPEECH
2010
13 years 3 months ago
2010
This paper describes a system for assistive writing, the Speech Supplemented Word Prediction Program (SSWPP). This system uses the first letter of a word typed by the user as well...
INTERSPEECH
2010
13 years 3 months ago
2010
The aim of this study is to investigate how the presence of lexical tones influences the realization of focal accent and sentence intonation. The language studied is Kammu, a lang...
CAV
2011
Springer
13 years 7 days ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
LADS
2007
Springer
14 years 2 months ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...