2702 search results - page 482 / 541 » Practically Applicable Formal Methods |
131
Voted
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
125
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
135
Voted
HT
1987
ACM
15 years 5 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
139
Voted
CVPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We consider the general problem of learning from both labeled and unlabeled data. Given a set of data points, only a few of them are labeled, and the remaining points are unlabele...
127
Voted
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Given a huge real graph, how can we derive a representative sample? There are many known algorithms to compute interesting measures (shortest paths, centrality, betweenness, etc.)...