1912 search results - page 147 / 383 » On the evaluation of argumentation formalisms |
153
click to vote
IFL
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
166
click to vote
IFL
2007
Springer
16 years 19 days ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
165
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
163
click to vote
AIMSA
2008
Springer
16 years 25 days ago
2008
Springer
: Although instant messaging is a very popular tool for collaboration and it has been used for a wide variety of CSCL tasks, there are only a few applications for assisting the tut...