535 search results - page 107 / 107 » Do we need dependent types |
197
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...
151
click to vote
DOLAP
2007
ACM
15 years 7 months ago
2007
ACM
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
149
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) is useful for solving agent-coordination problems. Any-space DCOP search algorithms require only a small amount of memory but can be spe...
154
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Prostate cancer is one of the leading causes of cancer illness and death among men in the United States and world wide. There is an urgent need to discover good biomar...
138
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
As the competition of Web search market increases, there is a high demand for personalized Web search to conduct retrieval incorporating Web users' information needs. This pa...