Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Kathi Fisler, Shriram Krishnamurthi	Modular verification of collaboration-based software designs.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design
15	Shailendra K. Bhonsle, Amarnath Gupta, Simone Santini, Ramesh C. Jain	Semiorder Database for Complex Activity Recognition in Multi-Sensory Environments.	ICDE	2000	DBLP DOI BibTeX RDF	Semiorder database, semiorder composition, database, event, activity, semiorders
15	Christos Kloukinas, Valérie Issarny	Automating the Composition of Middleware Configurations.	ASE	2000	DBLP DOI BibTeX RDF	Configuration composition, Software architecture, Middleware, Software configuration
15	Don S. Batory, Bart J. Geraci	Composition Validation and Subjectivity in GenVoca Generators.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	composition validation, design rule checking, subjectivity, software generators, GenVoca
15	Riccardo Focardi	Comparing Two Information Flow Security Properties.	CSFW	1996	DBLP DOI BibTeX RDF	nondeducibility, security checker, software tool, automatic verification, noninterference, multilevel security
15	Filip Van Aelten, Jonathan Allen, Srinivas Devadas	Verification of relations between synchronous machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	János Demetrovics, Lajos Rónyai, Hua nam Son	On the Composition and Decomposition of Attributes and Tuples.	ICDT	1992	DBLP DOI BibTeX RDF
15	Younes Souissi	Deterministic Systems of Sequential Processes: a class of structured Petri nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation
15	Max J. Egenhofer	Reasoning about Binary Topological Relations.	SSD	1991	DBLP DOI BibTeX RDF
15	Paul J. Drongowski	Representation in CAD: Models and semantics.	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
15	Richard C. Waters	Expressional Loops.	POPL	1984	DBLP DOI BibTeX RDF
15	Jane Fedorowicz	Comments on Price/Performance Patterns of U.S. Computer Systems.	Commun. ACM	1981	DBLP DOI BibTeX RDF
14	Vadim Sushko, Dan Zhang 0003, Juergen Gall, Anna Khoreva	Generating novel scene compositions from single images and videos.	Comput. Vis. Image Underst.	2024	DBLP DOI BibTeX RDF
14	Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson, Herschel C. Pangborn	Error Bounds for Compositions of Piecewise Affine Approximations.	CoRR	2024	DBLP DOI BibTeX RDF
14	Jonathan Thomm, Aleksandar Terzic, Geethan Karunaratne, Giacomo Camposampiero, Bernhard Schölkopf, Abbas Rahimi	Limits of Transformer Language Models on Learning Algorithmic Compositions.	CoRR	2024	DBLP DOI BibTeX RDF
14	Andreas Maletti	Compositions of Weighted Extended Tree Transducers - The Unambiguous Case.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
14	Ebrahim Navid Sadjadi	LMI-Based Tracking Control of the Fuzzy Systems: Smooth Compositions Work Better.	Int. J. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
14	Narayan Choudhary, S. P. Tiwari, Shailendra Singh 0005	On compositions of (L-fuzzy) automata: A categorical approach.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
14	Sebastian Maneth, Helmut Seidl, Martin Vu	Functionality of compositions of top-down tree transducers is decidable.	Inf. Comput.	2024	DBLP DOI BibTeX RDF
14	Anke Schulz	Support Technologies in Knowledge Work: Project Team Compositions and 3D Development Pack Use in Gaming.	HICSS	2024	DBLP BibTeX RDF
14	Vasudev S. Mallan, Rohan Alex, Alex James 0001	Learning Chemical Compositions through Music.	ICCE	2024	DBLP DOI BibTeX RDF
14	Hao Liang Chen, Bob Hendrikx, Elena Torta, Herman Bruyninckx, René van de Molengraft	Behavior adaptation for mobile robots via semantic map compositions of constraint-based controllers.	Frontiers Robotics AI	2023	DBLP DOI BibTeX RDF
14	Amin Ghodousian, Mohammad Sedigh Chopannavaz	Solving linear optimization problems subject to bipolar fuzzy relational equalities defined with max-strict compositions.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
14	Prathmesh Madhu, Tilman Marquart, Ronak Kosti, Dirk Suckow, Peter Bell 0007, Andreas K. Maier, Vincent Christlein	ICC++: Explainable feature learning for art history using image compositions.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
14	Chengda Huang, Xiaoqing Lin, Bo Chen, Xiaozhen Feng, Hong Li, Yulei Chen, Yuqing Huang, Zhong Chen 0005	Targeted Probing of Compositions and Structures for Complex Sample Analyses by Singlet-Filtered Correlation NMR Technique.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
14	Emily M. Hastings, Vidushi Ojha, Benedict V. Austriaco, Karrie Karahalios, Brian P. Bailey	Composing Team Compositions: An Examination of Instructors' Current Algorithmic Team Formation Practices.	Proc. ACM Hum. Comput. Interact.	2023	DBLP DOI BibTeX RDF
14	Stefan Kitzler, Friedhelm Victor, Pietro Saggese, Bernhard Haslhofer	Disentangling Decentralized Finance (DeFi) Compositions.	ACM Trans. Web	2023	DBLP DOI BibTeX RDF
14	Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez 0001	Computing performance requirements for web service compositions.	Comput. Stand. Interfaces	2023	DBLP DOI BibTeX RDF
14	Alexander Bors, Qiang Wang	Compositions and parities of complete mappings and of orthomorphisms.	J. Comb. Theory, Ser. A	2023	DBLP DOI BibTeX RDF
14	Chang-Ai Sun, Zhen Wang, Zaixing Zhang, Luo Xu, Jun Han, Yanbo Han	A feature-driven variability-enabled approach to adaptive service compositions.	Int. J. Web Grid Serv.	2023	DBLP DOI BibTeX RDF
14	Kalpdrum Passi, Shervin Assari, Amir Hossein Zolfaghari	#BlackLivesMatter and Racism in Life Expectancy, Poverty, Educational Attainment, and Race Compositions: State Analysis of 2020 Tweets in the USA.	CoRR	2023	DBLP DOI BibTeX RDF
14	Grégory Bourguin, Arnaud Lewandowski, Myriam Lewkowicz	Sharing Experience Around Component Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Anubhav Dogra, Srikant Sekhar Padhee, Ekta Singla	Optimal Compositions using Unconventional Modular Library for Customized Manipulators.	CoRR	2023	DBLP DOI BibTeX RDF
14	Sergio Blanes, Fernando Casas, Luke Shaw	Generalized extrapolation methods based on compositions of a basic 2nd-order scheme.	CoRR	2023	DBLP DOI BibTeX RDF
14	Yongqiang Cai	Vocabulary for Universal Approximation: A Linguistic Perspective of Mapping Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Kunal Jain, Prabuchandran K. J., Tejas Bodas	Bayesian Optimization for Function Compositions with Applications to Dynamic Pricing.	CoRR	2023	DBLP DOI BibTeX RDF
14	Klaus Heeger, André Nichterlein, Rolf Niedermeier	Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ergun Akleman, Akhilesh Vijaykumar, Richard Furuta, Derya Akleman	An Interactive Web-Based System for Creating Single Panel Cartoons with Visually Valid Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Damitha Lenadora, Vimarsh Sathia, Gerasimos Gerogiannis, Serif Yesil, Josep Torrellas, Charith Mendis	Input-sensitive dense-sparse primitive compositions for GNN acceleration.	CoRR	2023	DBLP DOI BibTeX RDF
14	Shijun Zhang, Jianfeng Lu 0001, Hongkai Zhao	On Enhancing Expressive Power via Compositions of Single Fixed-Size ReLU Network.	CoRR	2023	DBLP DOI BibTeX RDF
14	Nirat Saini, Hanyu Wang 0002, Archana Swaminathan, Vinoj Jayasundara 0001, Bo He 0004, Kamal Gupta 0002, Abhinav Shrivastava	Chop & Learn: Recognizing and Generating Object-State Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ana Aleksandric, Henry Isaac Anderson, Anisha Dangal, Gabriela Mustata Wilson, Shirin Nilizadeh	Analyzing the Stance of Facebook Posts on Abortion Considering State-level Health and Social Compositions.	CoRR	2023	DBLP DOI BibTeX RDF
14	Carlos Eduardo Padilla Leyferman, José Trinidad Guillen Bonilla, Juan Carlos Estrada Gutiérrez, Maricela Jiménez Rodríguez	A novel technique for texture description and image classification based in RGB compositions.	IET Commun.	2023	DBLP DOI BibTeX RDF
14	Roaa Elghondakly, Sherin M. Moussa, Nagwa L. Badr	Service-oriented model-based fault prediction and localization for service compositions testing using deep learning techniques.	Appl. Soft Comput.	2023	DBLP DOI BibTeX RDF
14	Hanchuan Pan, Lixing Yang, Zhe Liang	Demand-oriented integration optimization of train timetabling and rolling stock circulation planning with flexible train compositions: A column-generation-based approach.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
14	Hui Chen, Jingjing Jiang, Nanning Zheng 0001	Learning to Infer Unseen Single-/ Multi-Attribute-Object Compositions With Graph Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	2023	DBLP DOI BibTeX RDF
14	Sepideh Babaei, Jonathan Christ, Vivek Sehra, Ahmad Makky, Mohammed Zidane, Kilian Wistuba-Hamprecht, Christian M. Schürch, Manfred Claassen	S3-CIMA: Supervised spatial single-cell image analysis for identifying disease-associated cell-type compositions in tissue.	Patterns	2023	DBLP DOI BibTeX RDF
14	Malte Blattmann, Andreas Maletti	Compositions with Constant Weighted Extended Tree Transducers.	Int. J. Found. Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Yeyong Yu, Xing Wu 0001, Quan Qian	Better utilization of materials' compositions for predicting their properties: Material composition visualization network.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
14	Yuefang Sun, Zemin Jin	Semicomplete compositions of digraphs.	Discret. Math.	2023	DBLP DOI BibTeX RDF
14	Ryan Gabrys, Srilakshmi Pattabiraman, Olgica Milenkovic	Reconstruction of Sets of Strings From Prefix/Suffix Compositions.	IEEE Trans. Commun.	2023	DBLP DOI BibTeX RDF
14	Mohd Hakimi, Madiah Binti Omar, Rosdiazli Ibrahim	Application of Neural Network in Predicting H2S from an Acid Gas Removal Unit (AGRU) with Different Compositions of Solvents.	Sensors	2023	DBLP DOI BibTeX RDF
14	Zhongling Pi, Xinru Zhang, Xingyu Zhang, Ming Gao, Xiying Li	Students' prior knowledge moderates the effects of group motivation compositions on learning from video lectures.	Br. J. Educ. Technol.	2023	DBLP DOI BibTeX RDF
14	Jesús Ortiz 0002, Victoria Torres, Pedro Valderas	Microservice compositions based on the choreography of BPMN fragments: facing evolution issues.	Computing	2023	DBLP DOI BibTeX RDF
14	Nirat Saini, Hanyu Wang 0002, Archana Swaminathan, Vinoj Jayasundara 0001, Bo He 0004, Kamal Gupta 0002, Abhinav Shrivastava	Chop & Learn: Recognizing and Generating Object-State Compositions.	ICCV	2023	DBLP DOI BibTeX RDF
14	Julian Seethaler, Michael Strohal, Peter Stütz	Metrics and Metamodels for Mission-Based Assessment of Multi-Aircraft Force Compositions.	SIMULTECH	2023	DBLP DOI BibTeX RDF
14	Nhung Cao, Michal Burda, Stanislav Ozana	Dynamic Evaluation of Fuzzy Compositions.	FUZZ	2023	DBLP DOI BibTeX RDF
14	Marco Anisetti, Filippo Berto, Ruslan Bondaruc	QoS-Aware Deployment of Service Compositions in 5G-Empowered Edge-Cloud Continuum.	CLOUD	2023	DBLP DOI BibTeX RDF
14	Joseph Breeden, Dimitra Panagou	Compositions of Multiple Control Barrier Functions Under Input Constraints.	ACC	2023	DBLP DOI BibTeX RDF
14	Ari Rasch, Richard Schulze, Denys Shabalin, Anne Elster, Sergei Gorlatch, Mary W. Hall	(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules.	CC	2023	DBLP DOI BibTeX RDF
14	Sazzadur Rahaman, Miles Frantz, Barton P. Miller, Danfeng (Daphne) Yao	SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions.	ACNS Workshops	2023	DBLP DOI BibTeX RDF
14	Kunal Jain, Prabuchandran K. J., Tejas Bodas	Bayesian Optimization for Function Compositions with Applications to Dynamic Pricing.	LION	2023	DBLP DOI BibTeX RDF
14	David Hästbacka, Minh Tran, Petri Kannisto, Mikael Filppula, Pál Varga	External Token-Based Authorization of Data-Driven Integrations and Service Compositions in MQTT 5.	IECON	2023	DBLP DOI BibTeX RDF
14	Klaus Heeger, André Nichterlein, Rolf Niedermeier	Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions.	STACS	2023	DBLP DOI BibTeX RDF
14	Andrea Altarui, Marino Miculan, Matteo Paier	DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions.	ITASEC	2023	DBLP BibTeX RDF
14	Lord Ikechukwu Ugwu, Yasser Morgan, Hussameldin Ibrahim	Increasing Ethene Yield via Oxidative Coupling of Methane at Low Temperature: An Application of Machine Learning and DFT in the Design and Innovation of Effective Catalyst Compositions.	CCECE	2023	DBLP DOI BibTeX RDF
14	Muaz Ali, Muhammad Muzammil, Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Muhammad Haris, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman	SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions.	ESORICS (4)	2023	DBLP DOI BibTeX RDF
14	Abdelmalek Berkani, Adrian Holzer	Clustering analysis of metered Arabic poetry compositions.	AICCSA	2023	DBLP DOI BibTeX RDF
14	Shijun Zhang, Jianfeng Lu 0001, Hongkai Zhao	On Enhancing Expressive Power via Compositions of Single Fixed-Size ReLU Network.	ICML	2023	DBLP BibTeX RDF
14	Steven Jones, A. Brinton Cooper	On the determination of GRAND noise sequences by employing integer compositions.	CISS	2023	DBLP DOI BibTeX RDF
14	Bálint Mucsányi, Bálint Gyarmathy, Ádám Czapp, Balázs Pintér	Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions.	SN Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Soheila Sadeghiram, Hui Ma 0001, Gang Chen 0002	Priority-Based Selection of Individuals in Memetic Algorithms for Distributed Data-Intensive Web Service Compositions.	IEEE Trans. Serv. Comput.	2022	DBLP DOI BibTeX RDF
14	Kazuhisa Nakasho, Yuichi Futa	Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces.	Formaliz. Math.	2022	DBLP DOI BibTeX RDF
14	S. Sabeena Begam, Vimala Jayakumar	Compositions on lattice ordered multi-fuzzy soft matrix and its simulated application in medical diagnosis.	Math. Comput. Simul.	2022	DBLP DOI BibTeX RDF
14	Vít Jelínek, Toufik Mansour, José Luis Ramírez, Mark Shattuck	Avoiding a pair of patterns in multisets and compositions.	Adv. Appl. Math.	2022	DBLP DOI BibTeX RDF
14	Sheraz Naseer, Waqar Hussain, Yaser Daanial Khan, Nouman Rasool	iPhosS(Deep)-PseAAC: Identification of Phosphoserine Sites in Proteins Using Deep Learning on General Pseudo Amino Acid Compositions.	IEEE ACM Trans. Comput. Biol. Bioinform.	2022	DBLP DOI BibTeX RDF
14	Fernando Casas, Alejandro Escorihuela-Tomàs	High order integrators obtained by linear combinations of symmetric-conjugate compositions.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
14	Myroslav Sheremeta	Hadamard Compositions of Gelfond-Leont'ev Derivatives.	Axioms	2022	DBLP DOI BibTeX RDF
14	Vincenzo G. Fiore, Xiaosi Gu	Similar network compositions, but distinct neural dynamics underlying belief updating in environments with and without explicit outcomes.	NeuroImage	2022	DBLP DOI BibTeX RDF
14	Itai Zilberman, Ehud Rivlin, Vadim Indelman	Incorporating Compositions in Qualitative Approaches.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
14	Ebrahim Navid Sadjadi	Smooth Compositions Made Stabilization of Fuzzy Systems: Easy and More Robust.	IEEE Trans. Cybern.	2022	DBLP DOI BibTeX RDF
14	Chao Zhou, Huimin Wang, Hongyu Zhao 0003, Tao Wang 0067	fastANCOM: a fast method for analysis of compositions of microbiomes.	Bioinform.	2022	DBLP DOI BibTeX RDF
14	Daniel Kvak	Towards Evaluation of Autonomously Generated Musical Compositions: A Comprehensive Survey.	CoRR	2022	DBLP DOI BibTeX RDF
14	Daniel Gerth	A note on numerical singular values of compositions with non-compact operators.	CoRR	2022	DBLP BibTeX RDF
14	Jun Wang 0135, Samarth Kalluraya, Yiannis Kantaros	Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives.	CoRR	2022	DBLP DOI BibTeX RDF
14	Utkarsh Gupta, Hessam Mahdavifar	A New Algebraic Approach for String Reconstruction from Substring Compositions.	CoRR	2022	DBLP BibTeX RDF
14	Sebastian Maneth, Helmut Seidl, Martin Vu	How to decide Functionality of Compositions of Top-Down Tree Transducers.	CoRR	2022	DBLP DOI BibTeX RDF
14	Kirill Aleksandrovich Bashmur, V. S. Tynchenko, V. V. Bukhtoyarov, M. V. Saramud	Robot-printer for creating elements of technological equipment for the production of components of biofuel compositions.	CoRR	2022	DBLP BibTeX RDF
14	Joseph Breeden, Dimitra Panagou	Compositions of Multiple Control Barrier Functions Under Input Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
14	Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett	Natural Language Deduction through Search over Statement Compositions.	CoRR	2022	DBLP BibTeX RDF
14	Ganeshsree Selvachandran, Shio Gai Quek, Le Hoang Son, Pham Huy Thong, Bay Vo, Tahani A. Abdusalam Hawari, Abdul Razak Salleh	Relations and compositions between interval-valued complex fuzzy sets and applications for analysis of customers' online shopping preferences and behavior.	Appl. Soft Comput.	2022	DBLP DOI BibTeX RDF
14	Margaret Archibald, Aubrey Blecher, Charlotte A. C. Brennan, Arnold Knopfmacher	Protected Cells in Compositions.	Math. Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Alesom Zorzi, Celina M. H. de Figueiredo, Raphael C. S. Machado, Leandro M. Zatesko, Uéverton S. Souza	Compositions, decompositions, and conformability for total coloring on power of cycle graphs.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
14	Li-Ping Yang, Tao Xin, Fang Luo, Sheng Zhang, Xuetao Tian	Automated evaluation of the quality of ideas in compositions based on concept maps.	Nat. Lang. Eng.	2022	DBLP DOI BibTeX RDF
14	Ebrahim Navid Sadjadi	Smooth compositions are candidates for robust fuzzy systems.	Fuzzy Sets Syst.	2022	DBLP DOI BibTeX RDF
14	Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi 0001, Tim Güneysu	Randomness Optimization for Gadget Compositions in Higher-Order Masking.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2022	DBLP DOI BibTeX RDF
14	Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi 0001, Tim Güneysu	Randomness Optimization for Gadget Compositions in Higher-Order Masking.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Harishma Boyapally, Sikhar Patranabis, Debdeep Mukhopadhyay	XOR Compositions of Physically Related Functions.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
14	Jiangdong Ai, Stefanie Gerke, Gregory Z. Gutin, Yacong Zhou	Extended path partition conjecture for semicomplete and acyclic compositions.	Discret. Math.	2022	DBLP DOI BibTeX RDF
14	Aaron Einbond, Thibaut Carpentier, Diemo Schwarz, Jean Bresson	Embodying Spatial Sound Synthesis with AI in Two Compositions for Instruments and 3-D Electronics.	Comput. Music. J.	2022	DBLP DOI BibTeX RDF