6054 search results - page 233 / 1211 » Implementation of Andorra-based Languages |
163
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...
166
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
190
click to vote
IR
2007
15 years 6 months ago
2007
This paper reports on the underlying IR problems encountered when indexing and searching with the Bulgarian language. For this language we propose a general light stemmer and demon...
201
click to vote
JAIR
2007
15 years 6 months ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...
203
click to vote
JCIT
2007
15 years 6 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...