626 search results - page 99 / 126 » When Can Formal Methods Make a Real Difference |
132
click to vote
KDD
2008
ACM
16 years 3 months ago
2008
ACM
There is an exploding amount of user-generated content on the Web due to the emergence of "Web 2.0" services, such as Blogger, MySpace, Flickr, and del.icio.us. The part...
111
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
114
click to vote
FAST
2010
15 years 5 months ago
2010
Latent sector errors (LSEs) refer to the situation where particular sectors on a drive become inaccessible. LSEs are a critical factor in data reliability, since a single LSE can ...
143
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: The availability of biomedical literature in electronic format has made it possible to implement automatic text processing methods to expose implicit relationships amo...
131
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
In today’s data-rich networked world, people express many aspects of their lives online. It is common to segregate different aspects in different places: you might write opinion...