Customer-obsessed science
Research areas
-
February 2, 202610 min readEvery NFL game generates millions of tracking data points from 22 RFID-equipped players. Seventy-five machine learning models running on AWS process that data in under a second, transforming football into a sport where every movement is measured, modeled, and instantly analyzed.
-
January 13, 20267 min read
-
January 8, 20264 min read
-
-
December 29, 20256 min read
Featured news
-
Physical Review E2024A hypergraph is a generalization of a graph that arises naturally when attribute-sharing among entities is considered. Compared to graphs, hypergraphs have the distinct advantage that they contain explicit communities and are more convenient to manipulate. An open problem in hypergraph research is how to accurately and efficiently calculate node distances on hypergraphs. Estimating node distances enables
-
MMSP 20242024In live video streaming, the size of manifest grows linearly as the overall time duration of manifest increases in many scenarios. Such a behavior exists across streaming technologies, e.g. Dynamic Adaptive Streaming through HTTP (DASH), HTTP Live Streaming (HLS) and Microsoft Smooth Streaming (MSS). It introduces significant overhead for manifest generation on cloud services, download latency and network
-
KDD 2024 Workshop on GenAI Evaluation2024We present a novel approach to automatically generate task-specific synthetic datasets for hallucination detection. Our approach features a two-step generation-selection pipeline, where the generation step integrates a hallucination pattern guidance module and a language style alignment module. Hallucination pattern guidance makes it possible to curate synthetic datasets covering the most important hallucination
-
MERLIN: Multimodal & multilingual embedding for recommendations at large-scale via item associations2024Product recommendations incentivize customers to make multiunit purchases by surfacing relevant products, leading to lower cost per unit for e-commerce stores and lower prices for their customers. However, the humongous scale of products, implicit co-purchase asymmetry and variation in co-purchase behavior across different categories, are orthogonal problems to solve. To address these problems, we propose
-
NIST 2024 Workshop on Formal Methods within Certification Programs2024It appears that the winds-of-change are blowing for formal verification of cryptographic software and, furthermore, those winds are blowing in the same direction. We perceive progress on several fronts: - Researchers in the mathematics of cryptography now publish formal specifications and proofs of security properties as a matter of course in their papers using language like EasyCrypt[10]. - Formal (yet
Collaborations
View allWhether you're a faculty member or student, there are number of ways you can engage with Amazon.
View all