589 search results - page 4 / 118 » A Language for Multi-dimensional Updates |
INTERSPEECH
2010
13 years 1 months ago
2010
Update of acoustic and language models is vital to maintain performance of automatic speech recognition (ASR) systems. To alleviate efforts for updating models, we propose a "...
SIGPLAN
2002
13 years 5 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
ICDT
2007
ACM
14 years 13 days ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
POPL
1996
ACM
13 years 10 months ago
1996
ACM
