139 search results - page 10 / 28 » User Guidance of Resource-Adaptive Systems |
KDD
2012
ACM
11 years 9 months ago
2012
ACM
Real-world, multiple-typed objects are often interconnected, forming heterogeneous information networks. A major challenge for link-based clustering in such networks is its potent...
TACAS
2000
Springer
13 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
ISUVR
2007
13 years 8 months ago
2007
—Recently, many researchers have studied on animated pedagogical agents to improve students’ learning experience in educational systems. In this paper, we describe how personal...
FSKD
2005
Springer
14 years 7 days ago
2005
Springer
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
SOSP
2007
ACM
14 years 3 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...