8760 search results - page 418 / 1752 » Modeling users of intelligent systems |
155
click to vote
WCE
2007
15 years 8 months ago
2007
- Websites are used to establish the company’s policy and image, to promote and sell goods or support services and to provide customer support and to facilitate the communication...
140
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
217
click to vote
ABIALS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present a model of motor learning based on a combination of Operational Space Control and Optimal Control. Anticipatory processes are used both in the learning of the ...
215
click to vote
AIMDM
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
179
Voted
CP
2007
Springer
15 years 10 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...