21324 search results - page 371 / 4265 » Making the case for computing |
110
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper provides a new, decidable definition of the higherorder recursive path ordering in which type comparisons are made only when needed, therefore eliminating the...
126
Voted
CIIA
2009
15 years 6 months ago
2009
: Technology has emerged almost all the domains in our daily life. In computational linguistics, the uses of electronic corpora are very important. Nowadays it is possible to study...
95
Voted
CORR
2007
Springer
15 years 5 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...
159
Voted
ACL
2009
15 years 2 months ago
2009
We developed caitra, a novel tool that aids human translators by (a) making suggestions for sentence completion in an interactive machine translation setting, (b) providing altern...
118
Voted
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
The network of excellence HUMAINE is currently making a co-ordinated, interdisciplinary effort to develop a consistent view on emotion-oriented computing. This overview paper prop...