Search results for "expressiveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen	10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.	Quantitative Models: Expressiveness and Analysis	2010	DBLP BibTeX RDF
70	Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen	10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.	Quantitative Models: Expressiveness and Analysis	2010	DBLP BibTeX RDF
55	Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen (eds.)	Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010	Quantitative Models: Expressiveness and Analysis	2010	DBLP BibTeX RDF
53	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
46	Mohammad Shami, Werner Verhelst	Automatic Classification of Expressiveness in Speech: A Multi-corpus Study.	Speaker Classification (2)	2007	DBLP DOI BibTeX RDF	emotion, Affective computing, expressiveness, intent
46	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 Secur. Comput.	2005	DBLP DOI BibTeX RDF	Role-based access control, minimality, temporal constraint, expressiveness analysis
46	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
42	Elena Navarro 0001, Patricio Letelier 0001, Isidro Ramos	Integrating Expressiveness of Modern Requirements Modeling Approaches.	SERA	2005	DBLP DOI BibTeX RDF
42	Susanne Patig	Measuring Expressiveness in Conceptual Modeling.	CAiSE	2004	DBLP DOI BibTeX RDF
40	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
40	Kirsten Bergmann, Stefan Kopp	Increasing the expressiveness of virtual agents: autonomous generation of speech and gesture for spatial description tasks.	AAMAS (1)	2009	DBLP BibTeX RDF	gesture, language, expressiveness, embodied conversational agents, multimodal output
40	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
40	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
40	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	complexity, constraints, trees, first order logic, expressiveness
35	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
35	Carlo A. Furia, Matteo Rossi	On the Expressiveness of MTL Variants over Dense Time.	FORMATS	2007	DBLP DOI BibTeX RDF
35	Stephen Boyd 0001, Didar Zowghi, Alia Farroukh	Measuring the Expressiveness of a Constrained Natural Language: An Empirical Study.	RE	2005	DBLP DOI BibTeX RDF
35	Stephen D. Brookes, Denis Dancanet	Sequential Algorithms, Deterministic Parallelism, and Intensional Expressiveness.	POPL	1995	DBLP DOI BibTeX RDF
33	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
33	Ivan Lanese, Jorge A. Pérez 0001, 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
33	Wenfei Fan, Floris Geerts, Frank Neven	Expressiveness and complexity of xml publishing transducers.	PODS	2007	DBLP DOI BibTeX RDF	complexity, expressiveness, XML publishing
33	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
33	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
33	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
33	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
32	Rossana Baptista Queiroz, Leandro Motta Barros, Soraia Raupp Musse	Providing expressive gaze to virtual animated characters in interactive applications.	Comput. Entertain.	2008	DBLP DOI BibTeX RDF	Eye animation, gaze behavior, facial animation, expressiveness, behavioral animation
32	Hubie Chen	The expressive rate of constraints.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	dichotomy theorem, constraints, logic, expressiveness
32	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
32	Georg Gottlob, Christoph Koch 0001	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
32	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
32	Annalisa Di Deo, Dmitri Boulanger	A Formal Background to Build Constraint Objects.	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
32	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
29	Kirstin Peters, Nobuko Yoshida	On the Expressiveness of Mixed Choice Sessions.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
29	Eduard Baranov, Simon Bliudze	Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.	Acta Informatica	2020	DBLP DOI BibTeX RDF
29	Eduard Baranov, Simon Bliudze	Expressiveness of component-based frameworks: a study of the expressiveness of BIP.	Acta Informatica	2020	DBLP DOI BibTeX RDF
29	Eduard Baranov, Simon Bliudze	A Note on the Expressiveness of BIP.	EXPRESS/SOS	2016	DBLP DOI BibTeX RDF
29	Thomas Given-Wilson	On the Expressiveness of Intensional Communication.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
29	Maciej Gazda, Tim A. C. Willemse	Expressiveness and Completeness in Abstraction	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
29	Rob J. van Glabbeek	Musings on Encodings and Expressiveness	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
29	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler	Read Operators and their Expressiveness in Process Algebras	EXPRESS	2011	DBLP DOI BibTeX RDF
29	Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg	Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)	EXPRESS	2010	DBLP DOI BibTeX RDF
29	Rob J. van Glabbeek	On the Expressiveness of Higher Dimensional Automata: (Extended Abstract).	EXPRESS	2004	DBLP DOI BibTeX RDF
29	Flavio Corradini, Uwe Nestmann	Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.	EXPRESS	2003	DBLP DOI BibTeX RDF
29	Pascal Zimmer	On the Expressiveness of Pure Mobile Ambients.	EXPRESS	2000	DBLP DOI BibTeX RDF
29	Simone Tini	On The Expressiveness of Timed Concurrent Constraint Programming.	EXPRESS	1999	DBLP DOI BibTeX RDF
29	Antonio Brogi, Jean-Marie Jacquet	On the Expressiveness of Linda-like Concurrent Languages.	EXPRESS	1998	DBLP DOI BibTeX RDF
29	Massimo Merro	On the Expressiveness of Chi, Update, and Fusion calculi.	EXPRESS	1998	DBLP DOI BibTeX RDF
28	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
28	María Adela Grando, David Glasspool, John Fox 0001	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
28	Simon Bliudze, Joseph Sifakis	A Notion of Glue Expressiveness for Component-Based Systems.	CONCUR	2008	DBLP DOI BibTeX RDF
28	Norbert Braun, Thomas Rieger	Evaluation of a Virtual Narrator's Expressiveness in Terms of Suspense Signaling.	TIDSE	2004	DBLP DOI BibTeX RDF
28	Christine Golbreich, Olivier Dameron, Bernard Gibaud, Anita Burgun	Web Ontology Language Requirements w.r.t Expressiveness of Taxonomy and Axioms in Medicine.	ISWC	2003	DBLP DOI BibTeX RDF
28	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
28	Lucian Ilie, Arto Salomaa	On the Expressiveness of Subset-Sum Representations.	Acta Informatica	2000	DBLP DOI BibTeX RDF
28	Nadia Busi, Gianluigi Zavattaro	On the Expressiveness of Event Notification in Data-Driven Coordination Languages.	ESOP	2000	DBLP DOI BibTeX RDF
28	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
28	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
28	Philippe Picouet, Victor Vianu	Expressiveness and Complexity of Active Databases.	ICDT	1997	DBLP DOI BibTeX RDF
27	Kris Gybels, Charlotte Herzeel, Theo D'Hondt	Symbiosis in logic-based pointcuts over a history of join points.	SAC	2008	DBLP DOI BibTeX RDF	history-based pointcuts, linguistic symbiosis, logic-based pointcuts, aspect-oriented programming, multi-paradigm programming
25	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
25	Dan Olteanu	Forward node-selecting queries over trees.	ACM Trans. Database Syst.	2007	DBLP DOI BibTeX RDF	XML, streams, XPath, Expressiveness, rewriting
25	Georg Gottlob, Christoph Koch 0001, Klaus U. Schulz	Conjunctive queries over trees.	J. ACM	2006	DBLP DOI BibTeX RDF	XML, Complexity, trees, expressiveness, conjunctive queries, succinctness
25	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
25	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
25	Antonio Camurri, Barbara Mazzarino, Gualtiero Volpe	Expressive interfaces.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Interactive multimedia systems, Expressiveness in performing arts, Human-computer interaction, Expressive gesture
25	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
25	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
25	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
25	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
25	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
21	Prabhath Dushyantha Jayatilake, Keisuke Takahashi, Kenji Suzuki 0002	An assistive mask with biorobotic control to enhance facial expressiveness.	IROS	2009	DBLP DOI BibTeX RDF
21	Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro	On the Expressiveness of Forwarding in Higher-Order Communication.	ICTAC	2009	DBLP DOI BibTeX RDF
21	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	Expressiveness and Closure Properties for Quantitative Languages.	LICS	2009	DBLP DOI BibTeX RDF
21	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
21	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
21	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
21	João Sequeira 0001	Measuring Motion Expressiveness in Wheeled Mobile Robots.	EUROS	2008	DBLP DOI BibTeX RDF
21	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt	Performance Trees: Expressiveness and Quantitative Semantics.	QEST	2007	DBLP DOI BibTeX RDF
21	Haoqiang Jin	Towards Enhancing OpenMP Expressiveness and Performance.	HPCC	2007	DBLP DOI BibTeX RDF
21	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
21	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
21	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
21	Francisco Antunes, João Paulo Costa, Paulo Maçãs	Managing Divergent Information: Enhancing Document Expressiveness.	HICSS	2006	DBLP DOI BibTeX RDF
21	Pavithra Prabhakar, Deepak D'Souza	On the Expressiveness of MTL with Past Operators.	FORMATS	2006	DBLP DOI BibTeX RDF
21	Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram	Expressiveness and Performance of Full-Text Search Languages.	EDBT	2006	DBLP DOI BibTeX RDF
21	Giuliana Franceschinis	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
21	Magali Duboisset, François 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
21	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
21	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
21	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
21	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
21	Isabelle Linden, Jean-Marie Jacquet	On the Expressiveness of Absolute-Time Coordination Languages.	COORDINATION	2004	DBLP DOI BibTeX RDF
21	Moritz Y. Becker, Peter Sewell	Cassandra: Distributed Access Control Policies with Tunable Expressiveness.	POLICY	2004	DBLP DOI BibTeX RDF
21	Patrice Godefroid, Radha Jagadeesan	On the Expressiveness of 3-Valued Models.	VMCAI	2003	DBLP DOI BibTeX RDF
21	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
21	John Howse, Fernando Molina, John Taylor 0001	On the Completeness and Expressiveness of Spider Diagram Systems.	Diagrams	2000	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
21	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
21	Sergio Canazza, Giovanni De Poli, Antonio Rodà, Alvise Vidolin	Adding Expressiveness to Musical Messages.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
21	Matthias Nicola, Matthias Jarke	Increasing the Expressiveness of Analytical Performance Models for Replicated Databases.	ICDT	1999	DBLP DOI BibTeX RDF