490 search results - page 25 / 98 » Automated Generalization of Translation Examples |
ECSQARU
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
CL
2000
Springer
14 years 22 hour ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
TPHOL
1997
IEEE
13 years 12 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
IESA
2007
13 years 9 months ago
2007
In the area of Human Resource Management, the trend is towards online exchange of information about human resources. For example, online applications for employment become standar...
WWW
2010
ACM
14 years 1 months ago
2010
ACM
This tutorial focuses on the task of automated information linking in text and multimedia sources. In any task where information is fused from different sources, this linking is ...