Search results for "Expressivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
80	Ramón López de Mántaras	Play It Again: A Case-Based Approach to Expressivity-Preserving Tempo Transformations in Music.	ISMIS	2006	DBLP DOI BibTeX RDF
80	Noriko Suzuki, Christoph Bartneck	Subtle expressivity for characters and robots.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF
72	Mamiko Sakata, Sayaka Wakamiya, Naoki Odaka, Kozaburo Hachimura	Effect of Body Movement on Music Expressivity in Jazz Performances.	HCI (1)	2009	DBLP DOI BibTeX RDF	Jazz Performances, Motion Capture, Music Expressivity, Body Movement
69	Zhiyong Wu 0001, Helen M. Meng, Hongwu Yang, Lianhong Cai	Modeling the Expressivity of Input Text Semantics for Chinese Text-to-Speech Synthesis in a Spoken Dialog System.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
59	Maurizio Mancini, Roberto Bresin, Catherine Pelachaud	A Virtual Head Driven by Music Expressivity.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
44	Ginevra Castellano, Maurizio Mancini	Analysis of Emotional Gestures for the Generation of Expressive Copying Behaviour in an Embodied Agent.	Gesture Workshop	2007	DBLP DOI BibTeX RDF	gesture expressivity, emotion, embodied agent
41	Maurizio Mancini, Roberto Bresin, Catherine Pelachaud	From Acoustic Cues to an Expressive Agent.	Gesture Workshop	2005	DBLP DOI BibTeX RDF
41	Leonid Libkin, Limsoon Wong	Unary Quantifiers, Transitive Closure, and Relations of Large Degree.	STACS	1998	DBLP DOI BibTeX RDF
41	Leonid Libkin	On the Forms of Locality over Finite Models.	LICS	1997	DBLP DOI BibTeX RDF
41	Mamiko Sakata, Sayaka Wakamiya	An Analysis of Body Movement on Music Expressivity Using Motion Capture.	IIH-MSP	2009	DBLP DOI BibTeX RDF	Motion Capture, Music Expressivity, Body Movement
38	Marián Lekavý, Pavol Návrat	Expressivity of STRIPS-Like and HTN-Like Planning.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
38	Nicolas Ech Chafai, Catherine Pelachaud, Danielle Pelé, Gaspard Breton	Gesture Expressivity Modulations in an ECA Application.	IVA	2006	DBLP DOI BibTeX RDF	Non-verbal and expressive behaviours, 2D and 3D animations, annotation, evaluation methodologies
38	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	Modular Ontologies - A Formal Investigation of Semantics and Expressivity.	ASWC	2006	DBLP DOI BibTeX RDF
34	Nithikul Nimkulrat	Material inspiration: the practice-led research of a craft artist.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	fiber art, practice-led research, expressivity, materiality, reflective practice
31	Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre	Collapsible Pushdown Automata and Recursion Schemes.	LICS	2008	DBLP DOI BibTeX RDF	Higher-order pushdown automata, game semantics, higher-order recursion schemes
31	Maurizio Mancini, Ginevra Castellano, Elisabetta Bevacqua, Christopher E. Peters	Copying Behaviour of Expressive Motion.	MIRAGE	2007	DBLP DOI BibTeX RDF
31	Björn Hartmann, Maurizio Mancini, Catherine Pelachaud	Implementing Expressive Gesture Synthesis for Embodied Conversational Agents.	Gesture Workshop	2005	DBLP DOI BibTeX RDF
31	Catherine Pelachaud	Multimodal expressive embodied conversational agents.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	interactive embodied conversational agent, multimodal interface, expressive gesture
31	Kess F. M. Vermeulen	More Computation Power for a Denotational Semantics for First Order Logic.	CSL	2003	DBLP DOI BibTeX RDF
28	Cédric Dégremont, Lena Kurzen	Modal Logics for Preferences and Cooperation: Expressivity and Complexity.	KRAMAS	2008	DBLP DOI BibTeX RDF
28	Jörg Hoffmann 0001, Ingo Weber, James Scicluna 0001, Tomasz Kaczmarek, Anupriya Ankolekar	Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.	ICWE	2008	DBLP DOI BibTeX RDF
28	Mathieu Serrurier, Henri Prade	Improving Expressivity of Inductive Logic Programming by Learning Different Kinds of Fuzzy Rules.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Inductive logic programming, Fuzzy rules
28	Maarten Grachten, Josep Lluís Arcos, Ramón López de Mántaras	A case based approach to expressivity-aware tempo transformation.	Mach. Learn.	2006	DBLP DOI BibTeX RDF	Tempo transformation, Expressive performance, Music, Case based reasoning
28	Ramón López de Mántaras, Maarten Grachten, Josep Lluís Arcos	Expressivity-Preserving Tempo Transformation for Music - A Case-Based Approach.	KI	2006	DBLP DOI BibTeX RDF
28	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
28	Stefanos D. Kollias, Kostas Karpouzis	Multimodal Emotion Recognition and Expressivity Analysis.	ICME	2005	DBLP DOI BibTeX RDF
28	Myriam Lamolle, Maurizio Mancini, Catherine Pelachaud, Sarkis Abrilian, Jean-Claude Martin, Laurence Devillers	Contextual Factors and Adaptative Multimodal Human-Computer Interaction: Multi-level Specification of Emotion and Expressivity in Embodied Conversational Agents.	CONTEXT	2005	DBLP DOI BibTeX RDF
28	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
28	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff	Hybrid Logics on Linear Structures: Expressivity and Complexity.	TIME	2003	DBLP DOI BibTeX RDF
28	Suad Alagic, Rajshekhar Sunderraman	Expressivity of Typed Logic Paradigms for Object-Oriented Databases.	BNCOD	1994	DBLP DOI BibTeX RDF
28	Kim Guldstrand Larsen	Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...	CONCUR	1990	DBLP DOI BibTeX RDF
23	Eric Rosenbaum	Glowdoodle: a medium for expressive inquiry.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	light-painting, expressivity, inquiry
23	Angela Chang, Conor O'Sullivan	An Audio-Haptic Aesthetic Framework Influenced by Visual Theory.	HAID	2008	DBLP DOI BibTeX RDF	Audio-haptic, multimodal design, synchresis, mobile, interaction, synchronization, aesthetics, linearization, masking, musical expressivity
23	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
23	Caroline Hummels, Kees C. J. Overbeeke, Sietske Klooster	Move to get moved: a search for methods, tools and knowledge to design for expressive and rich movement-based interaction.	Pers. Ubiquitous Comput.	2007	DBLP DOI BibTeX RDF	Movement-based interaction, Richness, Choreography of interaction, Emotions, Gestures, Experience, Tools, Methods, Tangible interaction, Expressivity, Product design, Installations, Meaning
23	Cristiano Calcagno, Philippa Gardner, Uri Zarfaty	Context logic as modal logic: completeness and parametric inexpressivity.	POPL	2007	DBLP DOI BibTeX RDF	contexts, logic, expressivity, structured data
23	Stéphanie Buisine, Améziane Aoussat, Jean-Claude Martin	Embodied Creative Agents: A Preliminary Social-Cognitive Framework.	IVA	2007	DBLP DOI BibTeX RDF	Personality, Creativity, Expressivity, Embodied Conversational Agents, Brainstorming, Facilitator
23	Marino Miculan, Ivan Scagnetto, Furio Honsell	Translating specifications from nominal logic to CIC with the theory of contexts.	MERLIN	2005	DBLP DOI BibTeX RDF	calculus of inductive constructions, languages with binders, logical expressivity, theory of contexts, nominal logics
23	Jan A. Bergstra, Alban Ponse	Register-machine based processes.	J. ACM	2001	DBLP DOI BibTeX RDF	Kleene star, push-down operation, concurrency, computability, process algebra, expressivity, iteration, Bisimulation equivalence
23	Gonzalo Navarro 0001, Ricardo A. Baeza-Yates	Proximal Nodes: A Model to Query Document Databases by Content and Structure.	ACM Trans. Inf. Syst.	1997	DBLP DOI BibTeX RDF	expressivity and efficiency of query languages, hierarchical documents, text algebras, structured text
23	Bernhard Steffen	Unifying Models.	STACS	1997	DBLP DOI BibTeX RDF	(in-)completeness, (temporal) models, verification, architecture, temporal logic, refinement, abstraction, consistency, tools, process, operational semantics, partial evaluation, decidability, expressivity, transition system, behaviour, intermediate language
23	Ahmed Bouajjani, Susanne Graf, Joseph Sifakis	A logig for the description of behaviours and properties of concurrent systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy
23	Grazyna Mirkowska, Andrzej Salwicki	On Applications of Algorithmic Logic.	CAAP	1986	DBLP DOI BibTeX RDF	algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties
21	Carl Eastlund, Matthias Felleisen	Making induction manifest in modular ACL2.	PPDP	2009	DBLP DOI BibTeX RDF	theorem provers, acl2, module systems
21	Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton	Instruction set simulator generation using HARMLESS, a new hardware architecture description language.	SimuTools	2009	DBLP DOI BibTeX RDF	hardware architecture description language, instruction set simulation
21	Christoph Lange 0002, Michael Kohlhase	A Mathematical Approach to Ontology Authoring and Documentation.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
21	Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer	Exploiting conjunctive queries in description logic programs.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30
21	Tamas Hauer, Dmitri Rogulin, Sonja Zillner, Andrew Branson, Jetendr Shamdasani, Alexey Tsymbal, Martin Huber 0001, Tony Solomonides, Richard McClatchey	An Architecture for Semantic Navigation and Reasoning with Patient Data - Experiences of the Health-e-Child Project.	ISWC	2008	DBLP DOI BibTeX RDF
21	Chrysovalanto Kousetti, David E. Millard, Yvonne Margaret Howard	A study of ontology convergence in a semantic Wiki.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF	emergent ontologies, Semantic Web, Semantic Wiki
21	Olaf Muliawan	Extending a Model Transformation Language Using Higher Order Transformations.	WCRE	2008	DBLP DOI BibTeX RDF
21	Leonid Libkin, Cristina Sirangelo	Data exchange and schema mappings in open and closed worlds.	PODS	2008	DBLP DOI BibTeX RDF	open world assumption, data exchange, incomplete information, schema mappings, closed world assumption
21	Anna Ståhl, Kristina Höök	Reflecting on the design process of the Affective Diary.	NordiCHI	2008	DBLP DOI BibTeX RDF	interaction design, design process, affective interaction
21	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF
21	Gagan Goel, Aranyak Mehta	Adwords Auctions with Decreasing Valuation Bids.	WINE	2007	DBLP DOI BibTeX RDF
21	Zhongbin Wang	Fuxi: An Agile Development Environment for Embedded Systems.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
21	Chuan-Kai Lin, Andrew P. Black	DirectFlow: A Domain-Specific Language for Information-Flow Systems.	ECOOP	2007	DBLP DOI BibTeX RDF
21	Kostas Karpouzis, George Caridakis, Loïc Kessous, Noam Amir, Amaryllis Raouzaiou, Lori Malatesta, Stefanos D. Kollias	Modeling Naturalistic Affective States Via Facial, Vocal, and Bodily Expressions Recognition.	Artifical Intelligence for Human Computing	2007	DBLP DOI BibTeX RDF	neural networks, facial expressions, prosody, hand gestures, Affective interaction, multimodal analysis
21	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Stud Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
21	George Caridakis, Lori Malatesta, Loïc Kessous, Noam Amir, Amaryllis Raouzaiou, Kostas Karpouzis	Modeling naturalistic affective states via facial and vocal expressions recognition.	ICMI	2006	DBLP DOI BibTeX RDF	naturalistic data, prosodic feature extraction, image processing, user modeling, facial expression recognition, affective interaction, multimodal analysis
21	Felix Weigel, Klaus U. Schulz, Holger Meuss	The BIRD Numbering Scheme for XML and Tree Databases - Deciding and Reconstructing Tree Relations Using Efficient Arithmetic Operations.	XSym	2005	DBLP DOI BibTeX RDF
21	Jing Mei, Elena Paslaru Bontas, Zuoquan Lin	OWL2Jess: A Transformational Implementation of the OWL Semantics.	ISPA Workshops	2005	DBLP DOI BibTeX RDF	ontologies, Semantic Web, reasoning, rules
21	Tim French 0002	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
21	Maarten Grachten, Josep Lluís Arcos, Ramón López de Mántaras	TempoExpress, a CBR Approach to Musical Tempo Transformations.	ECCBR	2004	DBLP DOI BibTeX RDF
21	Carlos Areces, Juan Heguiabehere	HyLoRes 1.0: Direct Resolution for Hybrid Logics.	CADE	2002	DBLP DOI BibTeX RDF
21	Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong	Logics with aggregate operators.	J. ACM	2001	DBLP DOI BibTeX RDF	database, locality, Aggregation, expressive power, relational calculus
21	Ana von Klopp Lemon, Oliver Lemon	Constraint Matching for Diagram Design: Qualitative Visual Languages.	Diagrams	2000	DBLP DOI BibTeX RDF
21	Lauri Hella, Leonid Libkin, Juha Nurmonen, Limsoon Wong	Logics with Aggregate Operators.	LICS	1999	DBLP DOI BibTeX RDF
21	Leonid Libkin, Juha Nurmonen	Counting and Locality over Finite Structures: A Survey.	ESSLLI	1997	DBLP DOI BibTeX RDF
21	Tommaso Bolognesi, Ferdinando Lucidi	Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.	REX Workshop	1991	DBLP DOI BibTeX RDF	timed process algebra, timed Petri Net
17	Billy J. Franks, Christopher Morris 0001, Ameya Velingker, Floris Geerts	Weisfeiler-Leman at the margin: When more expressivity matters.	CoRR	2024	DBLP DOI BibTeX RDF
17	Joost A. A. Opschoor, Christoph Schwab	Exponential Expressivity of ReLUk Neural Networks on Gevrey Classes with Point Singularities.	CoRR	2024	DBLP DOI BibTeX RDF
17	Shreyan Chowdhury, Gerhard Widmer	Expressivity-aware Music Performance Retrieval using Mid-level Perceptual Features and Emotion Word Embeddings.	CoRR	2024	DBLP DOI BibTeX RDF
17	Benjamin Dayan, Marc Kaufmann, Ulysse Schaller	Expressivity of Geometric Inhomogeneous Random Graphs - Metric and Non-Metric.	CoRR	2024	DBLP DOI BibTeX RDF
17	Justin Kalloor, Mathias Weiden, Ed Younis, John Kubiatowicz, Bert De Jong, Costin Iancu	Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design.	CoRR	2024	DBLP DOI BibTeX RDF
17	Amy Koike, Michael Wehner, Bilge Mutlu	Sprout: Designing Expressivity for Robots Using Fiber-Embedded Actuator.	CoRR	2024	DBLP DOI BibTeX RDF
17	Pablo Osorio, Ryusuke Sagawa, Naoko Abe, Gentiane Venture	A Generative Model to Embed Human Expressivity into Robot Motions.	Sensors	2024	DBLP DOI BibTeX RDF
17	David Fernández-Duque	Taming the 'elsewhere': on Expressivity of Topological Languages.	Rev. Symb. Log.	2024	DBLP DOI BibTeX RDF
17	Elies Gil-Fuster, Jens Eisert, Vedran Dunjko	On the expressivity of embedding quantum kernels.	Mach. Learn. Sci. Technol.	2024	DBLP DOI BibTeX RDF
17	Nadezda Alexandrovna Knorozova, Alessandro Ronca	On the Expressivity of Recurrent Neural Cascades.	AAAI	2024	DBLP DOI BibTeX RDF
17	Amy Koike, Michael Wehner, Bilge Mutlu	Sprout: Designing Expressivity for Robots Using Fiber-Embedded Actuator.	HRI	2024	DBLP DOI BibTeX RDF
17	Fausto Barbero, Jonni Virtema	Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.	CSL	2024	DBLP DOI BibTeX RDF
17	Juha Kontinen, Max Sandström, Jonni Virtema	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.	FoIKS	2024	DBLP DOI BibTeX RDF
17	Ray LC, Sihuang Man, Xiying Bao, Jinhan Wan, Bo Wen, Zijing Song	"Contradiction pushes me to improvise": Performer Expressivity and Engagement in Distanced Movement Performance Paradigms.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
17	Lin Zhu, Nabing Liu, Qin Sheng	A simulation expressivity of the quenching phenomenon in a two-sided space-fractional diffusion equation.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
17	Davide Ancona, Pietro Barbieri, Elena Zucca	Checked corecursive streams: Expressivity and completeness.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Elies Gil-Fuster, Jens Eisert, Vedran Dunjko	On the expressivity of embedding quantum kernels.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shuwa Miura	On the Expressivity of Multidimensional Markov Reward.	CoRR	2023	DBLP DOI BibTeX RDF
17	Anant Kumar, Shrutimoy Das, Shubhajit Roy, Binita Maity, Anirban Dasgupta	Improving Expressivity of Graph Neural Networks using Localization.	CoRR	2023	DBLP DOI BibTeX RDF
17	Fausto Barbero, Jonni Virtema	Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals.	CoRR	2023	DBLP DOI BibTeX RDF
17	Sammy Khalife	Graph Neural Networks with polynomial activations have limited expressivity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Santiago Figueira, Gabriel Goren Roig	A Modal Logic with n-ary Relations Over Paths: Comonadic Semantics and Expressivity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Nadezda Alexandrovna Knorozova, Alessandro Ronca	On The Expressivity of Recurrent Neural Cascades.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shaked Brody, Uri Alon 0002, Eran Yahav	On the Expressivity Role of LayerNorm in Transformers' Attention.	CoRR	2023	DBLP DOI BibTeX RDF
17	Indro Spinelli, Michele Guerra, Filippo Maria Bianchi, Simone Scardapane	Combining Stochastic Explainers and Subgraph Neural Networks can Increase Expressivity and Interpretability.	CoRR	2023	DBLP DOI BibTeX RDF
17	David Chiang 0001, Peter Cholak, Anand Pillay	Tighter Bounds on the Expressivity of Transformer Encoders.	CoRR	2023	DBLP DOI BibTeX RDF
17	Niklas Smedemark-Margulies, Yunus Bicer, Elifnur Sunger, Stephanie Naufel, Tales Imbiriba, Eugene Tunik, Deniz Erdogmus, Mathew Yarossi	A Multi-label Classification Approach to Increase Expressivity of EMG-based Gesture Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
17	Juha Kontinen, Max Sandström, Jonni Virtema	Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.	CoRR	2023	DBLP DOI BibTeX RDF
17	Timothy Doyeon Kim, Tankut Can, Kamesh Krishnamurthy	Trainability, Expressivity and Interpretability in Gated Neural ODEs.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ekin Ergen, Moritz Grillo	Topological Expressivity of ReLU Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
17	Rohan Subramani, Marcus Williams, Max Heitmann, Halfdan Holm, Charlie Griffin, Joar Skalse	On The Expressivity of Objective-Specification Formalisms in Reinforcement Learning.	CoRR	2023	DBLP DOI BibTeX RDF