Search results for "expressiveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Henriette S. M. Cramer, Vanessa Evers, Tim van Slooten, Mattijs Ghijsen, Bob J. Wielinga	Trying too hard: effects of mobile agents' (Inappropriate) social expressiveness on trust, affect and compliance.	CHI	2010	DBLP DOI BibTeX RDF	social expressiveness, trust, autonomy, mobile interaction
3	Kirsten Bergmann, Stefan Kopp	Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks.	AAMAS	2009	DBLP DOI BibTeX RDF	gesture, language, expressiveness, embodied conversational agents, multimodal output
3	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of XML publishing transducers.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	complexity, expressiveness, data exchange, transducer, XML publishing
3	Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco	On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.	LFCS	2007	DBLP DOI BibTeX RDF	neighbourhood interval logics, decidability, expressiveness
3	Mohammad Shami, Werner Verhelst	Automatic Classification of Expressiveness in Speech: A Multi-corpus Study.	Speaker Classification	2007	DBLP DOI BibTeX RDF	emotion, Affective computing, expressiveness, intent
3	James Joshi, Elisa Bertino, Arif Ghafoor	An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Role-based access control, minimality, temporal constraint, expressiveness analysis
3	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of the Expressiveness of Timed Automata and Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF	Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
3	Marion G. Ceruti	States of matter, information organization and dimensions of expressiveness.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	infodynamics, states of matter, database, knowledge base, expressiveness, model base
3	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.	Constraints	2003	DBLP DOI BibTeX RDF	complexity, constraints, trees, first order logic, expressiveness
2	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Read Operators and their Expressiveness in Process Algebras	EXPRESS	2011	DBLP DOI BibTeX RDF
2	Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg	Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)	EXPRESS'10	2010	DBLP DOI BibTeX RDF
2	Serge Abiteboul, Benny Kimelfeld, Yehoshua Sagiv, Pierre Senellart	On the expressiveness of probabilistic XML models.	VLDB J.	2009	DBLP DOI BibTeX RDF	Probabilistic XML, XML, Updates, Expressiveness, Probabilistic databases
2	Yuqing Wu, Dirk Van Gucht, Marc Gyssens, Jan Paredaens	A Study of a Positive Fragment of Path Queries: Expressiveness, Normal Form, and Minimization.	BNCOD	2009	DBLP DOI BibTeX RDF
2	Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro	On the Expressiveness of Forwarding in Higher-Order Communication.	ICTAC	2009	DBLP DOI BibTeX RDF
2	Prabhath Dushyantha Jayatilake, Keisuke Takahashi, Kenji Suzuki	An assistive mask with biorobotic control to enhance facial expressiveness.	IROS	2009	DBLP DOI BibTeX RDF
2	Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger	Expressiveness and Closure Properties for Quantitative Languages.	LICS	2009	DBLP DOI BibTeX RDF
2	Peter Buneman, James Cheney, Stijn Vansummeren	On the expressiveness of implicit provenance in query and update languages.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	nested relational calculus, nested update language, Provenance, conservativity
2	Johan Redström	Tangled interaction: On the expressiveness of tangible user interfaces.	ACM Trans. Comput.-Hum. Interact.	2008	DBLP DOI BibTeX RDF	interaction design, tangible user interfaces, Aesthetics, design theory
2	Johan Redström	Tangled interaction: On the expressiveness of tangible user interfaces.	ACM Trans. Comput.-Hum. Interact.	2008	DBLP DOI BibTeX RDF	interaction design, tangible user interfaces, Aesthetics, design theory
2	Simon Bliudze, Joseph Sifakis	A Notion of Glue Expressiveness for Component-Based Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
2	Luca Roversi, Luca Vercelli	Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets.	TYPES	2008	DBLP DOI BibTeX RDF	Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity
2	João Sequeira	Measuring Motion Expressiveness in Wheeled Mobile Robots.	EUROS	2008	DBLP DOI BibTeX RDF
2	Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt	On the Expressiveness and Decidability of Higher-Order Process Calculi.	LICS	2008	DBLP DOI BibTeX RDF	behavioral equivalences, decidability, expressiveness, process calculi, higher-order languages
2	María Adela Grando, David Glasspool, John Fox	Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF	Clinical process modelling, care pathways, petri nets, workflow patterns
2	Yueh-Hung Lin, Chia-Yang Liu, Hung-Wei Lee, Shwu-Lih Huang, Tsai-Yen Li	Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions.	IVA	2008	DBLP DOI BibTeX RDF
2	Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Follmer	The flote: an instrument for people with limited mobility.	ASSETS	2008	DBLP DOI BibTeX RDF	limited mobility, expressiveness, musical instrument
2	Rossana Baptista Queiroz, Leandro Motta Barros, Soraia Raupp Musse	Providing expressive gaze to virtual animated characters in interactive applications.	Computers in Entertainment	2008	DBLP DOI BibTeX RDF	Eye animation, gaze behavior, facial animation, expressiveness, behavioral animation
2	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
2	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Haoqiang Jin	Towards Enhancing OpenMP Expressiveness and Performance.	HPCC	2007	DBLP DOI BibTeX RDF
2	Zhiguo Zhang, Yunfei Jiang	Parallel First-Order Dynamic Logic and Its Expressiveness and Axiomatization.	APPT	2007	DBLP DOI BibTeX RDF	Parallel actions, First-order logic, Expressiveness, Dynamic logic, Axiomatization
2	Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt	Performance Trees: Expressiveness and Quantitative Semantics.	QEST	2007	DBLP DOI BibTeX RDF
2	Mathieu Barthet, Richard Kronland-Martinet, Sølvi Ystad	Improving Musical Expressiveness by Time-Varying Brightness Shaping.	CMMR	2007	DBLP DOI BibTeX RDF	analysis-synthesis, clarinet, Musical expressiveness, timbre
2	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of xml publishing transducers.	PODS	2007	DBLP DOI BibTeX RDF	complexity, expressiveness, XML publishing
2	Dan Olteanu	Forward node-selecting queries over trees.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	XML, streams, XPath, Expressiveness, rewriting
2	Wim Martens, Frank Neven, Thomas Schwentick, Geert Jan Bex	Expressiveness and complexity of XML Schema.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	XML, validation, XML Schema
2	Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu	Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.	TACAS	2006	DBLP DOI BibTeX RDF
2	Pavithra Prabhakar, Deepak D'Souza	On the Expressiveness of MTL with Past Operators.	FORMATS	2006	DBLP DOI BibTeX RDF
2	Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram	Expressiveness and Performance of Full-Text Search Languages.	EDBT	2006	DBLP DOI BibTeX RDF
2	Francisco Antunes, João Paulo Costa, Paulo Maçãs	Managing Divergent Information: Enhancing Document Expressiveness.	HICSS	2006	DBLP DOI BibTeX RDF
2	Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
2	Georg Gottlob, Christoph Koch, Klaus U. Schulz	Conjunctive queries over trees.	J. ACM	2006	DBLP DOI BibTeX RDF	XML, Complexity, trees, expressiveness, conjunctive queries, succinctness
2	Argimiro Arratia, Carlos E. Ortiz	Counting Proportions of Sets: Expressive Power with Almost Order.	LATIN	2006	DBLP DOI BibTeX RDF	Proportional quantifiers, almost order, P, computational complexity, expressiveness, NL
2	Giuliana Franceschinis	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
2	Geert Jan Bex, Wim Martens, Frank Neven, Thomas Schwentick	Expressiveness of XSDs: from practice to theory, there and back again.	WWW	2005	DBLP DOI BibTeX RDF	formal model, XML schema, expressiveness
2	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.	FMCO	2005	DBLP DOI BibTeX RDF
2	Stephen Boyd, Didar Zowghi, Alia Farroukh	Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study.	RE	2005	DBLP DOI BibTeX RDF
2	Elena Navarro, Patricio Letelier, Isidro Ramos	Integrating Expressiveness of Modern Requirements Modeling Approaches.	SERA	2005	DBLP DOI BibTeX RDF
2	Magali Duboisset, Francois Pinet, Myoung-Ah Kang, Michel Schneider	Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
2	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux	Comparison of Different Semantics for Time Petri Nets.	ATVA	2005	DBLP DOI BibTeX RDF	Timed Bisimilarity, Expressiveness, Time Petri Nets
2	Hubie Chen	The expressive rate of constraints.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	dichotomy theorem, constraints, logic, expressiveness
2	Moritz Y. Becker, Peter Sewell	Cassandra: Distributed Access Control Policies with Tunable Expressiveness.	POLICY	2004	DBLP DOI BibTeX RDF
2	Susanne Patig	Measuring Expressiveness in Conceptual Modeling.	CAiSE	2004	DBLP DOI BibTeX RDF
2	Isabelle Linden, Jean-Marie Jacquet	On the Expressiveness of Absolute-Time Coordination Languages.	COORDINATION	2004	DBLP DOI BibTeX RDF
2	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
2	Norbert Braun, Thomas Rieger	Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling.	TIDSE	2004	DBLP DOI BibTeX RDF
2	Jingtao Wang, John F. Canny	FingerSense: augmenting expressiveness to physical pushing button by fingertip identification.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	mobile computing, performance modeling, input device, text input, fingerprint recognition
2	Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia	On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
2	Georg Gottlob, Christoph Koch	Monadic datalog and the expressive power of languages for Web information extraction.	J. ACM	2004	DBLP DOI BibTeX RDF	MSO, monadic datalog, web wrapping, Complexity, information extraction, HTML, expressiveness, regular tree languages
2	Frank Neven, Thomas Schwentick, Victor Vianu	Finite state machines for strings over infinite alphabets.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
2	Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe	Expressive interfaces.	Cognition, Technology & Work	2004	DBLP DOI BibTeX RDF	Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture
2	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
2	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine.	International Semantic Web Conference	2003	DBLP DOI BibTeX RDF
2	Kritsachai Somsaman	Emotional expressiveness in visual-sonic integration: a framework for multimedia design.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	multimedia, emotion, perception, information design
2	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI BibTeX RDF
2	Joseph Y. Halpern, Riccardo Pucella	On the relationship between strand spaces and multi-agent systems.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	multi-agent systems, Agents, security protocols, expressiveness, strand spaces
2	James Bowen	Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
2	Wilfred Ng	An extension of the relational data model to incorporate ordered domains.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Axiom system, chase rules, language expressiveness, mixed ordering, nonuniform completeness, order-preserving database automorphism, ordered SQL, ordered functional dependencies, ordered relational model, partially ordered domains, partially ordered relational algebra, pointwise ordering, valuation mapping, tableaux, lexicographical ordering, ordered relations, implication problem
2	Lucian Ilie, Arto Salomaa	On the Expressiveness of Subset-Sum Representations.	Acta Inf.	2000	DBLP DOI BibTeX RDF
2	John Howse, Fernando Molina, John Taylor	On the Completeness and Expressiveness of Spider Diagram Systems.	Diagrams	2000	DBLP BibTeX RDF	Diagrammatic reasoning, visual formalisms
2	Antonio Carzaniga, David S. Rosenblum, Alexander L. Wolf	Achieving scalability and expressiveness in an Internet-scale event notification service.	PODC	2000	DBLP DOI BibTeX RDF
2	Nadia Busi, Gianluigi Zavattaro	On the Expressiveness of Event Notification in Data-Driven Coordination Languages.	ESOP	2000	DBLP DOI BibTeX RDF
2	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.	CP	2000	DBLP DOI BibTeX RDF
2	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	constraint objects, first-order formula, database tuples, database objects, basic data types, constraint data model, spatial tools, Oracle 8, constraint programming, first-order logic, expressiveness, duality, constraint handling, spatial relations, data representation, linear constraints, relational data model, declarativeness, object-relational DBMS, constraint databases, cylindrical algebras, relational tables, free variables
2	Catuscia Palamidessi	Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
2	Sergio Canazza, Giovanni De Poli, Antonio Rodà, Alvise Vidolin	Adding Expressiveness to Musical Messages. (PDF / PS)	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
2	Matthias Nicola, Matthias Jarke	Increasing the Expressiveness of Analytical Performance Models for Replicated Databases.	ICDT	1999	DBLP DOI BibTeX RDF
2	Foto N. Afrati, Irène Guessarian, Michel de Rougemont	The Expressiveness of Datalog Circuits (DAC).	MFCS	1997	DBLP DOI BibTeX RDF
2	Philippe Picouet, Victor Vianu	Expressiveness and Complexity of Active Databases.	ICDT	1997	DBLP DOI BibTeX RDF
2	Michele Boreale	On the Expressiveness of Internal Mobility in Name-Passing Calculi.	CONCUR	1996	DBLP DOI BibTeX RDF
2	Stephen D. Brookes, Denis Dancanet	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.	POPL	1995	DBLP DOI BibTeX RDF
2	Paritosh K. Pandya	Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.	CSL	1995	DBLP DOI BibTeX RDF
2	Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht	Expressiveness of Efficient Semi-Deterministic Choice Constructs.	ICALP	1994	DBLP DOI BibTeX RDF
2	Jennifer Widom, David Gries, Fred B. Schneider	Trace-Based Network Proof Systems: Expressiveness and Completeness.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	trace logics, temporal logics, safety properties, process networks
2	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
2	Martín Abadi, Joseph Y. Halpern	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	unary predicates, validity problem, binary predicate, elementary analysis, function symbols, probability, language, reasoning, first-order logics, decidable, expressiveness, domain, possible worlds
2	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
2	Jeannette M. Wing, Mark R. Nixon	Extending Ina Jo with Temporal Logic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
2	Jennifer Widom, Prakash Panagaden	Expressiveness Bounds for Completness in Trace-Based Network Proof Systems.	CAAP	1988	DBLP DOI BibTeX RDF
2	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
2	Deepak Kapur, Mandayam K. Srivas	Expressiveness of the Operation Set of a Data Abstraction.	POPL	1980	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness	CoRR	2012	DBLP BibTeX RDF
1	Jose M. Alcaraz Calero, Andrés Muñoz Ortega, Gregorio Martínez Pérez, Juan A. Botía, Antonio F. Gómez-Skarmeta	A Non-monotonic Expressiveness Extension on the Semantic Web Rule Language.	J. Web Eng.	2012	DBLP BibTeX RDF
1	Jan A. Bergstra, C. A. Middelburg	On the Expressiveness of Single-Pass Instruction Sequences.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Inge Bethke	On the Contribution of Backward Jumps to Instruction Sequence Expressiveness.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness.	Formal Methods in System Design	2012	DBLP DOI BibTeX RDF
1	Alice Bodanzky	Exploring the expressiveness of shape-changing surfaces.	Tangible and Embedded Interaction	2012	DBLP DOI BibTeX RDF
1	George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu	The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs.	FoIKS	2012	DBLP DOI BibTeX RDF
1	Harrie Jan Sander Bruggink, Mathias Hülsbusch	Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages.	ECEASST	2011	DBLP BibTeX RDF