923 search results - page 169 / 185 » Proving the value of formal methods |
104
Voted
CADE
1998
Springer
15 years 6 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
122
click to vote
SIAMCOMP
2010
15 years 8 days ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
117
click to vote
SIGIR
2006
ACM
15 years 7 months ago
2006
ACM
Since the website is one of the most important organizational structures of the Web, how to effectively rank websites has been essential to many Web applications, such as Web sear...
120
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Perhaps the most common question that a microarray study can ask is, “Between two given biological conditions, which genes exhibit changed expression levels?” Existing methods...
123
click to vote
ALENEX
2010
15 years 3 months ago
2010
Previously [SODA'04] we devised the fastest known algorithm for 4-universal hashing. The hashing was based on small pre-computed 4-universal tables. This led to a five-fold i...