13306 search results - page 2331 / 2662 » Theoretical Computer Science |
166
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
173
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
207
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
200
click to vote
ACMDIS
2006
ACM
16 years 1 months ago
2006
ACM
Designers generally agree that understanding the context of use is important in designing products. However, technologically advanced products such as personal robots engender com...
204
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...