3323 search results - page 128 / 665 » Computational Semantics with Functional Programming |
124
Voted
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
152
Voted
EUSFLAT
2009
15 years 13 days ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
165
Voted
CL
2012
Springer
13 years 5 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...
127
Voted
CLEF
2005
Springer
15 years 8 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...
141
Voted
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...