Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Hsi-Jian Lee, Yu-Cheng Tsao |
Measurement of Face Recognizability for Visual Surveillance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR (2) ![In: Pattern Recognition and Image Analysis, Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II, pp. 287-294, 2005, Springer, 3-540-28833-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
69 | Damon Kaller |
Definability Equals Recognizability of Partial 3-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings, pp. 239-253, 1996, Springer, 3-540-62559-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
53 | Bruno Courcelle |
On Several Proofs of the Recognizability Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 78-80, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Irène Durand, Géraud Sénizergues |
Bottom-Up Rewriting Is Inverse Recognizability Preserving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 107-121, 2007, Springer, 978-3-540-73447-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka, Yuichi Kaji |
Layered Transducing Term Rewriting System and Its Recognizability Preserving Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 98-113, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
53 | Toshinori Takai, Yuichi Kaji, Hiroyuki Seki |
Right-Linear Finite Path Overlapping Term Rewriting Systems Effectively Preserve Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 246-260, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
53 | Dora Giammarresi, Antonio Restivo, Sebastian Seibert, Wolfgang Thomas |
Monadic Second-Order Logic Over Pictures and Recognizability by Tiling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 365-375, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
51 | Jean-Claude Latombe |
Controllability, Recognizability, and Complexity Issues in Robot Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 484-500, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complexity issues, many-degree-of-freedom robots, computational complexity, computational complexity, mobile robots, controllability, controllability, path planning, path planning, random sampling, autonomous robots, robot motion planning, recognizability |
47 | Giusi Castiglione, Roberto Vaglica |
Recognizable Picture Languages and Polyominoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 160-171, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Danièle Beauquier, Andreas Podelski |
Rabin Tree Automata and Finite Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 262-271, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
45 | Yves Métivier, Gwénaël Richomme, Pierre-André Wacrenier |
Computing the Closure of Sets of Words Under Partial Commutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 75-86, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Star Problem, trace monoids, rank, commutation, recognizability |
43 | William D. Voiers |
Evaluating the effects of communication systems on speaker recognizability by human listeners: The Diagnostic Speaker Recognizability Test (DSRT). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Odyssey ![In: 2001: A Speaker Odyssey - The Speaker Recognition Workshop, Crete, Greece, June 18-22, 2001, pp. 89-94, 2001, ISCA. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
37 | Sylvain Salvati |
Recognizability in the Simply Typed Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 48-60, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | H. Geetha, D. Gnanaraj Thomas, T. Kalyani, T. Robinson 0001 |
Recognizability of Polyhexes by Tiling and Wang Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II, pp. 568-577, 2009, Springer, 978-3-642-10519-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hexagonal picture languages, recognizable hexagonal picture languages, Polyominoes, Wang tiles |
37 | Tomi Kärki, Anne Lacroix, Michel Rigo |
On the Recognizability of Self-generating Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings, pp. 525-536, 2009, Springer, 978-3-642-03815-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
37 | H. J. Sander Bruggink, Barbara König 0001 |
On the Recognizability of Arrow and Graph Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 336-350, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Symeon Bozapalidis, Antonios Kalampakas |
Recognizability of graph and pattern languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 42(8-9), pp. 553-581, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Masayasu Atsumi |
Scene Memory on Competitively Growing Neural Network Using Temporal Coding: Self-organized Learning and Glance Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 393-398, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Liwei Dai, Andrew Sears, Rich Goldman |
Shifting the focus from accuracy to recallability: A study of informal note-taking on mobile information technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 16(1), pp. 4:1-4:46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Informal notes, recognition-based text entry, mobile device, recognition error |
32 | Symeon Bozapalidis, Archontia Grammatikopoulou |
An Eilenberg Theorem for Pictures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings, pp. 172-188, 2009, Springer, 978-3-642-03563-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Daniel Kirsten |
Some Undecidability Results Related to the Star Problem in Trace Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings, pp. 227-236, 1999, Springer. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Martin Otto 0001 |
The Logic of Explicitly Presentation-Invariant Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers, pp. 369-384, 1996, Springer, 3-540-63172-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
generic computation, Circuit complexity, finite model theory |
29 | Gwénaël Richomme |
Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings, pp. 577-586, 1994, Springer, 3-540-58338-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
trace monoids, Star Problem, Finite Power Property Problem, recognizability |
29 | Yves Métivier, Gwénaël Richomme |
On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings, pp. 341-352, 1994, Springer, 3-540-57785-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
trace monoids, finite power property, recognizability |
22 | Jacky Chen Long Chai, Tiong-Sik Ng, Cheng-Yaw Low, Jaewoo Park, Andrew Beng Jin Teoh |
Recognizability Embedding Enhancement for Very Low-Resolution Face Recognition and Quality Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10066, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Marie-Pierre Béal, Dominique Perrin, Antonio Restivo, Wolfgang Steiner |
Recognizability in S-adic shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.06258, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jacky Chen Long Chai, Tiong-Sik Ng, Cheng-Yaw Low, Jaewoo Park, Andrew Beng Jin Teoh |
Recognizability Embedding Enhancement for Very Low-Resolution Face Recognition and Quality Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023, Vancouver, BC, Canada, June 17-24, 2023, pp. 9957-9967, 2023, IEEE, 979-8-3503-0129-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Merlin Carl |
All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings, pp. 77-88, 2023, Springer, 978-3-031-36977-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Seth Nixon, Pietro Ruiu, Marinella Cadoni, Andrea Lagorio, Massimo Tistarelli |
Exploiting Face Recognizability with Early Exit Vision Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOSIG ![In: International Conference of the Biometrics Special Interest Group, BIOSIG 2023, Darmstadt, Germany, September 20-22, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-3655-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Victor Boutin, Lakshya Singhal, Xavier Thomas, Thomas Serre |
Diversity vs. Recognizability: Human-like generalization in one-shot generative models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.10370, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Victor Boutin, Lakshya Singhal, Xavier Thomas, Thomas Serre |
Diversity vs. Recognizability: Human-like generalization in one-shot generative models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans, LA, USA, November 28 - December 9, 2022., 2022, 9781713871088. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
22 | G. S. Venkatesh |
Doubly-Rational Series: Recognizability and Realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 56th Annual Conference on Information Sciences and Systems, CISS 2022, Princeton, NJ, USA, March 9-11, 2022, pp. 60-65, 2022, IEEE, 978-1-6654-1796-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
22 | José Ramón González de Mendívil, Federico Fariña |
Recognizability of languages via deterministic finite automata with values on a monoid: General Myhill-Nerode Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.05968, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Marie-Pierre Béal, Dominique Perrin, Antonio Restivo |
Recognizability of morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.10267, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Jonathan Helland, Nathan M. VanHoudnos |
On the human-recognizability phenomenon of adversarially trained deep image classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.05219, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
22 | Yves Cornulier, John S. Wilson |
First-order Recognizability in finite and pseudofinite Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 85(2), pp. 852-867, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Patrick Cégielski, Serge Grigorieff, Irène Guessarian |
Congruence Preservation, Lattices and Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05943, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
22 | Juan Climent Vidal, Enric Cosme-Llópez |
Congruence-based proofs of the recognizability theorems for free many-sorted algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 30(2), pp. 561-633, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | G. S. Venkatesh, W. Steven Gray |
Shuffle-Rational Series: Recognizability and Realizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSTCC ![In: 24th International Conference on System Theory, Control and Computing, ICSTCC 2020, Sinaia, Romania, October 8-10, 2020, pp. 404-411, 2020, IEEE, 978-1-7281-9809-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Shanxin Zhang, Cheng Wang 0003, Lili Lin, Chenglu Wen, Chenhui Yang, Zhemin Zhang, Jonathan Li 0001 |
Automated Visual Recognizability Evaluation of Traffic Sign Based on 3D LiDAR Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 11(12), pp. 1453, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Mohammad Hossein Khosravi, Hamid Hassanpour, Alireza Ahmadifard |
A content recognizability measure for image quality assessment considering the high frequency attenuating distortions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 77(6), pp. 7357-7382, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Juan Climent Vidal, Enric Cosme-Llópez |
Congruence based proofs of the recognizability theorems for free many-sorted algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1808.08217, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Shigeki Akiyama, Bo Tan, Hisatoshi Yuasa |
On B. Mossé's unilateral recognizability theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.03536, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
22 | Didier Caucal, Chloé Rispal |
Boolean Algebras by Length Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Models, Mindsets, Meta ![In: Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, pp. 169-185, 2018, Springer, 978-3-030-22347-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Didier Caucal, Chloé Rispal |
Recognizability for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, pp. 206-218, 2018, Springer, 978-3-319-98653-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Maria Pittou, George Rahonis |
Weighted Recognizability over Infinite Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 23(1), pp. 283-317, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Fabien Durand, Julien Leroy 0002 |
The Constant of Recognizability is Computable for Primitive Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Integer Seq. ![In: J. Integer Seq. 20(4), pp. 17.4.5, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Lars Jaffke, Hans L. Bodlaender, Pinar Heggernes, Jan Arne Telle |
Definability equals recognizability for k-outerplanar graphs and l-chordal partial k-trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 66, pp. 191-234, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Judy Reed Edworthy, Scott Reid, Siné McDougall, Jonathan Edworthy, Stephanie Hall, Danielle Bennett, James Khan, Ellen Pye |
The Recognizability and Localizability of Auditory Alarms: Setting Global Medical Device Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hum. Factors ![In: Hum. Factors 59(7), pp. 1108-1127, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Shanxin Zhang, Cheng Wang 0003, Zhuang Yang, Chenglu Wen, Jonathan Li 0001, Chenhui Yang |
Traffic Sign Timely Visual Recognizability Evaluation Based on 3D Measurable Point Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.03553, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
22 | Merlin Carl |
Infinite time recognizability from generic oracles and the recognizable jump operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 6(3), pp. 223-247, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Merlin Carl, Philipp Schlicht |
The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 198-209, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
22 | R. D. Giri |
On the Recognizability of Right Complete Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 20(1), pp. 45-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Mikolaj Bojanczyk, Michal Pilipczuk |
Definability equals recognizability for graphs of bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.03045, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Fabien Durand, Julien Leroy 0002 |
The constant of recognizability is computable for primitive morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.05577, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Mikolaj Bojanczyk, Michal Pilipczuk |
Definability equals recognizability for graphs of bounded treewidth. ![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. 407-416, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Hans L. Bodlaender, Pinar Heggernes, Jan Arne Telle |
Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Notes Discret. Math. ![In: Electron. Notes Discret. Math. 49, pp. 559-568, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Merlin Carl |
Optimal Results on Recognizability for Infinite Time Register Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(4), pp. 1116-1130, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Lars Jaffke, Hans L. Bodlaender |
Definability Equals Recognizability for $k$-Outerplanar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1509.08315, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Lars Jaffke, Hans L. Bodlaender |
MSOL-Definability Equals Recognizability for Halin Graphs and Bounded Degree k-Outerplanar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.01604, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
22 | Jingwei Huang 0001, Huarong Chen, Bin Wang 0021, Stephen Lin |
Automatic Thumbnail Generation Based on Visual Representativeness and Foreground Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 2015 IEEE International Conference on Computer Vision, ICCV 2015, Santiago, Chile, December 7-13, 2015, pp. 253-261, 2015, IEEE Computer Society, 978-1-4673-8391-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Zhou Teng, Jing Xiao 0001 |
A learning-based approach for evaluating scene recognizability of a view. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pp. 4265-4272, 2015, IEEE, 978-1-4799-6923-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Wataru Shimoda, Keiji Yanai |
A visual analysis on recognizability and discriminability of onomatopoeia words with DCNN features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: 2015 IEEE International Conference on Multimedia and Expo, ICME 2015, Turin, Italy, June 29 - July 3, 2015, pp. 1-6, 2015, IEEE Computer Society, 978-1-4799-7082-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Merlin Carl |
ITRM I T R M -Recognizability from Random Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 137-144, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Lars Jaffke, Hans L. Bodlaender |
Definability Equals Recognizability for k-Outerplanar Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPEC ![In: 10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece, pp. 175-186, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-92-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Géraud Sénizergues |
FREC 14: FRontiers of RECognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5611, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Bruno Courcelle, Irène Durand |
Fly-automata, model-checking and recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.5368, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Jozef Gruska, Lvzhou Li, Shenggen Zheng |
Recognizability versus solvability of promise problems in finite, classical and quantum automata, framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.3870, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Makoto Nagatomo, Makoto Sakamoto, Tatsuma Kurogi, Satoshi Ikeda, Masahiro Yokomichi, Hiroshi Furutani, Takao Ito, Yasuo Uchida, Tsunehiro Yoshinaga |
Remarks on Recognizability of Four-Dimensional Topological Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Robotics Netw. Artif. Life ![In: J. Robotics Netw. Artif. Life 1(3), pp. 212-215, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Giorgio Roffo, Cinzia Giorgetta, Roberta Ferrario, Marco Cristani |
Just the Way You Chat: Linking Personality, Style and Recognizability in Chats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HBU ![In: Human Behavior Understanding - 5th International Workshop, HBU 2014, Zurich, Switzerland, September 12, 2014. Proceedings, pp. 30-41, 2014, Springer, 978-3-319-11838-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Juha Honkala |
Recognizability in Certain Matrix Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete Mathematics and Computer Science ![In: Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., pp. 201-206, 2014, The Publishing House of the Romanian Academy, 978-973-27-2470-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
22 | Simone Bianco 0001, Gianluigi Ciocca, Giuseppe Claudio Guarnera, Andrea Scaggiante, Raimondo Schettini |
Scoring recognizability of faces for security applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Processing: Machine Vision Applications ![In: Image Processing: Machine Vision Applications VII, San Francisco, California, USA, February 2-6, 2014, pp. 90240L, 2014, SPIE, 9780819499417. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Aditi S. Muralidharan, Marti A. Hearst |
Improving the Recognizability of Syntactic Relations Using Contextualized Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (2) ![In: Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014, June 22-27, 2014, Baltimore, MD, USA, Volume 2: Short Papers, pp. 272-277, 2014, The Association for Computer Linguistics, 978-1-937284-73-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Sándor Vágvölgyi |
Rewriting preserving recognizability of finite tree languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 82(2), pp. 71-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Marcella Anselmo, Maria Madonia |
A Stronger Recognizability Condition for Two-dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 15(2), pp. 139-156, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Antonios Kalampakas, Stefanos Spartalis, Lazaros S. Iliadis |
Syntactic recognizability of graphs with fuzzy attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 229, pp. 91-100, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Judith Alice Redi, Tobias Hoßfeld, Pavel Korshunov, Filippo Mazza, Isabel Povoa, Christian Keimel |
Crowdsourcing-based multimedia subjective evaluations: a case study on image recognizability and aesthetic appeal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CrowdMM@ACM Multimedia ![In: Proceedings of the 2nd ACM international workshop on Crowdsourcing for multimedia, CrowdMM@ACM Multimedia 2013, Barcelona, Spain, October 22, 2013, pp. 29-34, 2013, ACM, 978-1-4503-2396-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Madeleine Henderson, Liane Gabora |
The Recognizability of Authenticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 35th Annual Meeting of the Cognitive Science Society, CogSci 2013, Berlin, Germany, July 31 - August 3, 2013, 2013, cognitivesciencesociety.org, 978-0-9768318-9-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
22 | V. Devi Rajaselvi, T. Kalyani, V. Rajkumar Dare, D. Gnanaraj Thomas |
Recognizability of Triangular Picture Languages by Triangular Wang Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Proceedings of the Third International Conference on Soft Computing for Problem Solving - SocProS 2013, Volume 1, Greater Noida Extension Centre, IIT Roorkee, India, December 26-28, 2013, pp. 481-493, 2013, Springer, 978-81-322-1770-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Jae Kyu Suhr, Sungmin Eum, Ho Gi Jung, Gen Li, Gahyun Kim, Jaihie Kim |
Recognizability assessment of facial images for automated teller machine applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 45(5), pp. 1899-1914, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Antonios Kalampakas, Stefanos Spartalis, Lazaros S. Iliadis |
Fuzzy Graph Language Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIAI (1) ![In: Artificial Intelligence Applications and Innovations - 8th IFIP WG 12.5 International Conference, AIAI 2012, Halkidiki, Greece, September 27-30, 2012, Proceedings, Part I, pp. 196-205, 2012, Springer, 978-3-642-33408-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Nina Seemann, Daniel Quernheim, Fabienne Braune, Andreas Maletti |
Preservation of Recognizability for Weighted Linear Extended Top-Down Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATANLP@EACL ![In: Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing, ATANLP 2012, Avignon, France, April 24, 2012, pp. 1-10, 2012, The Association for Computer Linguistics, 978-1-937284-19-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
22 | Daniel Kirsten, Karin Quaas |
Recognizability of the support of recognizable series over the semiring of the integers is undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 111(10), pp. 500-502, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Marcella Anselmo, Maria Madonia |
Comparing Necessary Conditions for Recognizability of Two-Dimensional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings, pp. 84-96, 2011, Springer, 978-3-642-21492-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Sungmin Eum, Jae Kyu Suhr, Jaihie Kim |
Face recognizability evaluation for ATM applications with exceptional occlusion handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR Workshops 2011, Colorado Springs, CO, USA, 20-25 June, 2011, pp. 82-89, 2011, IEEE Computer Society, 978-1-4577-0529-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Irène Durand, Marc Sylvestre |
Left-linear Bounded TRSs are Inverse Recognizability Preserving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia, pp. 361-376, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-30-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Violetta Lonati, Matteo Pradella |
Deterministic recognizability of picture languages with Wang automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Theor. Comput. Sci. ![In: Discret. Math. Theor. Comput. Sci. 12(4), pp. 73-94, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Sándor Vágvölgyi |
Rewriting Preserving Recognizability of Finite Tree Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.5516, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
22 | Liane Gabora |
Recognizability of Individual Creative Style Within and Across Domains: Preliminary Studies ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1005.1518, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
22 | Symeon Bozapalidis, Olympia Louscou-Bozapalidou |
Fuzzy tree language recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 161(5), pp. 716-734, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Marcella Anselmo, Maria Madonia |
Classes of two-dimensional languages and recognizability conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 44(4), pp. 471-488, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Zhiwei Li, Weichao Wang |
Deciding Recognizability under Dolev-Yao Intruder Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security - 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers, pp. 416-429, 2010, Springer, 978-3-642-18177-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | H. J. Sander Bruggink, Barbara König 0001 |
A Logic on Subobjects and Recognizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings, pp. 197-212, 2010, Springer, 978-3-642-15239-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Violetta Lonati, Matteo Pradella |
Picture Recognizability with Automata Based on Wang Tiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, pp. 576-587, 2010, Springer, 978-3-642-11265-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Zoltán Fülöp 0001, Andreas Maletti, Heiko Vogler |
Preservation of Recognizability for Synchronous Tree Substitution Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATANLP@ACL 2010 ![In: Proceedings of the Workshop on Applications of Tree Automata in Natural Language Processing, ATANLP@ACL 2010, Uppsala, Sweden, July 16, 2010, pp. 1-9, 2010, Association for Computational Linguistics, 978-1-932432-79-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
22 | Olivier Finkel |
Highly Undecidable Problems about Recognizability by Tiling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 91(2), pp. 305-323, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | T. Kalyani, V. Rajkumar Dare, D. Gnanaraj Thomas |
Recognizability of iso-picture languages by Wang systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Imaging Syst. Technol. ![In: Int. J. Imaging Syst. Technol. 19(2), pp. 140-145, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Violetta Lonati, Matteo Pradella |
Deterministic recognizability of picture languages by Wang automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings., pp. 150-154, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
22 | Makoto Sakamoto, Takao Ito, Hiroshi Furutani, Michio Kono, Satoshi Ikeda |
Remarks on the recognizability of topological components by three-dimensional automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Life Robotics ![In: Artif. Life Robotics 13(1), pp. 368-372, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Olivier Finkel |
Highly Undecidable Problems about Recognizability by Tiling Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0811.3704, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|