490 search results - page 14 / 98 » Automated Generalization of Translation Examples |
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...
IJCAI
1997
13 years 9 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
INFORMATICALT
1998
13 years 7 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
LISA
2004
13 years 9 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...