4087 search results - page 134 / 818 » Sets in Types, Types in Sets |
EXACT
2007
13 years 11 months ago
2007
A critical aspect of any explanation module is the set of user questions the system will be able to address. However, there has been relatively little work on listing and organizi...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
ACL
2006
13 years 10 months ago
2006
As natural language understanding research advances towards deeper knowledge modeling, the tasks become more and more complex: we are interested in more nuanced word characteristi...
ACL
1992
13 years 10 months ago
1992
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...
JSYML
2008
13 years 9 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...