2638 search results - page 373 / 528 » Frameworks for Reasoning about Agent Based Systems |
194
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
204
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
160
click to vote
EWCBR
2004
Springer
15 years 12 months ago
2004
Springer
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...
148
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
In order to achieve optimal efficiency in a learning process, individual learner needs his/her own personalized assistance. For a web-based open and dynamic learning environment, ...
179
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the recent advances in communications technologies and decentralization of work practices, there has been an increase in distributed, remote, computerized work environments. I...