12373 search results - page 2320 / 2475 » Semi-Logarithmic Number Systems |
127
Voted
AIML
2006
15 years 4 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
127
Voted
CAINE
2004
15 years 4 months ago
2004
On the Internet, it is common practice to use a computer to provide web caching services. Such services aim to reduce network utilization and improve access time to a web page. Li...
121
click to vote
BIOCOMP
2006
15 years 4 months ago
2006
Systems biologic studies of gene and protein interaction networks have found that these networks are comprised of `modules' (groups of tightly interconnected nodes). Module i...
123
Voted
CIIT
2004
15 years 4 months ago
2004
Management has become a key concern for the success of multicast deployment in the Internet. One of the most important management tasks for multicast is to verify the availability...
134
click to vote
CIIT
2004
15 years 4 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...