BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (8)
theori (7)
method (3)
optim (3)
base (3)

Stem homotopi$ (all stems)

18 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.