3844 search results - page 139 / 769 » Modular interpreted systems |
117
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
– We present a methodology for proving termination of left-linear term rewriting systems (TRSs) by using Albert Burroni’s polygraphs, a kind of rewriting systems on algebraic c...
139
click to vote
HAIS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...
ECIS
2000
15 years 4 months ago
2000
246
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...