1626 search results - page 163 / 326 » Subtyping with Power Types |
148
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we analyse how traders select marketplaces and bid in a setting with multiple competing marketplaces. Specifically, we use a fictitious play algorithm to analyse the...
126
Voted
CONSTRAINTS
2008
15 years 4 months ago
2008
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
122
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Serial Analysis of Gene Expression (SAGE) is a powerful tool to determine gene expression profiles. Two types of SAGE libraries, ShortSAGE and LongSAGE, are classified...
147
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
147
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...