546 search results - page 67 / 110 » Using and Detecting Links in Wikipedia |
109
click to vote
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
101
click to vote
IMC
2007
ACM
15 years 2 months ago
2007
ACM
Entropy has recently gained considerable significance as an important metric for network measurement. Previous research has shown its utility in clustering traffic and detecting ...
76
Voted
AGIS
2000
15 years 10 days ago
2000
Transforming science findings into practical applications is presented in the specific case of using remote sensing to detect the presence of an infestation of grapevines. The vin...
SIAMCOMP
2000
15 years 8 days ago
2000
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
86
Voted
CHI
2003
ACM
16 years 26 days ago
2003
ACM
We present the IP Network Design Workbench which supports collaborative network design and simulation by a group of experts and customers. This system is based on a tangible user ...