18 papers:
POPL-2015-Sojakova #algebra #induction- Higher Inductive Types as Homotopy-Initial Algebras (KS), pp. 31–42.
LICS-2015-LicataB #approach- A Cubical Approach to Synthetic Homotopy Theory (DRL, GB), pp. 92–103.
TLCA-2015-AhrensCS #type system- Non-Wellfounded Trees in Homotopy Type Theory (BA, PC, RS), pp. 17–30.
- TLCA-2015-HirschowitzHT #type system
- Wild ω-Categories for the Homotopy Hypothesis in Type Theory (AH, TH, NT), pp. 226–240.
ICML-c1-2014-LinX #adaptation #continuation #optimisation- An Adaptive Accelerated Proximal Gradient Method and its Homotopy Continuation for Sparse Optimization (QL, LX), pp. 73–81.
- ICML-c2-2014-SuzumuraOST #algorithm #robust
- Outlier Path: A Homotopy Algorithm for Robust SVM (SS, KO, MS, IT), pp. 1098–1106.
- LICS-CSL-2014-LicataF #type system
- Eilenberg-MacLane spaces in homotopy type theory (DRL, EF), p. 9.
- LICS-2013-LicataS #type system
- Calculating the Fundamental Group of the Circle in Homotopy Type Theory (DRL, MS), pp. 223–232.
- ICML-2012-XiaoZ #problem
- A Proximal-Gradient Homotopy Method for the L1-Regularized Least-Squares Problem (LX, TZ), p. 160.
ICPR-2012-KangLXP #classification #kernel #representation- Kernel Homotopy based sparse representation for object classification (CK, SL, SX, CP), pp. 1479–1482.
- LICS-2012-AwodeyGS #induction #type system
- Inductive Types in Homotopy Type Theory (SA, NG, KS), pp. 95–104.
DATE-2011-LiuS #continuation #optimisation #performance- An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
- TLCA-2011-ArndtK #formal method #modelling #type system
- Homotopy-Theoretic Models of Type Theory (PA, KK), pp. 45–60.
- DATE-2010-JeeraditKH #optimisation
- Intent-leveraged optimization of analog circuits via homotopy (MJ, JK, MH), pp. 1614–1619.
ICEIS-ISAS-2009-OhmoriK #approach #development #enterprise #invariant- Enterprise System Development with Invariant Preserving — A Mathematical Approach by the Homotopy Lifting and Extension Properties (KO, TLK), pp. 116–123.
STOC-2003-DeyGJ- Alpha-shapes and flow shapes are homotopy equivalent (TKD, JG, MJ), pp. 493–502.
- ICPR-v3-2002-DeschenesZF #estimation
- Homotopy-Based Estimation of Depth Cues in Spatial Domain (FD, DZ, PF), pp. 627–630.
DAC-1996-RoychowdhuryM #scalability- Homotopy Techniques for Obtaining a DC Solution of Large-Scale MOS Circuits (JSR, RCM), pp. 286–291.
