6 citations · 7 across the 3 of their papers we have counts for
3 papers
Technical Report: Toward Applying Quantum Computing to Network Verification
Kahlil Dozier, Justin Beltran, Kylie Berg +4
Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware v…
BaboonLand Dataset: Tracking Primates in the Wild and Automating Behaviour Recognition from Drone Videos
Isla Duporge, Maksim Kholiavchenko, Roi Harel +9
Using drones to track multiple individuals simultaneously in their natural environment is a powerful approach for better understanding group primate behavior. Previous studies have…
Technical Report: Modeling Average False Positive Rates of Recycling Bloom Filters
Kahlil Dozier, Loqman Salamatian, Dan Rubenstein
Bloom Filters are a space-efficient data structure used for the testing of membership in a set that errs only in the False Positive direction. However, the standard analysis that m…