Search results for "compositionality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Tobias Ganzow	Definability and model checking: the role of orders and compositionality.		2011	RDF
16	Christopher Kennedy, Louise McNally	Color, context, and compositionality.	Synth.	2010	DBLP DOI BibTeX RDF
16	Sven Schrader, Markus Diesmann, Abigail Morrison	A Compositionality Machine Realized by a Hierarchic Architecture of Synfire Chains.	Frontiers Comput. Neurosci.	2010	DBLP DOI BibTeX RDF
16	Giosuè Baggio, Travis Choma, Michiel van Lambalgen, Peter Hagoort	Coercion and Compositionality.	J. Cogn. Neurosci.	2010	DBLP DOI BibTeX RDF
16	Emmanuel Morin, Béatrice Daille	Compositionality and lexical alignment of multi-word terms.	Lang. Resour. Evaluation	2010	DBLP DOI BibTeX RDF
16	Seng Wai Loke	Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems.	Pervasive Mob. Comput.	2010	DBLP DOI BibTeX RDF
16	Janneke Huitink	Quantified Conditionals and Compositionality.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
16	Maciej Gazda, Wan J. Fokkink	Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics	SOS	2010	DBLP DOI BibTeX RDF
16	Steven Phillips, William H. Wilson	Categorial Compositionality: A Category Theory Explanation for the Systematicity of Human Cognition.	PLoS Comput. Biol.	2010	DBLP DOI BibTeX RDF
16	Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka	Recognition of Fine-Grained Emotions from Text: An Approach Based on the Compositionality Principle.	Modeling Machine Emotions for Realizing Intelligence	2010	DBLP DOI BibTeX RDF
16	Catuscia Palamidessi	Compositionality of Secure Information Flow.	MPC	2010	DBLP DOI BibTeX RDF
16	Arend Rensink	Compositionality in Graph Transformation.	ICALP (2)	2010	DBLP DOI BibTeX RDF
16	Natalie Kühner, Sabine Schulte im Walde	Determining the Degree of Compositionality of German Particle Verbs by Clustering Approaches.	KONVENS	2010	DBLP BibTeX RDF
16	Fan Bu, Xiaoyan Zhu, Ming Li 0001	Measuring the Non-compositionality of Multiword Expressions.	COLING	2010	DBLP BibTeX RDF
16	Olena Rogovchenko, Jacques Malenfant	Composition and Compositionality in a Component Model for Autonomous Robots.	SC@TOOLS	2010	DBLP DOI BibTeX RDF
16	Stavros Tripakis, Dai N. Bui, Bert Rodiers, Edward A. Lee	Compositionality in Synchronous Data Flow: modular code generation from hierarchical SDF graphs.	ICCPS	2010	DBLP DOI BibTeX RDF
16	Jan Bosch	Architecture in the Age of Compositionality.	ECSA	2010	DBLP DOI BibTeX RDF
16	Shane Bergsma, Aditya Bhargava, Hua He, Grzegorz Kondrak	Predicting the Semantic Compositionality of Prefix Verbs.	EMNLP	2010	DBLP BibTeX RDF
16	Dan R. Ghica, Mohamed Nabih Menaa	On the Compositionality of Round Abstraction.	CONCUR	2010	DBLP DOI BibTeX RDF
16	Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi	Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.	ICECCS	2010	DBLP DOI BibTeX RDF
16	Matias David Lee, Pedro R. D'Argenio	A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis.	SCCC	2010	DBLP DOI BibTeX RDF
16	Alexander Hanuschkin	Compositionality in neural networks.		2010	RDF
16	Ingo Felscher, Wolfgang Thomas	Compositionality and Reachability with Conditions on Path Lengths.	Int. J. Found. Comput. Sci.	2009	DBLP DOI BibTeX RDF
16	Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink	Compositionality for Markov reward chains with fast and silent transitions.	Perform. Evaluation	2009	DBLP DOI BibTeX RDF
16	Annabelle McIver, Carroll C. Morgan	Sums and Lovers: Case Studies in Security, Compositionality and Refinement.	FM	2009	DBLP DOI BibTeX RDF	Refinement of security, formalised secrecy, hierarchical security reasoning, compositional semantics
16	Eugenie Giesbrecht	In Search of Semantic Compositionality in Vector Spaces.	ICCS	2009	DBLP DOI BibTeX RDF
16	Neil Madden, Brian Logan 0001	Modularity and Compositionality in Jason.	PROMAS	2009	DBLP DOI BibTeX RDF
16	Emanuel Todorov	Compositionality of optimal control laws.	NIPS	2009	DBLP BibTeX RDF
16	Alena Neviarouskaya, Helmut Prendinger, Mitsuru Ishizuka	Compositionality Principle in Recognition of Fine-Grained Emotions from Text.	ICWSM	2009	DBLP BibTeX RDF
16	Suzana Andova, Sonja Georgievska	On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.	SOFSEM	2009	DBLP DOI BibTeX RDF
16	Pauline Jacobson	The Syntax/Semantics Interface: Compositionality Issues.	TbiLLC	2009	DBLP DOI BibTeX RDF
16	Ioannis Korkontzelos, Suresh Manandhar	Detecting Compositionality in Multi-Word Expressions.	ACL/IJCNLP (2)	2009	DBLP BibTeX RDF
16	Mark-Oliver Stehr	Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.	Fundam. Informaticae	2008	DBLP BibTeX RDF
16	Dénes Bisztray, Reiko Heckel, Hartmut Ehrig	Compositionality of Model Transformations.	VODCA@FOSAD	2008	DBLP DOI BibTeX RDF
16	Emilia Oikarinen, Tomi Janhunen	Achieving compositionality of the stable model semantics for Smodels programs	CoRR	2008	DBLP BibTeX RDF
16	Jun Tani, Ryunosuke Nishimoto, Rainer W. Paine	Achieving "organic compositionality" through self-organization: Reviews on brain-inspired robotics experiments.	Neural Networks	2008	DBLP DOI BibTeX RDF
16	Emilia Oikarinen, Tomi Janhunen	Achieving compositionality of the stable model semantics for smodels programs.	Theory Pract. Log. Program.	2008	DBLP DOI BibTeX RDF
16	Florian Kammüller, Henry Sudhof	Compositionality of Aspect Weaving.	SJTU-TUB Joint Workshop	2008	DBLP DOI BibTeX RDF
16	Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Barbara König 0001	Open Petri Nets: Non-deterministic Processes and Compositionality.	ICGT	2008	DBLP DOI BibTeX RDF
16	José Fernando Fontanari, Leonid I. Perlovsky	Evolving Compositionality in Evolutionary Language Games.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
16	Daniel Aaron Weiskopf	Compound Nominals, Context, and Compositionality.	Synth.	2007	DBLP DOI BibTeX RDF
16	Julien Boucaron, Jean-Vivien Millo	Compositionality of Statically Scheduled IP.	FMGALS@MEMOCODE	2007	DBLP DOI BibTeX RDF
16	Alexander Rabinovich	On compositionality and its limitations.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Feferman-Vaught theorem, composition methods, modal logic, Compositional verification
16	Bassam Haddad	Semantic Representation of Arabic: a Logical Approach towards Compositionality and Generalized Arabic Quantifiers.	Int. J. Comput. Process. Orient. Lang.	2007	DBLP DOI BibTeX RDF
16	Alexander Mehler	Compositionality in Quantitative Semantics. A Theoretical Perspective on Text Mining.	Aspects of Automatic Text Analysis	2007	DBLP DOI BibTeX RDF
16	Frédéric Prost	Taming Non-compositionality Using New Binders.	UC	2007	DBLP DOI BibTeX RDF
16	Diana McCarthy, Sriram Venkatapathy, Aravind K. Joshi	Detecting Compositionality of Verb-Object Combinations using Selectional Preferences.	EMNLP-CoNLL	2007	DBLP BibTeX RDF
16	Fuming Wu	Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids.	PDPTA	2007	DBLP BibTeX RDF
16		Applying Formal Methods to Compositionality Description of Web Service.	ICIW	2007	DBLP DOI BibTeX RDF
16	Tao Gong 0001	Language evolution from a simulation perspective: on the coevolution of compositionality and regularity.		2007	RDF
16	Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind	Compositionality of Hennessy-Milner logic by structural operational semantics.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
16	Françoise Gayral, Daniel Kayser, François Lévy	Challenging the principle of compositionality in interpreting natural language texts	CoRR	2006	DBLP BibTeX RDF
16	Jaak Henno	Emergence of Names and Compositionality.	EJC	2006	DBLP BibTeX RDF
16	Goran Frehse	On Timed Simulation Relations for Hybrid Systems and Compositionality.	FORMATS	2006	DBLP DOI BibTeX RDF
16	Darragh Byrne	Compositionality and the Manifestation Challenge.	Synth.	2005	DBLP DOI BibTeX RDF
16	Mark-Oliver Stehr	Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation.	FSEN	2005	DBLP DOI BibTeX RDF
16	Antonella Santone, Gigliola Vaglini	Compositionality and locality for improving model checking in the selective mu-calculus.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
16	Philip V. Ogren, K. Bretonnel Cohen, Lawrence Hunter	Implications of Compositionality in the Gene Ontology for Its Curation and Usage .	Pacific Symposium on Biocomputing	2005	DBLP BibTeX RDF
16	Sriram Venkatapathy, Aravind K. Joshi	Measuring the Relative Compositionality of Verb-Noun (V-N) Collocations by Integrating Features.	HLT/EMNLP	2005	DBLP BibTeX RDF
16	John C. Flackett	The dichotomy of scaled connectionist compositionality : (S)RAAM - trick or treat?		2005	RDF
16	Cas Cremers	Compositionality of Security Protocols: A Research Agenda.	VODCA@FOSAD	2004	DBLP DOI BibTeX RDF
16	Carroll Morgan	Of Probabilistic Wp and SP-and Compositionality.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
16	Paola Inverardi	Compositionality, Coordination and Software Architecture.	COORDINATION	2004	DBLP DOI BibTeX RDF
16	François Rivest, Thomas R. Shultz	Compositionality in a Knowledge-Based Constructive Learner.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
16	Reinhard Blutner, Petra Hendriks, Helen de Hoop, Oren Schwartz	When Compositionality Fails to Predict Systematicity.	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
16	Mark Steedman	Where Does Compositionality Come From?	AAAI Technical Report (3)	2004	DBLP BibTeX RDF
16	Monika Solanki, Antonio Cau, Hussein Zedan	Introducing Compositionality in Web Service Descriptions.	FTDCS	2004	DBLP DOI BibTeX RDF
16	Corina Cîrstea	On Expressivity and Compositionality in Logics for Coalgebras.	CMCS	2003	DBLP DOI BibTeX RDF
16	Peter Pagin	Communication and Strong Compositionality.	J. Philos. Log.	2003	DBLP DOI BibTeX RDF
16	Heinz W. Schmidt	Trustworthy components - compositionality and prediction.	J. Syst. Softw.	2003	DBLP DOI BibTeX RDF
16	Michel Simard, Philippe Langlais	Statistical Translation Alignment with Compositionality Constraints.	ParallelTexts@NAACL-HLT	2003	DBLP BibTeX RDF
16	Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind	Compositionality of Hennessy-Milner Logic through Structural Operational Semantics.	FCT	2003	DBLP DOI BibTeX RDF
16	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager	Compositionality for Probabilistic Automata.	CONCUR	2003	DBLP DOI BibTeX RDF
16	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen	Verification of Hierarchical State/Event Systems using Reusability and Compositionality.	Formal Methods Syst. Des.	2002	DBLP DOI BibTeX RDF
16	Wil M. P. van der Aalst, Kees M. van Hee, Robert A. van der Toorn	"Compositionality of projection inheritance" [Sci. Comput. Programming 42 (2-3) (2002) 129-171].	Sci. Comput. Program.	2002	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi, Isabella Mastroeni	Compositionality in the puzzle of semantics.	PEPM	2002	DBLP DOI BibTeX RDF	reduced power, transfinite semantics, Abstract interpretation, compositional semantics, program manipulation
16	Gila Sher	Truth, Logical Structure, and Compositionality.	Synth.	2001	DBLP DOI BibTeX RDF
16	Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen	Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
16	Theo M. V. Janssen	Frege, Contextuality and Compositionality.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
16	Gabriel Sandu, Jaakko Hintikka	Aspects of Compositionality.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
16	Peter Pagin, Dag Westerståhl	Editorial: Compositionality: Current Issues.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
16	Wilfrid Hodges	Formal Features of Compositionality.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
16	Herman Hendriks	Compositionality and Model-Theoretic Interpretation.	J. Log. Lang. Inf.	2001	DBLP DOI BibTeX RDF
16	Aloysius K. Mok, Alex Xiang Feng	Towards Compositionality in Real-Time Resource Partitioning Based on Regularity Bounds.	RTSS	2001	DBLP DOI BibTeX RDF	Utiliza-tion bounds, Open System, Real-Time Task Scheduling, Resource Partition
16	Sofie Verbaeten, Marc Denecker, Danny De Schreye	Compositionality of Normal Open Logic Programs.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
16	Steve A. Schneider	May Testing, Non-interference, and Compositionality.	MFCSIT	2000	DBLP DOI BibTeX RDF
16	Andreas Strotmann, Ladislav J. Kohout	OpenMath: compositionality achieved at last.	SIGSAM Bull.	2000	DBLP DOI BibTeX RDF
16	Shalom Lappin, Wlodek Zadrozny	Compositionality, Synonymy, and the Systematic Representation of Meaning	CoRR	2000	DBLP BibTeX RDF
16	Wlodek Zadrozny	Minimum Description Length and Compositionality	CoRR	2000	DBLP BibTeX RDF
16	Albert Benveniste, Benoît Caillaud, Paul Le Guernic	Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
16	Antonella Santone	Compositionality for Improving Model Checking.	FORTE	2000	DBLP BibTeX RDF
16	Richard Zuber	Exclusion phrases and criticisms of semantic compositionality.	PACLIC	2000	DBLP BibTeX RDF
16	Marco Comini, Maria Chiara Meo	Compositionality Properties of SLD-Derivations.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
16	Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen	Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.	TACAS	1999	DBLP DOI BibTeX RDF
16	Lawrence K. McKnight, Peter L. Elkin, Philip V. Ogren, Christopher G. Chute	Barriers to the clinical implementation of compositionality.	AMIA	1999	DBLP BibTeX RDF
16	Nick Braisby	Compositionality and the Modelling of Complex Concepts.	Minds Mach.	1998	DBLP DOI BibTeX RDF
16	Peter L. Elkin, Mark S. Tuttle, Kevin Keck, Keith E. Campbell, Geoffrey E. Atkin, Christopher G. Chute	The Role of Compositionality in Standardized Problem List Generation.	MedInfo	1998	DBLP DOI BibTeX RDF
16	Willem P. de Roever, Hans Langmaack, Amir Pnueli (eds.)	Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures	COMPOS	1998	DBLP DOI BibTeX RDF
16	Paulo Blauth Menezes	Diagonal Compositionality of Partial Petri Nets.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
16	Theo M. V. Janssen, Barbara H. Partee	Compositionality.	Handbook of Logic and Language	1997	DBLP DOI BibTeX RDF