858 citations
- National University of SingaporeSG14 papers
- Centre for Quantum TechnologiesSG8 papers
- Nanyang Technological UniversitySG5 papers
- ETH ZurichCH4 papers
- Microsoft (United States)US3 papers
- Chalmers University of TechnologySE2 papers
- École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des TélécommunicationsFR2 papers
- Institut de Recherche en Informatique de ToulouseFR2 papers
- Max Planck Institute for Intelligent SystemsDE2 papers
- Université de ToulouseFR2 papers
- University of California, BerkeleyUS2 papers
- University of CambridgeGB2 papers
4 papers · 1 filter
BOSPHORUS: Bridging ANF and CNF Solvers
Davin Choo, Mate Soos, Kian Ming A. Chai +1
Algebraic Normal Form (ANF) and Conjunctive Normal Form (CNF) are commonly used to encode problems in Boolean algebra. ANFs are typically solved via Gr"obner basis algorithms, ofte…
Chemical Structure Elucidation from Mass Spectrometry by Matching Substructures
Jing Lim, Joshua Wong, Minn Xuan Wong +4
Chemical structure elucidation is a serious bottleneck in analytical chemistry today. We address the problem of identifying an unknown chemical threat given its mass spectrum and i…
Real-Time Dense Mapping for Self-driving Vehicles using Fisheye Cameras
Zhaopeng Cui, Lionel Heng, Ye Chuan Yeo +3
We present a real-time dense geometric mapping algorithm for large-scale environments. Unlike existing methods which use pinhole cameras, our implementation is based on fisheye cam…
Project AutoVision: Localization and 3D Scene Perception for an Autonomous Vehicle with a Multi-Camera System
Lionel Heng, Benjamin Choi, Zhaopeng Cui +10
Project AutoVision aims to develop localization and 3D scene perception capabilities for a self-driving vehicle. Such capabilities will enable autonomous navigation in urban and ru…