Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang 0004 |
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, December 15-17, 2021, Virtual Conference., pp. 52:1-52:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-215-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Lingling Lao, Prakash Murali, Margaret Martonosi, Dan E. Browne |
Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 48th ACM/IEEE Annual International Symposium on Computer Architecture, ISCA 2021, Virtual Event / Valencia, Spain, June 14-18, 2021, pp. 846-859, 2021, IEEE, 978-1-6654-3333-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet |
Improving transfer of expressivity for end-to-end multispeaker text-to-speech synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 29th European Signal Processing Conference, EUSIPCO 2021, Dublin, Ireland, August 23-27, 2021, pp. 31-35, 2021, IEEE, 978-9-0827-9706-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Fábio Gagliardi Cozman, Denis Deratani Mauá |
The joy of Probabilistic Answer Set Programming: Semantics, complexity, expressivity, inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 125, pp. 218-239, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Eunju Cha, Gyutaek Oh, Jong Chul Ye |
Geometric Approaches to Increase the Expressivity of Deep Neural Networks for MR Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Signal Process. ![In: IEEE J. Sel. Top. Signal Process. 14(6), pp. 1292-1305, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Gege Zhang, Gangwei Li, Weining Shen, Weidong Zhang 0004 |
The expressivity and training of deep neural networks: Toward the edge of chaos? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 386, pp. 8-17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ingo Gühring, Mones Raslan, Gitta Kutyniok |
Expressivity of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.04759, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti |
Modal Logics with Composition on Finite Forests: Expressivity and Complexity (Extra Material). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.08598, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Shangmin Guo, Yi Ren, Agnieszka Slowik, Kory W. Mathewson |
Inductive Bias and Language Expressivity in Emergent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.02875, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang 0004 |
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.03311, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Sacha Huriot-Tattegrain, Mehdi Mhalla |
Contextuality and Expressivity of Non-locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL ![In: Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020., pp. 160-173, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Stanislaw J. Purgal |
Improving Expressivity of Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.05994, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Sanjoy Dasgupta, Christopher Tosh |
Expressivity of expand-and-sparsify representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.03741, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Eunju Cha, Gyutaek Oh, Jong Chul Ye |
Geometric Approaches to Increase the Expressivity of Deep Neural Networks for MR Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.07740, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Ning Yang, Richard Savery, Raghavasimhan Sankaranarayanan, Lisa Zahray, Gil Weinberg |
Mechatronics-Driven Musical Expressivity for Robotic Percussionists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.14850, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Giorgos Bouritsas, Fabrizio Frasca, Stefanos Zafeiriou, Michael M. Bronstein |
Improving Graph Neural Network Expressivity via Subgraph Isomorphism Counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.09252, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Ondrej Kuzelka |
Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.10259, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Johanna Hall, Ursula Stickler, Christothea Herodotou, Ioanna Iacovides |
Expressivity of creativity and creative design considerations in digital games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Hum. Behav. ![In: Comput. Hum. Behav. 105, pp. 106206, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Didier Verna |
(Dynamic (programming paradigms)) Performance and expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Armando B. Matos, Luca Paolini, Luca Roversi |
On the Expressivity of Total Reversible Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, pp. 128-143, 2020, Springer, 978-3-030-52481-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Randy Gomez, Deborah Szapiro, Luis Merino, Keisuke Nakamura |
A Holistic Approach in Designing Tabletop Robot's Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2020 IEEE International Conference on Robotics and Automation, ICRA 2020, Paris, France, May 31 - August 31, 2020, pp. 1970-1976, 2020, IEEE, 978-1-7281-7395-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet |
Transfer Learning of the Expressivity Using FLOW Metric Learning in Multispeaker Text-to-Speech Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: Interspeech 2020, 21st Annual Conference of the International Speech Communication Association, Virtual Event, Shanghai, China, 25-29 October 2020., pp. 4397-4401, 2020, ISCA. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Pooja Prajod, Koen V. Hindriks |
On the Expressivity of a Parametric Humanoid Emotion Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: 29th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2020, Naples, Italy, August 31 - September 4, 2020, pp. 926-931, 2020, IEEE, 978-1-7281-6075-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ajinkya Kulkarni, Vincent Colotte, Denis Jouvet |
Deep Variational Metric Learning for Transfer of Expressivity in Multispeaker Text to Speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLSP ![In: Statistical Language and Speech Processing - 8th International Conference, SLSP 2020, Cardiff, UK, October 14-16, 2020, Proceedings, pp. 157-168, 2020, Springer, 978-3-030-59429-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti |
Modal Logics with Composition on Finite Forests: Expressivity and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 167-180, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ondrej Kuzelka |
Complex Markov Logic Networks: Expressivity and Liftability. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2020, virtual online, August 3-6, 2020, pp. 729-738, 2020, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Andrea Deublein, Birgit Lugrin |
(Expressive) Social Robot or Tablet? - On the Benefits of Embodiment and Non-verbal Expressivity of the Interface for a Smart Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PERSUASIVE ![In: Persuasive Technology. Designing for Future Change - 15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20-23, 2020, Proceedings, pp. 85-97, 2020, Springer, 978-3-030-45711-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Ning Yang, Richard Savery, Raghavasimhan Sankaranarayanan, Lisa Zahray, Gil Weinberg |
Mechatronics-Driven Musical Expressivity for Robotic Percussionists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 20th International Conference on New Interfaces for Musical Expression, NIME 2020, Birmingham, UK, July 25-27, 2020, pp. 133-138, 2020, nime.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Xiaowang Zhang, Jan Van den Bussche, Kewen Wang 0001, Heng Zhang 0006, Xuanxing Yang, Zhiyong Feng 0002 |
On the Expressivity of ASK Queries in SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020., pp. 3057-3064, 2020, AAAI Press, 978-1-57735-823-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Hans van Ditmarsch, Mo Liu 0002, Louwe B. Kuijer, Igor Sedlár |
Expressivity of Some Versions of APAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaLí ![In: Dynamic Logic. New Trends and Applications - Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers, pp. 120-136, 2020, Springer, 978-3-030-65839-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Yaliang Chuang |
Designing the Expressivity of Multiple Smart Things for Intuitive and Unobtrusive Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: DIS '20: Designing Interactive Systems Conference 2020, Eindhoven, The Netherlands, July 6-10, 2020, pp. 2007-2019, 2020, ACM, 978-1-4503-6974-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Julius Lauw, Dominique Macias, Akshay Trikha, Julia Vendemiatti, George D. Montañez |
The Bias-Expressivity Trade-off. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020., pp. 141-150, 2020, SCITEPRESS, 978-989-758-395-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | George D. Montañez, Daniel Bashir, Julius Lauw |
Trading Bias for Expressivity in Artificial Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (Revised Selected Papers) ![In: Agents and Artificial Intelligence, 12th International Conference, ICAART 2020, Valletta, Malta, February 22-24, 2020, Revised Selected Papers., pp. 332-353, 2020, Springer, 978-3-030-71157-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Su Lei, Kalin Stefanov, Jonathan Gratch |
Emotion or expressivity? An automated analysis of nonverbal perception in a social dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 15th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2020, Buenos Aires, Argentina, November 16-20, 2020, pp. 544-551, 2020, IEEE, 978-1-7281-3079-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Stanislaw J. Purgal |
Improving Expressivity of Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: 2020 International Joint Conference on Neural Networks, IJCNN 2020, Glasgow, United Kingdom, July 19-24, 2020, pp. 1-7, 2020, IEEE, 978-1-7281-6926-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Kefan Dong, Yuping Luo, Tianhe Yu, Chelsea Finn, Tengyu Ma 0001 |
On the Expressivity of Neural Networks for Deep Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 37th International Conference on Machine Learning, ICML 2020, 13-18 July 2020, Virtual Event., pp. 2627-2637, 2020, PMLR. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
17 | Plínio A. Barbosa, Sandra Madureira, Mario Fontes, Paulo Menegon |
Speech Breathing and Expressivity: An Experimental Study in Reading and Singing Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Computational Processing of the Portuguese Language - 14th International Conference, PROPOR 2020, Evora, Portugal, March 2-4, 2020, Proceedings, pp. 393-398, 2020, Springer, 978-3-030-41504-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
17 | Aghilas Sini |
Characterisation and generation of expressivity in function of speaking styles for audiobook synthesis. (Caractérisation et génération de l'expressivité en fonction des styles de parole pour la construction de livres audio). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Maverick Chardet |
Reconciling Parallelism Expressivity and Separation of Concerns in Reconfiguration of Distributed Systems. (Concilier expressivité du parallélisme et séparation des préoccupations lors de la reconfiguration de systèmes distribués). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Marie Fortin |
Expressivité de la logique du premier ordre, de la logique dynamique propositionnelle sans étoile et des automates communicants. (Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Bogdán Zaválnij |
The k-Clique Problem Usage, Modeling Expressivity, Serial and Massively Parallel Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
17 | Catie Cuan, Erin Berl, Amy LaViers |
Measuring human perceptions of expressivity in natural and artificial systems through the live performance piece Time to compile. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Paladyn J. Behav. Robotics ![In: Paladyn J. Behav. Robotics 10(1), pp. 364-379, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Julius Lauw, Dominique Macias, Akshay Trikha, Julia Vendemiatti, George D. Montañez |
The Bias-Expressivity Trade-off. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.04964, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Gege Zhang, Gangwei Li, Weidong Zhang 0004 |
The Expressivity and Training of Deep Neural Networks: toward the Edge of Chaos? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.04970, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Giancarlo Kerg, Kyle Goyette, Maximilian Puelma Touzel, Gauthier Gidel, Eugene Vorontsov, Yoshua Bengio, Guillaume Lajoie |
Non-normal Recurrent Neural Network (nnRNN): learning long time dependencies while improving expressivity with transient dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.12080, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Vincent Corlay, Joseph J. Boutros, Philippe Ciblat, Loïc Brunel |
A lattice-based approach to the expressivity of deep ReLU neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.11294, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Tim R. Davidson, Jakub M. Tomczak, Efstratios Gavves |
Increasing Expressivity of a Hyperspherical VAE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.02912, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Kefan Dong, Yuping Luo, Tengyu Ma 0001 |
Bootstrapping the Expressivity with Model-based Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.05927, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Andreas Teucke, Marco Voigt, Christoph Weidenbach |
On the Expressivity and Applicability of Model Representation Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.03651, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity and expressivity of propositional dynamic logics with finitely many variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.06407, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Thomas R. Groechel, Zhonghao Shi, Roxanna Pakkar, Maja J. Mataric |
Using Socially Expressive Mixed Reality Arms for Enhancing Low-Expressivity Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.09713, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Adam Jardine |
The Expressivity of Autosegmental Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 28(1), pp. 9-54, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Shao-Bo Lin |
Generalization and Expressivity for Deep Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 30(5), pp. 1392-1406, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Herman Masindano Wandabwa, M. Asif Naeem, Farhaan Mirza, Russel Pears |
Topical Expressivity in Short Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONF-IRM ![In: 2019 International Conference on Information Resources Management - ICT Research for the New Connected World, CONF-IRM 2019, Auckland, New Zealand, May 27-29, 2019, pp. 19, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Thomas R. Groechel, Zhonghao Shi, Roxanna Pakkar, Maja J. Mataric |
Using Socially Expressive Mixed Reality Arms for Enhancing Low-Expressivity Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: 28th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2019, New Delhi, India, October 14-18, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-2622-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta |
Checking the Expressivity of Firewall Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 86-100, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang |
Characterizing the Expressivity of Game Description Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI (1) ![In: PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, pp. 597-611, 2019, Springer, 978-3-030-29907-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Clairambault, Andrzej S. Murawski |
On the Expressivity of Linear Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 50:1-50:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Florent Koechlin, Cyril Nicaud, Pablo Rotondo |
Uniform Random Expressions Lack Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 51:1-51:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Razvan Paisa, Dan Overholt |
Enhancing the Expressivity of the Sensel Morph via Audio-rate Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 19th International Conference on New Interfaces for Musical Expression, NIME 2019, Porto Alegre, Brazil, June 3-6, 2019., pp. 298-302, 2019, nime.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Martin Zácek, Alena Lukasová, Marek Vajgl, Zdenka Telnarová |
Semantic Web Languages: Expressivity of SWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (Extended Posters) ![In: Intelligent Information and Database Systems: Recent Developments, 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, 8-11 April 2019, Extended Posters, pp. 123-136, 2019, Springer, 978-3-030-14131-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse |
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pp. 21-39, 2019, Springer, 978-3-030-17464-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Giancarlo Kerg, Kyle Goyette, Maximilian Puelma Touzel, Gauthier Gidel, Eugene Vorontsov, Yoshua Bengio, Guillaume Lajoie |
Non-normal Recurrent Neural Network (nnRNN): learning long time dependencies while improving expressivity with transient dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada., pp. 13591-13601, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Vicky Charisi, Selma Sabanovic, Serge Thill, Emilia Gómez, Keisuke Nakamura, Randy Gomez |
Expressivity for Sustained Human-Robot Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI ![In: 14th ACM/IEEE International Conference on Human-Robot Interaction, HRI 2019, Daegu, South Korea, March 11-14, 2019, pp. 675-676, 2019, IEEE, 978-1-5386-8555-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Teucke, Marco Voigt, Christoph Weidenbach |
On the Expressivity and Applicability of Model Representation Formalisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, pp. 22-39, 2019, Springer, 978-3-030-29006-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Tim French 0002, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina |
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada, May 13-17, 2019, pp. 953-961, 2019, International Foundation for Autonomous Agents and Multiagent Systems, 978-1-4503-6309-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
17 | Louis-Marie Dando |
Expressivité des automates pondérés circulaires et boustrophédons. (Expressivity of weighted rotating and two-way automata). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
17 | François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman |
Influence Networks Compared with Reaction Networks: Semantics, Expressivity and Attractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 15(4), pp. 1138-1151, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Ferilli |
Extending expressivity and flexibility of abductive logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 51(3), pp. 647-672, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Andrew J. Kennedy, Claudio V. Russo |
Transposing G to C♯: Expressivity of generalized algebraic data types in an object-oriented language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 741, pp. 3-18, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xiaowang Zhang, Chenhong Meng, Lei Zou 0001 |
Expressivity issues in SPARQL: monotonicity and two-versus three-valued semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 61(12), pp. 129102:1-129102:3, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Amy LaViers |
Expressivity in Natural and Artificial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1807.02016, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
Expressivity within second-order transitive-closure logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.05926, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Rodolfo Delmonte |
Expressivity in TTS from Semantics and Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.07295, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Shao-Bo Lin |
Generalization and Expressivity for Deep Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.03772, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.09142, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Fernando R. Velázquez-Quesada |
Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(8), pp. 1805-1832, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Michel Marti, George Metcalfe |
Expressivity in chain-based modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 57(3-4), pp. 361-380, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity and expressivity of propositional dynamic logics with finitely many variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 26(5), pp. 539-547, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ana Roxin |
Reasoning and knowledge - tradeoff between expressivity and efficiency. (Raisonnement et connaissances - à la recherche de l'équilibre entre expressivité et efficacité). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
17 | Florent Levillain, David St-Onge, Elisabetta Zibetti, Giovanni Beltrame |
More Than the Sum of its Parts: Assessing the Coherence and Expressivity of a Robotic Swarm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: 27th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2018, Nanjing, China, August 27-31, 2018, pp. 583-588, 2018, IEEE, 978-1-5386-7980-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mikhail N. Rybakov, Dmitry Shkatov |
Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings, pp. 396-414, 2018, Springer, 978-3-030-02507-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Renato Panda, Ricardo Malheiro, Rui Pedro Paiva |
Musical Texture and Expressivity Features for Music Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIR ![In: Proceedings of the 19th International Society for Music Information Retrieval Conference, ISMIR 2018, Paris, France, September 23-27, 2018, pp. 383-391, 2018, 978-2-9540351-2-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Steven T. Kemper, Scott Barton |
Mechatronic Expression: Reconsidering Expressivity in Music for Robotic Instruments . ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 18th International Conference on New Interfaces for Musical Expression, NIME 2018, Blacksburg, VA, USA, June 3-6, 2018., pp. 84-87, 2018, nime.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Alexander J. Fiannaca, Ann Paradiso, Jon Campbell, Meredith Ringel Morris |
Voicesetting: Voice Authoring UIs for Improved Expressivity in Augmentative Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018, pp. 283, 2018, ACM, 978-1-4503-5620-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao 0001 |
Expressivity and Complexity of MongoDB Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria, pp. 9:1-9:23, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-063-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Ajjen Joshi, Soumya Ghosh, Sarah Gunnery, Linda Tickle-Degnen, Stan Sclaroff, Margrit Betke |
Context-Sensitive Prediction of Facial Expressivity Using Multimodal Hierarchical Bayesian Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 13th IEEE International Conference on Automatic Face & Gesture Recognition, FG 2018, Xi'an, China, May 15-19, 2018, pp. 278-285, 2018, IEEE Computer Society, 978-1-5386-2335-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xundong Wu, Xiangwen Liu, Wei Li, Qing Wu |
Improved Expressivity Through Dendritic Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montréal, Canada., pp. 8068-8079, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Swen Jacobs, Mouhammad Sakr |
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings, pp. 247-268, 2018, Springer, 978-3-319-73720-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema |
Expressivity Within Second-Order Transitive-Closure Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK, pp. 22:1-22:18, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-088-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Quynh Nguyen 0001, Matthias Hein 0001 |
The loss surface and expressivity of deep convolutional neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR (Workshop) ![In: 6th International Conference on Learning Representations, ICLR 2018, Vancouver, BC, Canada, April 30 - May 3, 2018, Workshop Track Proceedings, 2018, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Quynh Nguyen 0001, Matthias Hein 0001 |
Optimization Landscape and Expressivity of Deep CNNs. ![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. 3727-3736, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | William Yeoh 0001 |
Towards Improving the Expressivity and Scalability of Distributed Constraint Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pp. 5734-5738, 2018, ijcai.org, 978-0-9992411-2-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nils M. Kriege, Christopher Morris 0001, Anja Rey, Christian Sohler |
A Property Testing Framework for the Theoretical Expressivity of Graph Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pp. 2348-2354, 2018, ijcai.org, 978-0-9992411-2-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Anne Smith, Jamie Lehner, Lisa Anderson, Kathy A. Lesh, Floyd Eisenberg |
Improving Expressivity in EHR Data Retrieves - Focus on Improving eCQMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2018, American Medical Informatics Association Annual Symposium, San Francisco, CA, November 3-7, 2018, 2018, AMIA. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Pierre Kimmel |
Extensions modales des logiques de ressources: expressivité et calculs. (Modal extensions of resource logics: expressivity and calculi). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
17 | Marilena Daquino, Francesca Mambelli, Silvio Peroni, Francesca Tomasi, Fabio Vitali |
Enhancing Semantic Expressivity in the Cultural Heritage Domain: Exposing the Zeri Photo Archive as Linked Open Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Journal on Computing and Cultural Heritage ![In: ACM Journal on Computing and Cultural Heritage 10(4), pp. 21:1-21:21, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen |
Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(7), pp. 2447-2487, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Luca Oneto, Nicolò Navarin, Michele Donini, Alessandro Sperduti, Fabio Aiolli, Davide Anguita |
Measuring the expressivity of graph kernels through Statistical Learning Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 268, pp. 4-16, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Swen Jacobs, Mouhammad Sakr |
Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.01369, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|