|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 465 occurrences of 271 keywords
|
|
|
Results
Found 954 publication records. Showing 954 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco Elizondo |
Composite Connectors for Composing Software Components. |
SC@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi |
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jason Hickey, Aleksey Nogin |
: Designing a Scalable Build Process. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Felix C. Freiling, Thomas Santen |
On the Composition of Compositional Reasoning. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Hasyim Gautama, Arjan J. C. van Gemund |
A Statistical Approach to Branch Modeling in Static Program Performance Prediction. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Marco Bernardo 0001, Mario Bravetti |
Reward Based Congruences: Can We Aggregate More? |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Didier Dubois |
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Gerald Lüttgen, Michael Mendler |
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Josep M. Sopena, Martha Analía Alegre |
ANNP: A Neural Network Parser for Real World Texts. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen |
Divide, Abstract, and Model-Check. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Maciej Koutny, Giuseppe Pappalardo |
A Model of Behaviour Abstraction for Communicating Processes. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation |
22 | Andrew Way, Ian Crookston, Jane Shelton |
A Typology of Translation Problems for Eurotra Translation Machines. |
Mach. Transl. |
1997 |
DBLP DOI BibTeX RDF |
Hard translation problems, Eurotra, translation notations |
22 | I. S. W. B. Prasetya |
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
22 | Patrice Brémond-Grégoire, Insup Lee 0001, Richard Gerber 0001 |
ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Kenneth J. Goldman |
A Compositional Model for Layered Distributed Systems. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Raymond T. Boute |
System Semantics: Principles, Applications, and Implementation. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Björn Ommer, Joachim M. Buhmann |
Learning the Compositional Nature of Visual Object Categories for Recognition. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2010 |
DBLP DOI BibTeX RDF |
object recognition, graphical models, compositionality, visual learning, Image categorization |
17 | Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean |
Safe compositional network sketches: formal framework. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
modeling, design, verification, typing, compositionality |
17 | Insup Lee 0001, Oleg Sokolsky |
Medical cyber physical systems. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
high-confidence medical systems, medical cyber-physical systems, medical device interoperability & compositionality, physiological closed loop, cyber-physical systems |
17 | Ariel Cohen 0002, Kedar S. Namjoshi |
Local proofs for global safety properties. |
Formal Methods Syst. Des. |
2009 |
DBLP DOI BibTeX RDF |
Local proofs, Model checking, Compositionality, Local reasoning |
17 | Björn Ommer, Theodor Mader, Joachim M. Buhmann |
Seeing the Objects Behind the Dots: Recognition in Videos from a Moving Camera. |
Int. J. Comput. Vis. |
2009 |
DBLP DOI BibTeX RDF |
Segmentation, Object recognition, Tracking, Video analysis, Compositionality, Visual learning |
17 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
17 | Sagar Chaki, Ofer Strichman |
Three optimizations for Assume-Guarantee reasoning with L*. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
Learning, Software verification, Compositionality, Assume-Guarantee |
17 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
17 | Günter Westphal, Christoph von der Malsburg, Rolf P. Würtz |
Feature-Driven Emergence of Model Graphs for Object Recognition and Categorization. |
Applied Pattern Recognition |
2008 |
DBLP DOI BibTeX RDF |
model graphs, parquet graphs, position-invariant feature detectors, infomax principle, preselection network, model candidates, emergence of model graphs, feature- vs. correspondence-based object recognition, compositionality, elastic graph matching |
17 | Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors |
Polymorphic embedding of dsls. |
GPCE |
2008 |
DBLP DOI BibTeX RDF |
pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala |
17 | Mila E. Majster-Cederbaum, Moritz Martens |
Compositional analysis of deadlock-freedom for tree-like component architectures. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
architecture, design patterns, interaction systems, compositionality, component-based systems, deadlock-freedom |
17 | Jan Bosch |
Invited Talk: Expanding Software Product Families: From Integration to Composition. |
ARCS |
2007 |
DBLP DOI BibTeX RDF |
compositionality, Software product families |
17 | Henrik C. Bohnenkamp, Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen |
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
timed automata, stochastic processes, formal semantics, compositionality, Modeling formalism |
17 | Ani Nenkova, Lucy Vanderwende, Kathleen R. McKeown |
A compositional context sensitive multi-document summarizer: exploring the factors that influence summarization. |
SIGIR |
2006 |
DBLP DOI BibTeX RDF |
compositionality, context-sensitivity, multi-document summarization, frequency |
17 | Paulo Tabuada, George J. Pappas, Pedro U. Lima |
Compositional Abstractions of Hybrid Control Systems. |
Discret. Event Dyn. Syst. |
2004 |
DBLP DOI BibTeX RDF |
abstractions, hybrid systems, compositionality |
17 | Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis |
The OsMoSys approach to multi-formalism modeling of systems. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Multi-formalism modeling, Object orientation, Compositionality, Meta-languages |
17 | Juan-Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. |
WOSP |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
17 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Rely/guarantee, Refinement, Compositionality, Action systems |
17 | Martin Große-Rhode |
Compositional Comparison of Formal Software Specifications Using Transformation Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Formal specification, Integration, Consistency, Compositionality |
17 | Nikolay A. Anisimov, Evgeniy A. Golenkov, Dmitriy I. Kharitonov |
Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. |
Program. Comput. Softw. |
2001 |
DBLP DOI BibTeX RDF |
Petri net entity, distributed systems, Petri nets, compositionality, concurrent systems |
17 | Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan 0001, Roland Vogt, Andreas Wolpers |
VSE: formal methods meet industrial needs. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Formal software development, Modular proof development, Temporal logic, Compositionality, Automated theorem proving, Interactive theorem proving |
17 | Bard Bloom, Wan J. Fokkink, Rob J. van Glabbeek |
Precongruence Formats for Decorated Trace Preorders. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
semantic equivalences and preorders, Concurrency, compositionality, labeled transition systems, full abstraction, structural operational semantics |
17 | Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland |
A compositional approach to statecharts semantics. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
operational semantics, statecharts, compositionality |
17 | Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri |
Modular Algebraic Nets to Specify Concurrent Systems. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
distributed systems, Formal specification, Petri nets, environments, compositionality, OBJ |
17 | José Luiz Fiadeiro, T. S. E. Maibaum |
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
general systems theory, multiperspective specification, formal methods, reuse, compositionality, incremental development |
17 | María Alpuente, Moreno Falaschi, Germán Vidal |
Compositional Analysis for Equational Horn Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
equational logic programming, compositionality, Semantic analysis, term rewriting systems |
17 | Martín Abadi, Leslie Lamport |
Composing Specifications. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
concurrent programming, compositionality, safety properties, liveness properties, modular specification |
17 | Bonnie J. Dorr |
The use of lexical semantics in interlingual machine translation. |
Mach. Transl. |
1992 |
DBLP DOI BibTeX RDF |
lexical conceptual structure, abstraction, compositionality, divergences, interlingua |
17 | Bente Maegaard, Sergei Perschke |
Eurotra: General system design. |
Mach. Transl. |
1991 |
DBLP DOI BibTeX RDF |
European Community, Eurotra, MT systems, compositionality, transfer, interlingua, stratification |
17 | Antti Valmari |
Compositional State Space Generation. |
Applications and Theory of Petri Nets |
1991 |
DBLP DOI BibTeX RDF |
analysis of behaviour of nets, compositionality, state space, Communicating Sequential Processes, system verification |
17 | Jozef Hooman |
Compositional Verification of Real-Time Systems using Extended Hoare Triples. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
Hoare triples, Verification, Real-time, Specification, Compositionality |
17 | Jan J. M. M. Rutten |
Nonwellfounded Sets and Programming Language Semantics. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
transition system specification, nonwellfounded sets, anti-foundation-axiom, interpretation, bisimulation, compositionality, labelled transition system, Structured operational semantics |
17 | Eike Best, Ludmila Cherkasova, Jörg Desel |
Compositional Generation of Home States in Free Choice Systems. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
Free Choice Petri Nets, Home States, Cyclic Behaviour, Compositionality, Reversibility |
17 | Rob Gerth |
Foundations of Compositional Program Refinement - Safety Properties. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables |
17 | Bengt Jonsson 0001 |
On Decomposing and Refining Specifications of Distributed Systems. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality |
17 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
17 | Alexander Moshe Rabinovich, Boris A. Trakhtenbrot |
Nets of processes and data flow. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Synchronization, Processes, Nondeterminism, Compositionality, Denotational Semantics, Data Flow Computation |
17 | Antoni W. Mazurkiewicz |
Compositional Semantics of Pure Place/ Transition Systems. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality |
16 | Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Logical characterisations, rule formats and compositionality for input-output conformance simulation. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Davide Talon, Phillip Lippe, Stuart James, Alessio Del Bue, Sara Magliacane |
Towards the Reusability and Compositionality of Causal Representations. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Boaz Carmeli, Yonatan Belinkov, Ron Meir |
Concept-Best-Matching: Evaluating Compositionality in Emergent Communication. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Xinchen Zhang, Ling Yang 0006, Yaqi Cai, Zhaochen Yu, Jiake Xie, Ye Tian, Minkai Xu, Yong Tang, Yujiu Yang, Bin Cui 0001 |
RealCompo: Dynamic Equilibrium between Realism and Compositionality Improves Text-to-Image Diffusion Models. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Prasanna Vijayaraghavan, Jeffrey Frederic Queißer, Sergio Verduzco Flores, Jun Tani |
Development of Compositionality and Generalization through Interactive Learning of Language and Action of Robots. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Chen Huang, Peixin Qin, Wenqiang Lei, Jiancheng Lv 0001 |
Towards Equipping Transformer with the Ability of Systematic Compositionality. |
AAAI |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Martha Lewis, Nihal V. Nayak, Peilin Yu, Jack Merullo, Qinan Yu, Stephen H. Bach, Ellie Pavlick |
Does CLIP Bind Concepts? Probing Compositionality in Large Image Models. |
EACL (Findings) |
2024 |
DBLP BibTeX RDF |
|
16 | Davide Talon, Phillip Lippe, Stuart James, Alessio Del Bue, Sara Magliacane |
Towards the Reusability and Compositionality of Causal Representations. |
CLeaR |
2024 |
DBLP BibTeX RDF |
|
16 | Lorenzo Gheri, Nobuko Yoshida |
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais |
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). |
Dagstuhl Reports |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Chuck Bradley, Ronnie B. Wilbur |
Visual Form and Event Semantics Predict Transitivity in Silent Gestures: Evidence for Compositionality. |
Cogn. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Cheng-Yu Hsieh, Jieyu Zhang, Zixian Ma, Aniruddha Kembhavi, Ranjay Krishna |
SugarCrepe: Fixing Hackable Benchmarks for Vision-Language Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Chen Huang, Peixin Qin, Wenqiang Lei, Jiancheng Lv 0001 |
Towards Equipping Transformer with the Ability of Systematic Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Gamallo 0001 |
Contextualized word senses: from attention to compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Baike She, Tyler Hanks, James P. Fairbanks, Matthew Hale |
Characterizing Compositionality of LQR from the Categorical Perspective. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Teli Ma, Rong Li, Junwei Liang 0008 |
An Examination of the Compositionality of Large Generative Vision-Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kaiser Sun, Adina Williams, Dieuwke Hupkes |
The Validity of Evaluation Results: Assessing Concurrence Across Compositionality Benchmarks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Michael A. Lepori, Thomas Serre, Ellie Pavlick |
Break It Down: Evidence for Structural Compositionality in Neural Networks. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke |
Obstructions to Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Verna Dankers, Christopher G. Lucas |
Non-Compositionality in Sentiment: New Data and Analyses. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Keito Kudo, Yoichi Aoki, Tatsuki Kuribayashi, Ana Brassard, Masashi Yoshikawa, Keisuke Sakaguchi, Kentaro Inui |
Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning? |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Harman Singh, Pengchuan Zhang, Qifan Wang, Mengjiao Wang, Wenhan Xiong, Jingfei Du, Yu Chen |
Coarse-to-Fine Contrastive Learning in Image-Text-Graph Space for Improved Vision-Language Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Verna Dankers, Ivan Titov |
Recursive Neural Networks with Bottlenecks Diagnose (Non-)Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Gijs van Cuyck, Lars van Arragon, Jan Tretmans |
Compositionality in Model-Based Testing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Nouha Dziri, Ximing Lu, Melanie Sclar, Xiang Lorraine Li, Liwei Jiang, Bill Yuchen Lin, Peter West, Chandra Bhagavatula, Ronan Le Bras 0001, Jena D. Hwang, Soumya Sanyal 0001, Sean Welleck, Xiang Ren 0001, Allyson Ettinger, Zaïd Harchaoui, Yejin Choi 0001 |
Faith and Fate: Limits of Transformers on Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu |
Verifiable Reinforcement Learning Systems via Compositionality. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jacob Adamczyk, Stas Tiomkin, Rahul V. Kulkarni |
Compositionality and Bounds for Optimal Value Functions in Reinforcement Learning. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Emily Cheng, Mathieu Rita, Thierry Poibeau |
On the Correspondence between Compositionality and Imitation in Emergent Neural Communication. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Benoist Wolleb, Romain Silvestri, Giorgos Vernikos, Ljiljana Dolamic, Andrei Popescu-Belis |
Assessing the Importance of Frequency versus Compositionality for Subword-based Tokenization in NMT. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Rohan Pandey |
Syntax-guided Neural Module Distillation to Probe Compositionality in Sentence Embeddings. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Maxwell Crouse, Pavan Kapanipathi, Subhajit Chaudhury, Tahira Naseem, Ramón Fernandez Astudillo, Achille Fokoue, Tim Klinger |
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Sidi Lu, Wenbo Zhao 0006, Chenyang Tao, Arpit Gupta, Shanchan Wu, Tagyoung Chung, Nanyun Peng |
On Compositionality and Improved Training of NADO. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hangyeol Yu, Myeongho Jeong, Jamin Shin, Hyeongdon Moon, Juneyoung Park, Seungtaek Choi |
Towards Zero-Shot Functional Compositionality of Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jie S. Li, Yow-Ting Shiue, Yong-Siang Shih, Jonas Geiping |
Augmenters at SemEval-2023 Task 1: Enhancing CLIP in Handling Compositionality and Ambiguity for Zero-Shot Visual WSD through Prompt Augmentation and Text-To-Image Diffusion. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jiaao Chen, Xiaoman Pan, Dian Yu 0001, Kaiqiang Song, Xiaoyang Wang, Dong Yu 0001, Jianshu Chen |
Skills-in-Context Prompting: Unlocking Compositionality in Large Language Models. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Anssi Moisio, Mathias Creutz, Mikko Kurimo |
On Using Distribution-Based Compositionality Assessment to Evaluate Compositional Generalisation in Machine Translation. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jie Li, Yow-Ting Shiue, Yong-Siang Shih, Jonas Geiping |
Augmenters at SemEval-2023 Task 1: Enhancing CLIP in Handling Compositionality and Ambiguity for Zero-Shot Visual WSD through Prompt Augmentation and Text-To-Image Diffusion. |
SemEval@ACL |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Meriem Beloucif, Mihir Bansal, Chris Biemann |
Using Wikidata for Enhancing Compositionality in Pretrained Language Models. |
RANLP |
2023 |
DBLP BibTeX RDF |
|
16 | Gijs van Cuyck, Lars van Arragon, Jan Tretmans |
Compositionality in Model-Based Testing. |
ICTSS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen |
Emerging Challenges in Compositionality and Correctness for Digital Twins. |
FMDT@FM |
2023 |
DBLP BibTeX RDF |
|
16 | Titouan Carette, Etienne Moutot, Thomas Perez, Renaud Vilmart |
Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus. |
ICALP |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski |
From MDP to POMDP and Back: Safety and Compositionality. |
ECC |
2023 |
DBLP BibTeX RDF |
|
16 | Baike She, Tyler Hanks, James P. Fairbanks, Matthew Hale |
Characterizing Compositionality of LQR from the Categorical Perspective. |
CDC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Wiktor Rorot, Joanna Raczaszek-Leonardi |
Understanding "Compositionality" in Research on Language Emergence. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
16 | Valerio Rubino, Mani Hamidi, Peter Dayan, Charley M. Wu |
Compositionality under time pressure. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
16 | Rohan Pandey |
Syntax-guided Neural Module Distillation to Probe Compositionality in Sentence Embeddings. |
EACL |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 954 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|