Search results for "Expressivity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mamiko Sakata, Sayaka Wakamiya, Naoki Odaka, Kozaburo Hachimura	Effect of Body Movement on Music Expressivity in Jazz Performances.	HCI	2009	DBLP DOI BibTeX RDF	Jazz Performances, Motion Capture, Music Expressivity, Body Movement
2	Zhiyong Wu, 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 Transactions on Audio, Speech & Language Processing	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Jörg Hoffmann, Ingo Weber, James Scicluna, Tomasz Kaczmarek, Anupriya Ankolekar	Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services.	ICWE	2008	DBLP DOI BibTeX RDF
2	Cédric Dégremont, Lena Kurzen	Modal Logics for Preferences and Cooperation: Expressivity and Complexity.	KRAMAS	2008	DBLP DOI BibTeX RDF
2	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
2	Maurizio Mancini, Roberto Bresin, Catherine Pelachaud	A Virtual Head Driven by Music Expressivity.	IEEE Transactions on Audio, Speech & Language Processing	2007	DBLP DOI BibTeX RDF
2	Marián Lekavý, Pavol Návrat	Expressivity of STRIPS-Like and HTN-Like Planning.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
2	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
2	Maarten Grachten, Josep Lluís Arcos, Ramon López de Mántaras	A case based approach to expressivity-aware tempo transformation.	Machine Learning	2006	DBLP DOI BibTeX RDF	Tempo transformation, Expressive performance, Music, Case based reasoning
2	Ramon 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
2	Jie Bao, Doina Caragea, Vasant Honavar	Modular Ontologies - A Formal Investigation of Semantics and Expressivity.	ASWC	2006	DBLP DOI BibTeX RDF
2	Ramon 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
2	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
2	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
2	Stefanos D. Kollias, Kostas Karpouzis	Multimodal Emotion Recognition and Expressivity Analysis.	ICME	2005	DBLP DOI BibTeX RDF
2	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
2	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
2	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff	Hybrid Logics on Linear Structures: Expressivity and Complexity. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF
2	Noriko Suzuki, Christoph Bartneck	Subtle expressivity for characters and robots.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF
2	Suad Alagic, Rajshekhar Sunderraman	Expressivity of Typed Logic Paradigms for Object-Oriented Databases.	BNCOD	1994	DBLP DOI BibTeX RDF
2	Kim Guldstrand Larsen	Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...	CONCUR	1990	DBLP DOI BibTeX RDF
1	Ernst-Erich Doberkat	A stochastic interpretation of propositional dynamic logic: expressivity.	J. Symb. Log.	2012	DBLP BibTeX RDF
1	Chris Harrison, John Horstman, Gary Hsieh, Scott E. Hudson	Unlocking the expressivity of point lights.	CHI	2012	DBLP DOI BibTeX RDF
1	Christos Tsarouchis, Declan O'Sullivan, David Lewis	Balancing System Expressivity and User Cognitive Load in Semantically Enhanced Policy Modelling.	ESWC Workshops	2011	DBLP DOI BibTeX RDF
1	Takashi Nose, Takao Kobayashi	A Perceptual Expressivity Modeling Technique for Speech Synthesis Based on Multiple-Regression HSMM.	INTERSPEECH	2011	DBLP BibTeX RDF
1	Manoj Kumar Rajagopal, Patrick Horain, Catherine Pelachaud	Animating a Conversational Agent with User Expressivity.	IVA	2011	DBLP DOI BibTeX RDF
1	Ernst-Erich Doberkat	A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity.	ICLA	2011	DBLP DOI BibTeX RDF
1	Fran Supek, Kristian Vlahovicek	Correction: Comparison of codon usage measures and their applicability in prediction of microbial gene expressivity.	BMC Bioinformatics	2010	DBLP DOI BibTeX RDF
1	Bart Jacobs, Ana Sokolova	Exemplaric Expressivity of Modal Logics.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
1	Johan van Benthem	Logic between Expressivity and Complexity.	IJCAR	2010	DBLP DOI BibTeX RDF
1	Sam Staton, Glynn Winskel	On the Expressivity of Symmetry in Event Structures.	LICS	2010	DBLP DOI BibTeX RDF
1	Shaikh Mostafa Al Masum, Antonio Rui Ferreira Rebordão, Keikichi Hirose	Affective story teller: a TTS system for emotional expressivity.	INTERSPEECH	2010	DBLP BibTeX RDF
1	Simone Santini	Expressivity of a non-path pattern language for DAGs.	JISBD	2010	DBLP BibTeX RDF
1	Gregory Neven	Privacy-enhanced access control in primelife.	Digital Identity Management	2010	DBLP DOI BibTeX RDF
1	Sigurdur O. Adalgeirsson, Cynthia Breazeal	MeBot: a robotic platform for socially embodied presence.	HRI	2010	DBLP DOI BibTeX RDF	embodied videoconferencing, robot-mediated communication, human robot interaction, telepresence
1	Tomas Petricek, Don Syme	Collecting hollywood's garbage: avoiding space-leaks in composite events.	ISMM	2010	DBLP DOI BibTeX RDF	inversion of control, garbage collection, duality, event-driven, reactive programming, combinator libraries
1	Edwin M. Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha	Mint: Java multi-stage programming using weak separability.	PLDI	2010	DBLP DOI BibTeX RDF	multi-staged languages, java, type systems, multi-stage programming
1	Edward Benson, Adam Marcus 0002, Fabian Howahl, David R. Karger	Talking about data: sharing richly structured information through blogs and wikis.	WWW	2010	DBLP DOI BibTeX RDF	visualization, wikis, blogs, linked data
1	Catherine Pelachaud	Studies on gesture expressivity for a virtual agent.	Speech Communication	2009	DBLP DOI BibTeX RDF
1	David Baelde	On the Expressivity of Minimal Generic Quantification.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Balder ten Cate, David Gabelaia, Dmitry Sustretov	Modal languages for topology: Expressivity and definability.	Ann. Pure Appl. Logic	2009	DBLP DOI BibTeX RDF
1	Niels Landwehr	Trading expressivity for efficiency in statistical relational learning: Ph.D. thesis abstract.	SIGKDD Explorations	2009	DBLP DOI BibTeX RDF
1	Jing Shi	Modal Expressivity and Definability over Sets.	LORI	2009	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat	On the Expressivity of RoCTL*.	TIME	2009	DBLP DOI BibTeX RDF	reliability, Robustness, time, logic, CTL
1	Antonio Rui Ferreira Rebordão, Shaikh Mostafa Al Masum, Keikichi Hirose, Nobuaki Minematsu	How to improve TTS systems for emotional expressivity.	INTERSPEECH	2009	DBLP BibTeX RDF
1	Eric Rosenbaum	Glowdoodle: a medium for expressive inquiry.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	light-painting, expressivity, inquiry
1	Marc Cavazza, David Pizzi, Fred Charles, Thurid Vogt, Elisabeth André	Emotional input for character-based interactive storytelling.	AAMAS	2009	DBLP DOI BibTeX RDF	embodied conversational agents, interactive narrative, affective interfaces
1	Fred Charles, David Pizzi, Marc Cavazza, Thurid Vogt, Elisabeth André	EmoEmma: emotional speech input for interactive storytelling.	AAMAS	2009	DBLP DOI BibTeX RDF	emotional speech recognition, embodied conversational agents, interactive storytelling
1	Gilbert Cockton	Getting there: six meta-principles and interaction design.	CHI	2009	DBLP DOI BibTeX RDF	axiology, meta-principles, worth-centred development frameworks, evaluation, design approaches
1	Sourish Dasgupta, Satish Bhat, Yugyung Lee	CAOFES: an ontological framework for web service retrieval.	CIKM	2009	DBLP DOI BibTeX RDF	ontology, web service composition, semantic retrieval
1	Ian Horswill	Very fast action selection for parameterized behaviors.	FDG	2009	DBLP DOI BibTeX RDF	reactive planning, agent architectures, behavior-based control
1	Bradley A. Swerdfeger, Jennifer Fernquist, Thomas W. Hazelton, Karon E. MacLean	Exploring melodic variance in rhythmic haptic stimulus design.	Graphics Interface	2009	DBLP DOI BibTeX RDF	user studies, multi-modal interfaces, haptic UIs
1	Caroline Appert, Stéphane Huot, Pierre Dragicevic, Michel Beaudouin-Lafon	FlowStates: prototypage d'applications interactives avec des flots de données et des machines à états.	IHM	2009	DBLP DOI BibTeX RDF	state machine, dataflow, user interface toolkit
1	Hien Nguyen, Judith Masthoff	Designing empathic computers: the effect of multimodal empathic feedback using animated agent.	PERSUASIVE	2009	DBLP DOI BibTeX RDF	design, human factors, affective computing, experimentation
1	Carl Eastlund, Matthias Felleisen	Making induction manifest in modular ACL2.	PPDP	2009	DBLP DOI BibTeX RDF	theorem provers, acl2, module systems
1	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
1	Emilio G. Ormeño, Sergio F. Ochoa, Francisco Ibanez, María Inés Lund, Susana Ruiz, Laura Aballay, Victor Rosales	A CMT-based modeling language for courseware design.	CSCWD	2009	DBLP DOI BibTeX RDF
1	Martin Svensson, Oskar Pettersson, Magnus Persson	Pinetree: A Learning Content Repository Based on Semantic Web Technologies.	ICALT	2009	DBLP DOI BibTeX RDF
1	Georgia Koutrika, Benjamin Bercovitz, Robert Ikeda, Filip Kaliszan, Henry Liou, Hector Garcia-Molina	Flexible Recommendations for Course Planning.	ICDE	2009	DBLP DOI BibTeX RDF
1	Iván Martínez-Ortiz, José Luis Sierra, Baltasar Fernández-Manjón	Enhancing IMS LD Units of Learning Comprehension.	ICIW	2009	DBLP DOI BibTeX RDF
1	Bernhard Hollunder	WS-Policy: On Conditional and Custom Assertions.	ICWS	2009	DBLP DOI BibTeX RDF
1	Amina Chaabane, Mohamed Jmaiel	Security aware content-based publish/subscribe system.	ISCC	2009	DBLP DOI BibTeX RDF
1	Michel Soto, Bénédicte Le Grand, Marie-Aude Aufaure	Spatial Visualisation of Conceptual Data.	IV	2009	DBLP DOI BibTeX RDF
1	Gema García-Sáez, José M. Alonso, Javier Molero, Mercedes Rigla Cros, Iñaki Martínez-Sarriegui, Alberto de Leiva, Enrique J. Gómez, M. Elena Hernando	Mealtime Blood Glucose Classifier Based on Fuzzy Logic for the DIABTel Telemedicine System.	AIME	2009	DBLP DOI BibTeX RDF	Classification, Fuzzy Logic, Telemedicine, Diabetes
1	Oana Andrei, Hélène Kirchner	A Higher-Order Graph Calculus for Autonomic Computing.	Graph Theory, Computational Intelligence and Thought	2009	DBLP DOI BibTeX RDF
1	Philippe Laborie	IBM ILOG CP Optimizer for Detailed Scheduling Illustrated on Three Problems.	CPAIOR	2009	DBLP DOI BibTeX RDF	Scheduling, Constraint Programming
1	Jingwei Cheng, Z. M. Ma, Fu Zhang, Xing Wang	Deciding Query Entailment in Fuzzy Description Logic Knowledge Bases.	DEXA	2009	DBLP DOI BibTeX RDF
1	Krzysztof Janowicz, Marc Wilkes	SIM-DLA: A Novel Semantic Similarity Measure for Description Logics Reducing Inter-concept to Inter-instance Similarity.	ESWC	2009	DBLP DOI BibTeX RDF
1	Boris Motik	Combining Description Logics, Description Graphs, and Rules.	FroCos	2009	DBLP DOI BibTeX RDF
1	Jean-François Baget, Madalina Croitoru, Jérôme Fortin, Rallou Thomopoulos	Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application.	ICCS	2009	DBLP DOI BibTeX RDF
1	Paolo Pilozzi, Danny De Schreye	Proving Termination by Invariance Relations.	ICLP	2009	DBLP DOI BibTeX RDF
1	Mantas Simkus	Fusion of Logic Programming and Description Logics.	ICLP	2009	DBLP DOI BibTeX RDF
1	Massimo Bartoletti	Usage Automata.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Matthieu Courgeon, Stéphanie Buisine, Jean-Claude Martin	Impact of Expressive Wrinkles on Perception of a Virtual Character's Facial Expressions of Emotions.	IVA	2009	DBLP DOI BibTeX RDF	Evaluation of virtual agents, Advanced 3D modeling and animation technologies, Facial animation, Affective interaction
1	Nils Bulling, Koen V. Hindriks	Towards a Verification Framework for Communicating Rational Agents.	MATES	2009	DBLP DOI BibTeX RDF
1	Ahmet Kara, Volker Weber, Martin Lange, Thomas Schwentick	On the Hybrid Extension of CTL and CTL+.	MFCS	2009	DBLP DOI BibTeX RDF
1	Christoph Lange 0002, Michael Kohlhase	A Mathematical Approach to Ontology Authoring and Documentation.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Martín Rezk	A Logic Based Approach to the Static Analysis of Production Systems.	RR	2009	DBLP DOI BibTeX RDF
1	Jing Mei, Shengping Liu, Guo Tong Xie, Aditya Kalyanpur, Achille Fokoue, Yuan Ni, Hanyu Li, Yue Pan	A Practical Approach for Scalable Conjunctive Query Answering on Acyclic EL+\mathcal{EL}^+ Knowledge Base.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Ignazio Palmisano, Valentina A. M. Tamma, Terry R. Payne, Paul Doran	Task Oriented Evaluation of Module Extraction Techniques.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Frédéric Peschanski, Joël-Alexis Bialkiewicz	Modelling and Verifying Mobile Systems Using pi-Graphs.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez	Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.	TACAS	2009	DBLP DOI BibTeX RDF	model-checking, tool, Time Petri nets, parameters, TCTL, stopwatches
1	Christoph Schubert	Terminal Coalgebras for Measure-Polynomial Functors.	TAMC	2009	DBLP DOI BibTeX RDF
1	Francisco Valverde, Oscar Pastor	Facing the Technological Challenges of Web 2.0: A RIA Model-Driven Engineering Approach.	WISE	2009	DBLP DOI BibTeX RDF	Web User Interfaces, Model-driven Development, Rich Internet Applications
1	Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang, Bruno Zanuttini	Compact preference representation and Boolean games.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	CP-nets, Game theory, Propositional logic, Preference representation
1	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Studia Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
1	Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau	AspectOptima: A Case Study on Aspect Dependencies and Interactions.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference
1	Lutz Schröder	Expressivity of coalgebraic modal logic: The limits and beyond.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Cosimo Laneve, Antonio Vitale	Expressivity in the kappa Family.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Bryan Renne	Public and private communication are different: results on relative expressivity.	Synthese	2008	DBLP DOI BibTeX RDF
1	Loreto Bravo, Wenfei Fan, Floris Geerts, Shuai Ma	Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity.	ICDE	2008	DBLP DOI BibTeX RDF
1	Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero Ruiz, Fernando L. Pelayo	Enhancing the expressivity of PADL for specifying Web Services Architectures.	TAMoCo	2008	DBLP BibTeX RDF
1	Luigi Iannone, Mikel Egaña Aranguren, Alan L. Rector, Robert Stevens	Augmenting the Expressivity of the Ontology Pre-Processor Language.	OWLED	2008	DBLP BibTeX RDF
1	Carlos Olarte, Frank D. Valencia	The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.	PPDP	2008	DBLP DOI BibTeX RDF	first-order linear temporal logic, security protocols, closure operators, concurrent constraint programming
1	Manfred Jaeger	Model-Theoretic Expressivity Analysis.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	Matthias Rehm, Nikolaus Bee, Elisabeth André	Wave like an Egyptian: accelerometer based gesture recognition for culture specific interactions.	BCS HCI	2008	DBLP DOI BibTeX RDF	Bayesian network modeling, cultural interactions, gesture recognition