8706 search results - page 624 / 1742 » Learning Subjective Language |
210
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and a...
197
click to vote
JCDL
2006
ACM
16 years 1 months ago
2006
ACM
This paper discusses the application of speech alignment, image processing, and language understanding technologies to build efficient interfaces into large digital oral history a...
163
Voted
ITICSE
2005
ACM
16 years 29 days ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
196
click to vote
WCFLP
2005
ACM
16 years 29 days ago
2005
ACM
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
195
Voted
ATAL
2005
Springer
16 years 28 days ago
2005
Springer
We present the agent programming language POGTGolog, which combines explicit agent programming in Golog with game-theoretic multi-agent planning in a special kind of partially obs...