ベスト会議論文

学術会議のベスト / 受賞論文を年別にまとめています。
5,817 件中 571 から 600 までを表示しています。
時間会議ベスト ペーパー
2024PEARCJapper: A Comprehensive Framework for Streamlining Jupyter-Based Scientific Web Application Development
2024PEARCBenchmarking with Supernovae: A Performance Study of the FLASH Code
2024PEARCA Model for Managing Multi-Tenant Research Databases
2024POPLParametric Subtyping for Structural Parametric Polymorphism
2024POPLFlan: An Expressive and Efficient Datalog Compiler for Program Analysis
2024POPLTotal Type Error Localization and Recovery with Holes
2024POPLSoundly Handling Linearity
2024POPLAutomatic Parallelism Management
2024POPLAn Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
2024POPLNominal Recursors as Epi-Recursors
2024POPLModular Denotational Semantics for Effects with Guarded Interaction Trees
2024PRICAIA Relaxed Symmetric Non-negative Matrix Factorization Approach for Community Discovery
2024PRICAIIRL for Restless Multi-armed Bandits with Applications in Maternal and Child Health
2024PRICAIOptimal Illumination Distance Metrics for Person Re-identification
2024PRICAIEnhancing Multimodal Rumor Detection with Statistical Image Features and Modal Alignment via Contrastive Learning
2024PRICAICogniReflect: A Deep Learning Framework for Learning Analytics
2024RecSysTowards Empathetic Conversational Recommender Systems
2024RecSysThe MovieLens Beliefs Dataset: Collecting Pre-Choice Data for Online Recommender Systems
2024RecSysUnlocking the Hidden Treasures: Enhancing Recommendations with Unlabeled Data
2024SAC'Binary Folding Compression for Efficient Software Distribution
2024SAC'Rescuing QUIC Flows From Countermeasures Against UDP Flooding Attacks
2024SAC'Graph Learning-based Fleet Scheduling for Urban Air Mobility under Operational Constraints, Varying Demand & Uncertainties
2024SAC'An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
2024SAC'The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains
2024SAC'VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time
2024SACMATA Bargaining-Game Framework for Multi-Party Access Control
2024SIGCOMMUnderstanding the Host Network
2024SIGCOMMThe Next Generation of BGP Data Collection Platforms
2024SIGCOMMExpresso: Comprehensively Reasoning About External Routes Using Symbolic Simulation
2024SIGCSECultural-Centric Computational Embroidery