|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 184-190, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
order-invariance, CAD, projection |
20 | Julien Grange |
Order-Invariance in the Two-Variable Fragment of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland., pp. 23:1-23:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-264-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Julien Grange |
Order-Invariance in the Two-Variable Fragment of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.04986, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Bartosz Bednarczyk, Julien Grange |
About the Expressive Power and Complexity of Order-Invariance with Two Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.08410, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Bartosz Bednarczyk |
Order-Invariance of Two-Variable Logic is coNExpTime-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.07577, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Yang Song 0011, Stefano Ermon |
Accelerating Natural Gradient with Higher-Order Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.01273, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Yang Song 0011, Jiaming Song, Stefano Ermon |
Accelerating Natural Gradient with Higher-Order Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018, pp. 4720-4729, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
16 | Thomas Zeume, Frederik Harwath |
Order-Invariance of Two-Variable Logic is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.05843, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe |
Order Invariance on Decomposable Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.06557, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
16 | Thomas Zeume, Frederik Harwath |
Order-Invariance of Two-Variable Logic is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 807-816, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe |
Order Invariance on Decomposable Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 397-406, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 14th IEEE International Conference on Computer and Information Technology, CIT 2014, Xi'an, China, September 11-13, 2014, pp. 3-6, 2014, IEEE Computer Society, 978-1-4799-6238-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Anwaar Ul Haq, Iqbal Gondal, M. Manzur Murshed |
On Temporal Order Invariance for View-Invariant Action Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 23(2), pp. 203-211, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
11 | Benjamin Rossman |
Successor-Invariance in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 148-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 15(3), pp. 632-640, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Ari Juels, Madhu Sudan 0001 |
A Fuzzy Vault Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 38(2), pp. 237-257, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
error-correting codes, authentication, cryptography |
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|