Search results for "order-invariance"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
49	Scott McCallum	On order-invariance of a binomial over a nullifying cell.	ISSAC	2003	DBLP DOI BibTeX RDF	order-invariance, CAD, projection
20	Julien Grange	Order-Invariance in the Two-Variable Fragment of First-Order Logic.	CSL	2023	DBLP DOI BibTeX RDF
20	Julien Grange	Order-Invariance in the Two-Variable Fragment of First-Order Logic.	CoRR	2022	DBLP DOI BibTeX RDF
16	Bartosz Bednarczyk, Julien Grange	About the Expressive Power and Complexity of Order-Invariance with Two Variables.	CoRR	2023	DBLP DOI BibTeX RDF
16	Bartosz Bednarczyk	Order-Invariance of Two-Variable Logic is coNExpTime-complete.	CoRR	2022	DBLP DOI BibTeX RDF
16	Yang Song 0011, Stefano Ermon	Accelerating Natural Gradient with Higher-Order Invariance.	CoRR	2018	DBLP BibTeX RDF
16	Yang Song 0011, Jiaming Song, Stefano Ermon	Accelerating Natural Gradient with Higher-Order Invariance.	ICML	2018	DBLP BibTeX RDF
16	Thomas Zeume, Frederik Harwath	Order-Invariance of Two-Variable Logic is Decidable.	CoRR	2016	DBLP BibTeX RDF
16	Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe	Order Invariance on Decomposable Structures.	CoRR	2016	DBLP BibTeX RDF
16	Thomas Zeume, Frederik Harwath	Order-Invariance of Two-Variable Logic is Decidable.	LICS	2016	DBLP DOI BibTeX RDF
16	Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe	Order Invariance on Decomposable Structures.	LICS	2016	DBLP DOI BibTeX RDF
16	Jie Zhuang, Jiadong Zhang, Demin Zhou, Hong Pang, Wei Huang	An Improved Wi-Fi Indoor Positioning Method via Signal Strength Order Invariance.	CIT	2014	DBLP DOI BibTeX RDF
16	Anwaar Ul Haq, Iqbal Gondal, M. Manzur Murshed	On Temporal Order Invariance for View-Invariant Action Recognition.	IEEE Trans. Circuits Syst. Video Technol.	2013	DBLP DOI BibTeX RDF
11	Benjamin Rossman	Successor-Invariance in the Finite.	LICS	2003	DBLP DOI BibTeX RDF
9	Yung-Chieh Lin, Yu-Pao Tsai, Yi-Ping Hung, Zen-Chung Shih	Comparison between immersion-based and toboggan-based watershed image segmentation.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
8	Ari Juels, Madhu Sudan 0001	A Fuzzy Vault Scheme.	Des. Codes Cryptogr.	2006	DBLP DOI BibTeX RDF	error-correting codes, authentication, cryptography

Displaying result #1 - #16 of 16 (100 per page; Change: )