Sciweavers

179 search results - page 18 / 36
» Lazy Evaluation for OCL
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
15 years 7 months ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
NIPS
2004
15 years 3 months ago
Instance-Specific Bayesian Model Averaging for Classification
Classification algorithms typically induce population-wide models that are trained to perform well on average on expected future instances. We introduce a Bayesian framework for l...
Shyam Visweswaran, Gregory F. Cooper
AIR
2005
119views more  AIR 2005»
15 years 1 months ago
An Assessment of Case-Based Reasoning for Spam Filtering
Because of the changing nature of spam, a spam filtering system that uses machine learning will need to be dynamic. This suggests that a case-based (memory-based) approach may work...
Sarah Jane Delany, Padraig Cunningham, Lorcan Coyl...
WCFLP
2005
ACM
15 years 7 months ago
Lightweight program specialization via dynamic slicing
Program slicing is a well-known technique that extracts from a program those statements which are relevant to a particular criterion. While static slicing does not consider any in...
Claudio Ochoa, Josep Silva, Germán Vidal
PADO
2001
Springer
15 years 6 months ago
Implementing Circularity Using Partial Evaluation
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
Julia L. Lawall