Search results for "expressiveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Catuscia Palamidessi	Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Foto N. Afrati, Irène Guessarian, Michel de Rougemont	The Expressiveness of Datalog Circuits (DAC).	MFCS	1997	DBLP DOI BibTeX RDF
21	Michele Boreale	On the Expressiveness of Internal Mobility in Name-Passing Calculi.	CONCUR	1996	DBLP DOI BibTeX RDF
21	Paritosh K. Pandya	Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.	CSL	1995	DBLP DOI BibTeX RDF
21	Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht	Expressiveness of Efficient Semi-Deterministic Choice Constructs.	ICALP	1994	DBLP DOI BibTeX RDF
21	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
21	Jennifer Widom, Prakash Panangaden	Expressiveness Bounds for Completness in Trace-Based Network Proof Systems.	CAAP	1988	DBLP DOI BibTeX RDF
21	Deepak Kapur, Mandayam K. Srivas	Expressiveness of the Operation Set of a Data Abstraction.	POPL	1980	DBLP DOI BibTeX RDF
20	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	2009	DBLP DOI BibTeX RDF	diamond problem, modularity, multiple inheritance, multimethods
20	Vivek Nigam, Dale Miller 0001	Algorithmic specifications in linear logic with subexponentials.	PPDP	2009	DBLP DOI BibTeX RDF	subexponentials, linear logic, proof search
20	Jorge Pérez 0001, Marcelo Arenas, Claudio Gutierrez 0001	nSPARQL: A Navigational Language for RDF.	ISWC	2008	DBLP DOI BibTeX RDF
20	Jorge Solis, Kei Suefuji, Koichi Taniguchi, Takeshi Ninomiya, Maki Maeda, Atsuo Takanishi	Implementation of Expressive Performance Rules on the WF-4RIII by modeling a professional flutist performance using NN.	ICRA	2007	DBLP DOI BibTeX RDF
20	Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia	Management of Exceptions on Access Control Policies.	SEC	2007	DBLP DOI BibTeX RDF
20	Robert W. Ferguson, Giuseppe Lami	An Empirical Study on the Relationship between Defective Requirements and Test Failures.	SEW	2006	DBLP DOI BibTeX RDF
20	Michael Benedikt, Luc Segoufin	Towards a Characterization of Order-Invariant Queries over Tame Structures.	CSL	2005	DBLP DOI BibTeX RDF
20	Antonio Camurri	Expressive Gesture.	ICMAI	2002	DBLP DOI BibTeX RDF
20	Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide	Data Modelling in Complex Application Domains.	CAiSE	1992	DBLP DOI BibTeX RDF
20	Matthias Felleisen	On the Expressive Power of Programming Languages.	ESOP	1990	DBLP DOI BibTeX RDF
18	Frank Buschmann, Kevlin Henney	Five Considerations for Software Architecture, Part 1.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	architecture economy, architecture elegance, architecture expressiveness, modularization, separation of concern
18	Stéphane Demri, Ranko Lazic 0001	LTL with the freeze quantifier and register automata.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Computational complexity, expressiveness
18	Petra Sundström, Tove Jaensson, Kristina Höök, Alina Pommeranz	Probing the potential of non-verbal group communication.	GROUP	2009	DBLP DOI BibTeX RDF	autobiographical design, friends at work, richer expressiveness, technology probe
18	Erin A. Carroll, Celine Latulipe	The creativity support index.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	creativity evaluation, standardized surveys, creativity, expressiveness, engagement, flow, play
18	Patrick Bosc, Vincent Claveau, Olivier Pivert, Laurent Ughetto	Graded-Inclusion-Based Information Retrieval Systems.	ECIR	2009	DBLP DOI BibTeX RDF	IRS models, graded inclusion, query expressiveness, fuzzy logic, fuzzy implication
18	Cong Tian, Zhenhua Duan	Propositional Projection Temporal Logic, Bchi Automata and omega-Regular Expressions.	TAMC	2008	DBLP DOI BibTeX RDF	Propositional Projection Temporal Logic, B chi automata, ?-regular expression, expressiveness
18	Patrick G. Kenny, Thomas D. Parsons, Jonathan Gratch, Albert A. Rizzo	Virtual humans for assisted health care.	PETRA	2008	DBLP DOI BibTeX RDF	advanced 3D modeling and animation technology, emotion and social behavior, experience reports and user studies, game characters, models of personality, multi-user/multi-virtual-agent interaction, verbal and non-verbal expressiveness, applications, virtual humans, health care, virtual patients
18	Nicolas Szilas	BEcool: Towards an Author Friendly Behaviour Engine.	International Conference on Virtual Storytelling	2007	DBLP DOI BibTeX RDF	behaviour engine, authoring, authorability, expressiveness, Virtual characters, interactive drama
18	Andrew David Eisenberg, Gregor Kiczales	Expressive programs through presentation extension.	AOSD	2007	DBLP DOI BibTeX RDF	MOP, metadata, annotations, expressiveness, metaobject protocol
18	Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin	Comparing the Expressive Power of Well-Structured Transition Systems.	CSL	2007	DBLP DOI BibTeX RDF	well-structured systems, language theory, Expressiveness
18	Angela Chang, James Gouldstone, Jamie Zigelbaum, Hiroshi Ishii 0001	Simplicity in interaction design.	TEI	2007	DBLP DOI BibTeX RDF	usability, interface design, expressiveness, simplicity
18	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	monad algebra, nested-relational algebra, XML, complexity, XQuery, expressiveness, conservativity, Complex values
18	Hai Zhuge, Erlin Yao	Completeness of Query Operations on Resource Spaces.	SKG	2006	DBLP DOI BibTeX RDF	Resource Space Model, query, completeness, expressiveness, operation, sufficiency
18	Naizhen Qi, Michiharu Kudo, Jussi Myllymaki, Hamid Pirahesh	A function-based access control model for XML databases.	CIKM	2005	DBLP DOI BibTeX RDF	rule functions, access control, expressiveness, XML database, fine-grained access control
18	Erica Costantini, Fabio Pianesi, Michela Prete	Recognising emotions in human and synthetic faces: the role of the upper and lower parts of the face.	IUI	2005	DBLP DOI BibTeX RDF	face regions, synthetic faces, user study, expressiveness, emotion recognition
18	Alberto Battocchi, Fabio Pianesi, Dina Goren-Bar	A first evaluation study of a database of kinetic facial expressions (DaFEx).	ICMI	2005	DBLP DOI BibTeX RDF	quality of facial displays, databases, user study, expressiveness, emotion recognition
18	Per Persson	Exms: an animated and avatar-based messaging system for expressive peer communication.	GROUP	2003	DBLP DOI BibTeX RDF	multi-media authoring tools, animation, computer-mediated communication, avatars, expressiveness
18	Tom Djajadiningrat, Kees Overbeeke, Stephan Wensveen	But how, Donald, tell us how?: on the creation of meaning in interaction design through feedforward and inherent feedback.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	usability, feedback, expressiveness, meaning, feedforward
18	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
18	Dwifiandika S. Faulus, Raymond T. Ng	An expressive language and interface for image querying.	Mach. Vis. Appl.	1997	DBLP DOI BibTeX RDF	Content-based image querying, Expressiveness of query language/interface, Query reformulation
18	Elisabeth Freeman, David Gelernter, Suresh Jagannathan	In Search of a Simple Visual Vocabulary.	VL	1995	DBLP DOI BibTeX RDF	reverse engineering, programming environments, visual programming, visual languages, visual languages, program understanding, expressiveness, computer aided software engineering, visual representation, vocabulary, program executions, program structure, visual programming environment, visual vocabulary
18	Bernhard Josko	Verifying the Correctness of AADL Modules Using Model Checking.	REX Workshop	1989	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
15	Rob van Glabbeek	Comparing the Expressiveness of the π-calculus and CCS.	ACM Trans. Comput. Log.	2024	DBLP DOI BibTeX RDF
15	Ioannis Mavroudopoulos, Anastasios Gounaris	A Comprehensive Scalable Framework for Cloud-Native Pattern Detection with Enhanced Expressiveness.	CoRR	2024	DBLP DOI BibTeX RDF
15	Wolfgang Gatterbauer, Cody Dunne	On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages.	CoRR	2024	DBLP DOI BibTeX RDF
15	Qiaochu Huang, Xu He, Boshi Tang, Haolin Zhuang, Liyang Chen, Shuochen Gao, Zhiyong Wu 0001, Haozhi Huang 0004, Helen Meng	Enhancing Expressiveness in Dance Generation via Integrating Frequency and Music Style Information.	CoRR	2024	DBLP DOI BibTeX RDF
15	Bohang Zhang, Jingchu Gai, Yiheng Du, Qiwei Ye, Di He 0001, Liwei Wang	Beyond Weisfeiler-Lehman: A Quantitative Framework for GNN Expressiveness.	CoRR	2024	DBLP DOI BibTeX RDF
15	Yuanzhi Liang, Linchao Zhu, Yi Yang 0001	AntEval: Quantitatively Evaluating Informativeness and Expressiveness of Agent Social Interactions.	CoRR	2024	DBLP DOI BibTeX RDF
15	Shi Yin, Xinyang Pan, Xudong Zhu, Tianyu Gao, Haochong Zhang, Feng Wu 0001, Lixin He	Harmonizing Covariance and Expressiveness for Deep Hamiltonian Regression in Crystalline Material Research: a Hybrid Cascaded Regression Framework.	CoRR	2024	DBLP DOI BibTeX RDF
15	Bart Bogaerts 0001, Maxime Jakubowski, Jan Van den Bussche	Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
15	Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani	Branching pomsets: Design, expressiveness and applications to choreographies.	J. Log. Algebraic Methods Program.	2024	DBLP DOI BibTeX RDF
15	Wolfgang Gatterbauer, Cody Dunne	On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages.	Proc. ACM Manag. Data	2024	DBLP DOI BibTeX RDF
15	Andrei Draghici, Christoph Haase, Andrew Ryzhikov	Reachability in Fixed VASS: Expressiveness and Lower Bounds.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
15	Liu Yu 0001, Ludie Guo, Ping Kuang, Fan Zhou 0002	Biases Mitigation and Expressiveness Preservation in Language Models: A Comprehensive Pipeline (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
15	Jiwan Hur, Jaehyun Choi, Gyojin Han, Dong-Jae Lee, Junmo Kim 0002	Expanding Expressiveness of Diffusion Models with Limited Data via Self-Distillation based Fine-Tuning.	WACV	2024	DBLP DOI BibTeX RDF
15	Yang Zhao, Shuai Xiao, Jiachen Yang, Wen Lu, Xinbo Gao 0001	No-reference quality index of tone-mapped images based on authenticity, preservation, and scene expressiveness.	Signal Process.	2023	DBLP DOI BibTeX RDF
15	Wolfgang Dvorák, Anna Rapberger, Stefan Woltran	A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
15	Masih Haseli, Jorge Cortés 0001	Generalizing dynamic mode decomposition: Balancing accuracy and expressiveness in Koopman approximations.	Autom.	2023	DBLP DOI BibTeX RDF
15	Gennady Shtakser	Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.	Logica Universalis	2023	DBLP DOI BibTeX RDF
15	Radu Iosif, Florian Zuleger	Expressiveness Results for an Inductive Logic of Separated Relations.	CoRR	2023	DBLP DOI BibTeX RDF
15	Bohang Zhang, Guhao Feng, Yiheng Du, Di He 0001, Liwei Wang 0001	A Complete Expressiveness Hierarchy for Subgraph GNNs via Subgraph Weisfeiler-Lehman Tests.	CoRR	2023	DBLP DOI BibTeX RDF
15	Haiquan Qiu, Yongqi Zhang, Yong Li 0008, Quanming Yao	Logical Expressiveness of Graph Neural Network for Knowledge Graph Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mathias Vogel	A Study on Altering the Latent Space of Pretrained Text to Speech Models for Improved Expressiveness.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yeyuan Chen, Dingmin Wang	Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
15	Toluwani Aremu	Regularized PolyKervNets: Optimizing Expressiveness and Efficiency for Private Inference in Deep Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Manel Barkallah, Jean-Marie Jacquet	On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues.	ICE	2023	DBLP DOI BibTeX RDF
15	Francisco Vargas, Teodora Reu, Anna Kerekes	Expressiveness Remarks for Denoising Diffusion Models and Samplers.	CoRR	2023	DBLP DOI BibTeX RDF
15	Zhezheng Luo, Jiayuan Mao, Joshua B. Tenenbaum, Leslie Pack Kaelbling	On the Expressiveness and Generalization of Hypergraph Neural Networks.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jiwan Hur, Jaehyun Choi, Gyojin Han, Dong-Jae Lee, Junmo Kim 0002	Expanding Expressiveness of Diffusion Models with Limited Data via Self-Distillation based Fine-Tuning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Claudio Antares Mezzina, Georgiana Caltais (eds.)	Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Franka Bause, Samir Moustafa, Johannes Langguth, Wilfried N. Gansterer, Nils M. Kriege	Non-Redundant Graph Neural Networks with Improved Expressiveness.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jingjing Tang, Geraint A. Wiggins, George Fazekas	Reconstructing Human Expressiveness in Piano Performances with a Transformer Network.	CoRR	2023	DBLP DOI BibTeX RDF
15	Shaohuan Zhou, Shun Lei, Weiya You, Deyi Tuo, Yuren You, Zhiyong Wu 0001, Shiyin Kang, Helen Meng	Towards Improving the Expressiveness of Singing Voice Synthesis with BERT Derived Semantic Information.	CoRR	2023	DBLP DOI BibTeX RDF
15	Yanbo Wang, Muhan Zhang	Towards Better Evaluation of GNN Expressiveness with BREC Dataset.	CoRR	2023	DBLP DOI BibTeX RDF
15	Andrei Draghici, Christoph Haase, Andrew Ryzhikov	Reachability in Fixed VASS: Expressiveness and Lower Bounds.	CoRR	2023	DBLP DOI BibTeX RDF
15	Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana	Expressiveness Results for Timed Modal Mu-Calculi.	CoRR	2023	DBLP DOI BibTeX RDF
15	Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran	Expressiveness of SETAFs and support-free ADFs under 3-valued semantics.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
15	Aarushi Goel, Mathias Hall-Andersen, Gabriel Kaptchuk	Dora: Processor Expressiveness is (Nearly) Free in Zero-Knowledge for RAM Programs.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Toluwani Aremu	Regularized PolyKervNets: Optimizing Expressiveness and Efficiency for Private Inference in Deep Neural Networks.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
15	Steffen Lewitzka	Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
15	Heiko Klare, Joshua Gleitze	Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
15	Paul Tarau	Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages.	Prolog: The Next 50 Years	2023	DBLP DOI BibTeX RDF
15	Yohei Noguchi 0001, Yijie Guo, Fumihide Tanaka	A Plug-In Weight-Shifting Module That Adds Emotional Expressiveness to Inanimate Objects in Handheld Interaction.	ICRA	2023	DBLP DOI BibTeX RDF
15	Hugo Le Tarnec, Elisabetta Bevacqua, Olivier Augereau, Pierre De Loor	Effect of Avatar Facial Expressiveness on Team Collaboration in Virtual Reality.	IVA	2023	DBLP DOI BibTeX RDF
15	Irene García, Bessem Chouaia, Mercè Llabrés, Pere Palmer-Rodríguez, Marta Simeoni	Analysing the Expressiveness of Metabolic Networks Representations.	WIVACE	2023	DBLP DOI BibTeX RDF
15	Tianjun Yao, Yingxu Wang, Kun Zhang 0001, Shangsong Liang	Improving the Expressiveness of K-hop Message-Passing GNNs by Injecting Contextualized Substructure Information.	KDD	2023	DBLP DOI BibTeX RDF
15	Samantha Robertson, Tonya Nguyen, Cathy Hu, Catherine Albiston, Afshin Nikzad, Niloufar Salehi	Expressiveness, Cost, and Collectivism: How the Design of Preference Languages Shapes Participation in Algorithmic Decision-Making.	CHI	2023	DBLP DOI BibTeX RDF
15	Arnaud Liefooghe, Gabriela Ochoa, Sébastien Vérel, Bilel Derbel	Pareto Local Optimal Solutions Networks with Compression, Enhanced Visualization and Expressiveness.	GECCO	2023	DBLP DOI BibTeX RDF
15	Andreas Pieris, Jorge Salas	Absolute Expressiveness of Subgraph-Based Centrality Measures.	ICDT	2023	DBLP DOI BibTeX RDF
15	Nicolai Schützenmeier, Stefan Jablonski, Martin Käppel, Lars Ackermann	Comparing the Expressiveness of Imperative and Declarative Process Models.	MOBA	2023	DBLP DOI BibTeX RDF
15	Yeyuan Chen, Dingmin Wang	Calibrate and Boost Logical Expressiveness of GNN Over Multi-Relational and Temporal Graphs.	NeurIPS	2023	DBLP BibTeX RDF
15	Radu Iosif, Florian Zuleger	Expressiveness Results for an Inductive Logic of Separated Relations.	CONCUR	2023	DBLP DOI BibTeX RDF
15	Bixuan Li, Qifu Chen, Jinlin Lin, Sai Li, Jerome Yen	Assessing GPT-4 Generated Abstracts: Text Relevance and Detectors Based on Faithfulness, Expressiveness, and Elegance Principle.	DMBD (1)	2023	DBLP DOI BibTeX RDF
15	Aristeidis Mastoras, Albert-Jan Nicholas Yzelman	Studying the expressiveness and performance of parallelization abstractions for linear pipelines.	PMAM@PPoPP	2023	DBLP DOI BibTeX RDF
15	Bohang Zhang, Guhao Feng, Yiheng Du, Di He 0001, Liwei Wang 0001	A Complete Expressiveness Hierarchy for Subgraph GNNs via Subgraph Weisfeiler-Lehman Tests.	ICML	2023	DBLP BibTeX RDF
15	Vatche Isahagian, Vinod Muthusamy, Aleksander Slominski	Publish-subscribe with large language models: Improving expressiveness with natural language and generated custom notifications: Poster Abstract.	Middleware Demos/Posters/Doctoral Symposium	2023	DBLP DOI BibTeX RDF
15	Dorothea Baumeister, Linus Boes, Christian Laußmann, Simon Rey	Bounded Approval Ballots: Balancing Expressiveness and Simplicity for Multiwinner Elections.	AAMAS	2023	DBLP BibTeX RDF
15	Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	The Way We Were: Structural Operational Semantics Research in Perspective.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Daniel Hirschkoff, Enguerrand Prebet	Using Pi-Calculus Names as Locks.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt	Deriving Abstract Interpreters from Skeletal Semantics.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Marjan Sirjani, Ehsan Khamespanah	Timed Actors and Their Formal Verification.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF
15	Shunya Oguchi, Shoji Yuen	CRIL: A Concurrent Reversible Intermediate Language.	EXPRESS/SOS	2023	DBLP DOI BibTeX RDF