Search results for "expressiveness"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco	Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
15	Sergio Giro, Pedro R. D'Argenio, Luis María Ferrer Fioriti	Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
15	Giovanni De Poli, Sergio Canazza, Antonio Rodà, Emery Schubert	The Role of Individual Difference in Judging Expressiveness of Computer-Assisted Music Performances by Experts.	ACM Trans. Appl. Percept.	2014	DBLP DOI BibTeX RDF
15	Hannes Strass	On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks.	CoRR	2014	DBLP BibTeX RDF
15	Henning Schnoor	The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex.	CoRR	2014	DBLP BibTeX RDF
15	Johannes Borgström, Silvia Crafa (eds.)	Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Heng Zhang 0006, Yan Zhang 0003	Expressiveness of Logic Programs under General Stable Model Semantics.	CoRR	2014	DBLP BibTeX RDF
15	Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi	Weak MSO: Automata and Expressiveness Modulo Bisimilarity.	CoRR	2014	DBLP BibTeX RDF
15	Thomas Given-Wilson	Expressiveness via Intensionality and Concurrency.	CoRR	2014	DBLP BibTeX RDF
15	François Laroussinie, Nicolas Markey	Quantified CTL: Expressiveness and Complexity.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
15	Heng Zhang 0006, Yan Zhang 0003, Jia-Huai You	Existential Rule Languages with Finite Chase: Complexity and Expressiveness.	CoRR	2014	DBLP BibTeX RDF
15	Sébastien Ferré	SQUALL: The expressiveness of SPARQL 1.1 made available as a controlled natural language.	Data Knowl. Eng.	2014	DBLP DOI BibTeX RDF
15	Yde Venema	Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective.	Johan van Benthem on Logic and Information Dynamics	2014	DBLP DOI BibTeX RDF
15	Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue	Decidability and Expressiveness of Recursive Weighted Logic.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
15	Nicole Mirnig, Yeow Kee Tan, Tai Wen Chang, Yuanwei Chua, Tran Anh Dung, Haizhou Li 0001, Manfred Tscheligi	Screen feedback in human-robot interaction: How to enhance robot expressiveness.	RO-MAN	2014	DBLP DOI BibTeX RDF
15	Thomas Given-Wilson	Expressiveness via Intensionality and Concurrency.	ICTAC	2014	DBLP DOI BibTeX RDF
15	Sara H. Hsieh, Timmy H. Tseng, Crystal T. Lee	The Self-Expressiveness of Footprints: Understanding the Drivers of Check-in.	PACIS	2014	DBLP BibTeX RDF
15	Langzhou Chen, Norbert Braunschweiler, Mark J. F. Gales	Speaker dependent expression predictor from text: Expressiveness and transplantation.	ICASSP	2014	DBLP DOI BibTeX RDF
15	Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier	On the Expressiveness of some Runtime Validation Techniques.	HOWARD-60	2014	DBLP DOI BibTeX RDF
15	María Martos-Salgado, Fernando Rosa-Velardo	Expressiveness of Dynamic Networks of Timed Petri Nets.	LATA	2014	DBLP DOI BibTeX RDF
15	Dag Sonntag	On Expressiveness of the AMP Chain Graph Interpretation.	Probabilistic Graphical Models	2014	DBLP DOI BibTeX RDF
15	Emery Schubert, Giovanni De Poli, Antonio Rodà, Sergio Canazza	Music Systemisers and Music Empathisers - Do they rate expressiveness of computer generated performances the same?	ICMC	2014	DBLP BibTeX RDF
15	Georg Gottlob, Sebastian Rudolph, Mantas Simkus	Expressiveness of guarded existential rule languages.	PODS	2014	DBLP DOI BibTeX RDF
15	Sergi Jordà, Sebastián Mealla C.	A Methodological Framework for Teaching, Evaluating and Informing NIME Design with a Focus on Mapping and Expressiveness.	NIME	2014	DBLP DOI BibTeX RDF
15	Mike Sheinin, Carl Gutwin	Exertion in the small: improving differentiation and expressiveness in sports games with physical controls.	CHI	2014	DBLP DOI BibTeX RDF
15	Paul Dütting, Felix A. Fischer, David C. Parkes	Expressiveness and robustness of first-price position auctions.	EC	2014	DBLP DOI BibTeX RDF
15	Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco	On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.	JELIA	2014	DBLP DOI BibTeX RDF
15	Hsi-Ming Ho	On the Expressiveness of Metric Temporal Logic over Bounded Timed Words.	RP	2014	DBLP DOI BibTeX RDF
15	Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006	Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness.	KR	2014	DBLP BibTeX RDF
15	Facundo Carreiro, Alessandro Facchini, Yde Venema, Fabio Zanasi	Weak MSO: automata and expressiveness modulo bisimilarity.	CSL-LICS	2014	DBLP DOI BibTeX RDF
15	Ali Rezaei Divroodi	Comparing the Expressiveness of Description Logics.	Description Logics	2014	DBLP BibTeX RDF
15	Dade Nurjanah	Authoring learning designs: The expressiveness of IMS LD and collaboration supports.	EDUCON	2014	DBLP DOI BibTeX RDF
15	Marcelo Arenas, Gabriel Diéguez, Jorge Pérez 0001	Expressiveness and Complexity of Bidirectional Constraints for Data Exchange.	AMW	2014	DBLP BibTeX RDF
15	Martin Stigge	Real-Time Workload Models : Expressiveness vs. Analysis Efficiency.		2014	RDF
15	Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann	Matching in the Pi-Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Johannes Åman Pohjola, Joachim Parrow	Priorities Without Priorities: Representing Preemption in Psi-Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Bartek Klin, Beata Nachyla	Distributive Laws and Decidable Properties of SOS Specifications.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Christoph Wagner, Uwe Nestmann	States in Process Calculi.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Daniel Gebler, Simone Tini	Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Simon J. Gay, Nils Gesbert, António Ravara	Session Types as Generic Process Types.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor	Verification of Linear Optical Quantum Computing using Quantum Process Calculus.	EXPRESS/SOS	2014	DBLP DOI BibTeX RDF
15	Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini	Expressiveness and complexity of regular pure two-dimensional context-free languages.	Int. J. Comput. Math.	2013	DBLP DOI BibTeX RDF
15	Marko Tkalcic, Ante Odic, Andrej Kosir	The impact of weak ground truth and facial expressiveness on affect detection accuracy from time-continuous videos of facial expressions.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
15	Francisco Heron de Carvalho Junior, Cenez Araújo Rezende	A case study on expressiveness and performance of component-oriented parallel programming.	J. Parallel Distributed Comput.	2013	DBLP DOI BibTeX RDF
15	Dominik D. Freydenberger, Nicole Schweikardt	Expressiveness and static analysis of extended conjunctive regular path queries.	J. Comput. Syst. Sci.	2013	DBLP DOI BibTeX RDF
15	Antoniu Pop, Albert Cohen 0001	OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs.	ACM Trans. Archit. Code Optim.	2013	DBLP DOI BibTeX RDF
15	Stefan Zugal, Pnina Soffer, Cornelia Haisjackl, Jakob Pinggera, Manfred Reichert, Barbara Weber	Investigating Expressiveness and Understandability of Hierarchy in Declarative Business Process Models (Extended Abstract).	EMISA Forum	2013	DBLP DOI BibTeX RDF
15	Tom S. Verma, Judea Pearl	Causal Networks: Semantics and Expressiveness	CoRR	2013	DBLP BibTeX RDF
15	Johannes Borgström, Bas Luttik (eds.)	Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot	Expressiveness of Visibly Pushdown Transducers.	TTATT	2013	DBLP DOI BibTeX RDF
15	Paul Dütting, Felix A. Fischer, David C. Parkes	Expressiveness and Robustness of First-Price Position Auctions.	CoRR	2013	DBLP BibTeX RDF
15	Paul Snow	Ignorance and the Expressiveness of Single- and Set-Valued Probability Models of Belief	CoRR	2013	DBLP BibTeX RDF
15	Jaroslaw Szlichta, Parke Godfrey, Jarek Gryz, Calisto Zuzarte	Expressiveness and Complexity of Order Dependencies. (PDF / PS)	Proc. VLDB Endow.	2013	DBLP DOI BibTeX RDF
15	Aidan J. Delaney, Gem Stapleton, John Taylor 0001, Simon J. Thompson	On the expressiveness of spider diagrams and commutative star-free regular languages.	J. Vis. Lang. Comput.	2013	DBLP DOI BibTeX RDF
15	Peter Chapman, Gem Stapleton, Aidan J. Delaney	On the expressiveness of second-order spider diagrams.	J. Vis. Lang. Comput.	2013	DBLP DOI BibTeX RDF
15	Houguang Yue	From Computing to Interaction: on the Expressiveness of Asynchronous pi-Calculus.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
15	Kim Bauters, Steven Schockaert, Jeroen Janssen, Dirk Vermeir, Martine De Cock	Expressiveness of communication in answer set programming.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
15	Michael J. Maher	Relative expressiveness of defeasible logics II.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
15	Rémi Bonnet, Alain Finkel, Serge Haddad, Fernando Rosa-Velardo	Ordinal theory for expressiveness of well-structured transition systems.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
15	Marcelo Guerra Hahn, Regina Motz, Alberto Pardo, Martin A. Musicante	Formal semantics and expressiveness of a web service composition language.	SAC	2013	DBLP DOI BibTeX RDF
15	Timothy L. Hinrichs, Diego Martinoia, William C. Garrison III, Adam J. Lee, Alessandro Panebianco, Lenore D. Zuck	Application-Sensitive Access Control Evaluation Using Parameterized Expressiveness.	CSF	2013	DBLP DOI BibTeX RDF
15	Angelo Montanari, Pietro Sala	Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness.	LICS	2013	DBLP DOI BibTeX RDF
15	Stefano-Niko Orzen	Mathematical expressiveness for computational network interaction.	SACI	2013	DBLP DOI BibTeX RDF
15	Theresa Jean Tanenbaum, Amanda M. Williams, Audrey Desjardins, Karen Tanenbaum	Democratizing technology: pleasure, utility and expressiveness in DIY and maker practice.	CHI	2013	DBLP DOI BibTeX RDF
15	Holger Eichelberger, Christian Kröher, Klaus Schmid	An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability.	ICSR	2013	DBLP DOI BibTeX RDF
15	Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco	A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.	TIME	2013	DBLP DOI BibTeX RDF
15	Andrei Dorman, Damiano Mazza	A Hierarchy of Expressiveness in Concurrent Interaction Nets.	CONCUR	2013	DBLP DOI BibTeX RDF
15	Viviana Mascardi, Daniela Briola, Davide Ancona	On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol.	AI*IA	2013	DBLP DOI BibTeX RDF
15	Thangasamy Kamaraj, D. Lalitha, D. Gnanaraj Thomas	A Study on Expressiveness of a Class of Array Token Petri Nets.	SocProS (2)	2013	DBLP DOI BibTeX RDF
15	Cliff B. Jones	Expressiveness of Notations for Reasoning about Concurrency.	ICECCS	2013	DBLP DOI BibTeX RDF
15	Sangjin Han, Sylvia Ratnasamy	Large-Scale Computation Not at the Cost of Expressiveness.	HotOS	2013	DBLP BibTeX RDF
15	Michael J. Maher	Relative Expressiveness of Well-Founded Defeasible Logics.	Australasian Conference on Artificial Intelligence	2013	DBLP DOI BibTeX RDF
15	Xian Xu 0001, Qiang Yin 0002, Huan Long	On the Expressiveness of Parameterization in Process-Passing.	WS-FM	2013	DBLP DOI BibTeX RDF
15	Melanie Feinberg	Responding to the frame: classification, material boundaries, and expressiveness in personal digital bibliography.	DH	2013	DBLP BibTeX RDF
15	Maximilian Heinrich Gerhard Möllers	Capturing the expressiveness of touch: detect, improve, and extend.		2013	RDF
15	Elena Demidova	Usability and expressiveness in database keyword search: bridging the gap. (PDF / PS)		2013	RDF
15	Rémi Brochenin	Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle).		2013	RDF
15	Iliano Cervesato, Jorge Luis Sacchini	Towards Meta-Reasoning in the Concurrent Logical Framework CLF.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar 0004	A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Youssef Arbach, Kirstin Peters, Uwe Nestmann	Adding Priority to Event Structures.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Pieter J. L. Cuijpers	The categorical limit of a sequence of dynamical systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi 0001	Algebraic Meta-Theory of Processes with Data.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Meta SOS - A Maude Based SOS Meta-Theory Framework.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Daniel Gebler, Simone Tini	Compositionality of Approximate Bisimulation for Probabilistic Systems.	EXPRESS/SOS	2013	DBLP DOI BibTeX RDF
15	Xian Xu 0001	Distinguishing and relating higher-order and first-order processes by expressiveness.	Acta Informatica	2012	DBLP DOI BibTeX RDF
15	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
15	Jan A. Bergstra, Inge Bethke	On the Contribution of Backward Jumps to Instruction Sequence Expressiveness.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
15	Jan A. Bergstra, Cornelis A. Middelburg	On the Expressiveness of Single-Pass Instruction Sequences.	Theory Comput. Syst.	2012	DBLP DOI BibTeX RDF
15	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Interrupt Timed Automata: verification and expressiveness	CoRR	2012	DBLP BibTeX RDF
15	Bas Luttik, Michel A. Reniers (eds.)	Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012.	EXPRESS/SOS	2012	DBLP DOI BibTeX RDF
15	Paul Hunter	The expressiveness of MTL with counting	CoRR	2012	DBLP BibTeX RDF
15	Michael J. Maher	Relative Expressiveness of Defeasible Logics	CoRR	2012	DBLP BibTeX RDF
15	José M. Alcaraz Calero, Andrés Muñoz 0001, Gregorio Martínez Pérez, Juan A. Botía, Antonio Fernandez Gómez-Skarmeta	A Non-monotonic Expressiveness Extension on the Semantic Web Rule Language.	J. Web Eng.	2012	DBLP BibTeX RDF
15	Suleman Shahid, Emiel Krahmer, Marc Swerts	Video-mediated and co-present gameplay: Effects of mutual gaze on game experience, expressiveness and perceived social presence.	Interact. Comput.	2012	DBLP DOI BibTeX RDF
15	Michael J. Maher	Relative expressiveness of defeasible logics.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
15	Mark Burgin, Eugene Eberbach	Evolutionary Automata: Expressiveness and Convergence of Evolutionary Computation.	Comput. J.	2012	DBLP DOI BibTeX RDF
15	Chiu-yu Tseng, Chao-yu Su	Information allocation and prosodic expressiveness in continuous speech: A Mandarin cross-genre analysis.	ISCSLP	2012	DBLP DOI BibTeX RDF
15	Fabian Gerlinghaus, Brennand Pierce, Torsten Metzler, Iestyn Jowers, Kristina Shea, Gordon Cheng	Design and emotional expressiveness of Gertie (An open hardware robotic desk lamp).	RO-MAN	2012	DBLP DOI BibTeX RDF
15	Johan Eker, Jörn W. Janneck	Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability.	ACSCC	2012	DBLP DOI BibTeX RDF
15	Sebastian Nähring, Carsten Maus, Roland Ewald, Adelinde M. Uhrmacher	Automated transformation between modeling languages with different expressiveness: challenges and results from a use case with SBML and ML-Rules.	WSC	2012	DBLP BibTeX RDF