3600 search results - page 340 / 720 » Conversational intelligence analysis |
138
click to vote
LFCS
1992
Springer
15 years 9 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
127
click to vote
AI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Interactive data mining focuses on efficient and effective humancomputer interactions for data analysis purposes. An interactive system is an integration of a human user ...
126
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
150
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
The paper shows how to construct language patterns that signal influence strategies and tactical moves corresponding to such strategies. We apply corpus analysis methods to the ext...
137
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
An important issue for temporal planners is the ability to handle temporal uncertainty. Recent papers have addressed the question of how to tell whether a temporal network is Dynam...