5810 search results - page 47 / 1162 » An Approach to Programming Based on Concepts |
CLEF
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
VSTTE
2005
Springer
15 years 4 months ago
2005
Springer
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
VL
2000
IEEE
15 years 3 months ago
2000
IEEE
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...