1830 search results - page 20 / 366 » Workshop on Graph Computation Models |
TAMC
2009
Springer
14 years 2 months ago
2009
Springer
We study a new model of computation called stream checking on graph problems where a space-limited verifier has to verify a proof sequentially (i.e., it reads the proof as a strea...
CW
2006
IEEE
14 years 1 months ago
2006
IEEE
WSTST
2005
Springer
14 years 1 months ago
2005
Springer
ECEASST
2010
13 years 5 months ago
2010
LREC
2010
13 years 9 months ago
2010
Determining semantic relatedness between words or concepts is a fundamental process to many Natural Language Processing applications. Approaches for this task typically make use o...