9443 search results - page 314 / 1889 » Web-centric language models |
165
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
159
click to vote
ALT
2003
Springer
16 years 3 months ago
2003
Springer
A pattern is a finite string of constant and variable symbols. The erasing language generated by a pattern p is the set of all strings that can be obtained by substituting (possib...
187
click to vote
MLMI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Prosody has been actively studied as an important knowledge source for speech recognition and understanding. In this paper, we are concerned with the question of exploiti...
168
click to vote
PADL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
198
click to vote
ISM
2005
IEEE
16 years 7 days ago
2005
IEEE
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...