4666 search results - page 587 / 934 » Equations on Timed Languages |
174
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
135
click to vote
UM
2005
Springer
16 years 10 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...
163
click to vote
UM
2005
Springer
16 years 10 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...
153
click to vote
UM
2005
Springer
16 years 10 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...
190
click to vote
IFIP
2004
Springer
16 years 6 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...