3653 search results - page 381 / 731 » On Recognizable Timed Languages |
132
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
162
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
151
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...
173
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
186
click to vote
IFIP
2004
Springer
16 years 3 days ago
2004
Springer
We develop an external memory algorithm for computing minimum spanning trees. The algorithm is considerably simpler than previously known external memory algorithms for this proble...