2335 search results - page 343 / 467 » Type Checking Type Classes |
169
click to vote
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
116
click to vote
DLT
2007
15 years 4 months ago
2007
Recently the duplication closure of words and languages has received much interest. We investigate a reversal of it: the duplication root reduces a word to a square-free one. After...
113
click to vote
IQ
2003
15 years 3 months ago
2003
: Genome databases store data about molecular biological entities such as genes, proteins, diseases, etc. The main purpose of creating and maintaining such databases in commercial ...
119
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Human users trying to plan and accomplish informationdependent goals in highly dynamic environments with prevalent uncertainty must consult various types of information s...
127
Voted
GRC
2008
IEEE
15 years 3 months ago
2008
IEEE
Graph-theory-based approaches have been used with great success when analyzing abstract properties of natural and artificial networks. However, these approaches have not factored...