535 search results - page 68 / 107 » Do we need dependent types |
WWW
2010
ACM
14 years 2 months ago
2010
ACM
When online ads are shown together, they compete for user attention and conversions, imposing negative externalities on each other. While the competition for user attention in spo...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...
LCN
1999
IEEE
13 years 12 months ago
1999
IEEE
In Wireless ATM networks, user connections need to be rerouted during handoff as mobile users move among base stations. The rerouting of connections must be done quickly with mini...
C3S2E
2008
ACM
13 years 9 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
BMCBI
2010
13 years 7 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...