5550 search results - page 818 / 1110 » Different Approaches to Proof Systems |
169
click to vote
SIGUCCS
2003
ACM
16 years 2 days ago
2003
ACM
Managing operating systems and campus-supported software can be a daunting challenge. Many colleges and universities handle these challenges by using disk imaging software to crea...
170
click to vote
FAST
2007
15 years 8 months ago
2007
Component failure in large-scale IT installations is becoming an ever larger problem as the number of components in a single cluster approaches a million. In this paper, we presen...
212
click to vote
AVI
2006
15 years 8 months ago
2006
Increasingly, public transportation systems are equipped with Global Positioning Systems (GPS) connected to control centers through wireless networks. Controllers use this infrast...
175
click to vote
VIP
2003
15 years 8 months ago
2003
Using different algorithms to segment different images is a quite straightforward strategy for automated image segmentation. But the difficulty of the optimal algorithm selection ...
226
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...