8099 search results - page 166 / 1620 » Higher-Order Task Models |
166
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
216
click to vote
TASLP
2010
15 years 4 months ago
2010
—Social tagging is becoming increasingly popular in music information retrieval (MIR). It allows users to tag music items like songs, albums, or artists. Social tags are valuable...
147
click to vote
TAMODIA
2004
15 years 7 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
166
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
MCT is a widely used heuristic for scheduling tasks onto grid platforms. However, when dealing with many tasks, MCT tends to dramatically delay already mapped task completion time...
225
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Distributed representations of words are attractive since they provide a means for measuring word similarity. However, most approaches to learning distributed representations are ...