4460 search results - page 658 / 892 » Formal methods for interactive systems |
168
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
168
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
As call centersbecomemorepervasive,the customersseek individualized service and greater attention. The call centers are becoming the contact centers - a one-stop, singleinterfacef...
154
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...
166
click to vote
ICMAS
1998
15 years 7 months ago
1998
This work presents a lookahead-based exploration strategy for a model-based learning agent that enables exploration of the opponent's behavior during interaction in a multi-a...
164
click to vote
SMARTNET
2000
15 years 7 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...