BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
one (2)
hybrid (2)
three (2)
two (2)
system (2)

Stem infin$ (all stems)

13 papers:

FMFM-2015-SharmaWCHC #infinity #reasoning
Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
CAVCAV-2012-Moskal #bound #c #infinity #verification
From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
ICSEICSE-2011-StengelFAFKD #development #feature model #infinity #interface
View infinity: a zoomable interface for feature-oriented software development (MS, MF, SA, JF, CK, RD), pp. 1031–1033.
ICMLICML-2009-QuattoniCCD #infinity #performance
An efficient projection for l1,infinity regularization (AQ, XC, MC, TD), pp. 857–864.
ICPRICPR-2008-LinG #infinity #using
Depth recovery using defocus blur at infinity (HYL, KDG), pp. 1–4.
CASECASE-2006-ChenYTCW #difference #fuzzy #hybrid #linear #matrix
Applying the Linear Matrix Inequality for Hybrid Fuzzy/H-infinity Control of Active Structural Damping (CWC, KY, CHT, CYC, DJW), pp. 678–682.
SACSAC-2006-HeatherS #analysis #infinity #protocol #security
To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
LICSLICS-2003-PistoreV #infinity
The Planning Spectrum — One, Two, Three, Infinity (MP, MYV), pp. 234–243.
CSLCSL-1999-Franzle #analysis #hybrid #infinity
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States (MF), pp. 126–140.
CSLCSL-1993-Raffalli #data type #infinity #similarity
Data Types, Infinity and Equality in System AF2 (CR), pp. 280–294.
HTHT-ECHT-1992-Martucci92b #infinity #multi
From Infinity to Infinity (a Multimedia History of the Universe, Demonstration) (RM), p. 292.
ICALPICALP-1991-Wilke #theorem
An Eilenberg Theorem for Infinity-Languages (TW), pp. 588–599.
STOCSTOC-1985-FichHRW #bound #infinity #parallel
One, Two, Three … Infinity: Lower Bounds for Parallel Computation (FEF, FMadH, PR, AW), pp. 48–58.

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.