1729 search results - page 79 / 346 » Generic Haskell: Applications |
133
click to vote
ALENEX
2001
15 years 6 months ago
2001
Abstract. We present a generic package for resource constrained network optimization problems. We illustrate the flexibility and the use of our package by solving four applications...
134
click to vote
IJCAI
2001
15 years 6 months ago
2001
A component-based generic agent architecture for multi-attribute (integrative) negotiation is introduced and its application is described in a prototype system for negotiation abo...
JSYML
2007
15 years 4 months ago
2007
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the L´evy collapse. These show in particul...
129
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
244
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We introduce a notion of guarded recursive (g.r.) datatype constructors, generalizing the notion of recursive datatypes in functional programming languages such as ML and Haskell....