2375 search results - page 348 / 475 » Towards a Theory of Services |
199
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
151
click to vote
AIED
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we examine whether the student-to-tutor convergence of lexical and speech features is a useful predictor of learning in a corpus of spoken tutorial dialogs....
169
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
178
click to vote
CIKM
2007
Springer
16 years 18 days ago
2007
Springer
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
168
click to vote
PERSUASIVE
2007
Springer
16 years 16 days ago
2007
Springer
Persuasive games are a relatively new phenomenon, and hold promise as effective vehicles for persuasion. As yet, however, there are few set rules guiding how to design persuasive ...