2596 search results - page 377 / 520 » Gradual Typing for Objects |
131
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...
155
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we investigate multi-agent learning (MAL) in a multi-agent resource selection problem (MARS) in which a large group of agents are competing for common resources. Si...
134
Voted
DGO
2007
15 years 5 months ago
2007
There has been considerable work on determining a suitable method to accomplish a satisfactory ordering of a group of objects, when there are multiple evaluation criteria. A weigh...
167
click to vote
SOFTVIS
2010
ACM
15 years 4 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
122
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
Background: Agglomerative hierarchical clustering (AHC) is a common unsupervised data analysis technique used in several biological applications. Standard AHC methods require that...