179 search results - page 26 / 36 » Lazy Evaluation for OCL |
146
click to vote
HASKELL
2007
ACM
15 years 5 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
103
click to vote
FPCA
1995
15 years 5 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
FLAIRS
2001
15 years 3 months ago
2001
Learningis generally performedin twostages, knowledge acquisition and skill refinement. Developments within machinelearning havetended to concentrate on knowledgeacquisition as op...
111
click to vote
JAIR
2008
15 years 1 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...
107
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
This paper describes a set of comparative experiments, including cross{corpus evaluation, between ve alternative algorithms for supervised Word Sense Disambiguation (WSD), namely ...