5550 search results - page 656 / 1110 » Different Approaches to Proof Systems |
238
click to vote
BMCBI
2007
15 years 7 months ago
2007
Several systems have been presented in the last years in order to manage the complexity of large microarray experiments. Although good results have been achieved, most systems ten...
240
click to vote
ICDCS
2011
IEEE
14 years 6 months ago
2011
IEEE
—The number of real-world applications that require QoS guarantees is constantly increasing and they often follow the publish/subscribe (pub/sub) messaging paradigm, which provid...
183
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
With the growing interest in object categorization various methods have emerged that perform well in this challenging task, yet are inherently limited to only a moderate number of...
174
click to vote
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
194
click to vote
WCRE
2005
IEEE
16 years 22 days ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...