200 search results - page 26 / 40 » Style machines |
ECTEL
2008
Springer
15 years 26 days ago
2008
Springer
Providing a student with feedback that is timely, most suitable and useful for her personality and the performed task is a challenging problem of online assessment within Web-based...
103
click to vote
ICML
2010
IEEE
15 years 25 days ago
2010
IEEE
Pseudo-likelihood and contrastive divergence are two well-known examples of contrastive methods. These algorithms trade off the probability of the correct label with the probabili...
115
click to vote
AUSAI
2011
Springer
13 years 11 months ago
2011
Springer
The amount of user generated content on the Web is growing and identifying high quality content in a timely manner has become a problem. Many forums rely on its users to manually r...
195
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...