1131 search results - page 77 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
101
click to vote
ACL
2006
15 years 1 months ago
2006
We present a novel hybrid approach for Word Sense Disambiguation (WSD) which makes use of a relational formalism to represent instances and background knowledge. It is built using...
84
Voted
ERLANG
2006
ACM
15 years 6 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
111
Voted
LISP
2008
15 years 13 days ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
109
Voted
CEFP
2005
Springer
15 years 6 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
112
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Genetic Programming offers freedom in the definition of the cost function that is unparalleled among supervised learning algorithms. However, this freedom goes largely unexploited...