142
click to vote
AAAI
1993
15 years 6 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
136
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— In [1], [2] it was noticed that sometimes it takes BGP a substantial amount of time and messages to converge and stabilize following the failure of some node in the Internet. I...