1385 search results - page 129 / 277 » Natural Rewriting for General Term Rewriting Systems |
272
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
147
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
Spoken multimodal dialogue systems in which users address faceonly or embodied interface agents have been gaining ground in research for some time. Although most systems are still...
188
click to vote
SIAMCO
2008
15 years 6 months ago
2008
The moment problem matured from its various special forms in the late 19th and early 20th Centuries to a general class of problems that continues to exert profound influence on the...
184
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this poster we present an approach to query answering over knowledge sources that makes use of different ontology management components within an application scenario of the BT...
175
click to vote
IJCNN
2007
IEEE
16 years 21 days ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...