Sciweavers

2944 search results - page 391 / 589
» On Well Quasi-orders on Languages
Sort
View
AAAI
2006
15 years 8 months ago
Using Semantics to Identify Web Objects
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
Nathanael Chambers, James F. Allen, Lucian Galescu...
AAAI
2006
15 years 8 months ago
Reconciling Situation Calculus and Fluent Calculus
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
Stephan Schiffel, Michael Thielscher
ACL
2006
15 years 8 months ago
Named Entity Transliteration with Comparable Corpora
In this paper we investigate ChineseEnglish name transliteration using comparable corpora, corpora where texts in the two languages deal in some of the same topics -- and therefor...
Richard Sproat, Tao Tao, ChengXiang Zhai
AIML
2006
15 years 8 months ago
Dynamic topological logics over spaces with continuous functions
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
Boris Konev, Roman Kontchakov, Frank Wolter, Micha...
CADUI
2004
15 years 8 months ago
A Framework for Developing Conversational User Interfaces
In this work we report our efforts to facilitate the creation of mixed-initiative conversational interfaces for novice and experienced developers of human language technology. Our ...
James R. Glass, Eugene Weinstein, D. Scott Cyphers...