2013 search results - page 51 / 403 » Happy New Year |
171
click to vote
ECSCW
1997
15 years 7 months ago
1997
: After eleven years, CSCW is a well recognized research field which has generated, among other things, some new theoretical findings on work practices and cooperation and some new...
116
click to vote
IJCAI
1997
15 years 7 months ago
1997
In the last three years, several “radically new” and promising approaches have been developed for tackling the plan synthesis problem. Currently, these approaches exist in iso...
228
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
187
click to vote
ICALT
2008
IEEE
16 years 24 days ago
2008
IEEE
“Lemat” is an acronym for Libro Electrónico de Matemáticas, which means Electronic Book of Mathematics. It is a project developed by a group of teachers at secondary school ...
155
click to vote
ICDIM
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper describes the basis of citation auctions that are introduced as a new approach to selecting scientific papers for publication. Unlike the state of the art in paper sele...