Search results for "compositions"

Hits ?▲	Authors	Title	Venue	Year	Link
14	K. Upreti, Ganesh Subbarayan	Signed algebraic level sets on NURBS surfaces and implicit Boolean compositions for isogeometric CAD-CAE integration.	Comput. Aided Des.	2017	DBLP DOI BibTeX RDF
14	Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani	Intruder deducibility constraints with negation. Decidability and application to secured service compositions.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
14	Daesik Choi, Byungkyu Park, Hanju Chae, Wook Lee, Kyungsook Han	Predicting protein-binding regions in RNA using nucleotide profiles and compositions.	BMC Syst. Biol.	2017	DBLP DOI BibTeX RDF
14	Achim D. Brucker, Bo Zhou 0001, Francesco Malmignati, Qi Shi 0001, Madjid Merabti	Modelling, validating, and ranking of secure service compositions.	Softw. Pract. Exp.	2017	DBLP DOI BibTeX RDF
14	Dmitry Kerner, András Némethi	A generalized FKG-inequality for compositions.	J. Comb. Theory, Ser. A	2017	DBLP DOI BibTeX RDF
14	Daisuke Kasamatsu, Mohan Kumar, Peizhao Hu	Service Compositions in Challenged Mobile Environments under Spatiotemporal Constraints.	SMARTCOMP	2017	DBLP DOI BibTeX RDF
14	Abhishek Santra, Sanjukta Bhowmick, Sharma Chakravarthy	HUBify: Efficient Estimation of Central Entities Across Multiplex Layer Compositions.	ICDM Workshops	2017	DBLP DOI BibTeX RDF
14	Victor Paleologue, Jocelyn Martin, Amit Kumar Pandey, Alexandre Coninx, Mohamed Chetouani	Semantic-based interaction for teaching robot behavior compositions.	RO-MAN	2017	DBLP DOI BibTeX RDF
14	Nhung Cao, Martin Stepnicka, Michal Holcapek	Non-preservation of chosen properties of fuzzy relational compositions based on fuzzy quantifiers.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
14	Joe Cheri Ross, Abhijit Mishra, Kaustuv Kanti Ganguli, Pushpak Bhattacharyya, Preeti Rao	Identifying Raga Similarity Through Embeddings Learned from Compositions' Notation.	ISMIR	2017	DBLP BibTeX RDF
14	Bambang Suratno	Towards Operationalization of Business Models: Designing Service Compositions for Service-Dominant Business Models.	CAiSE-Forum-DC	2017	DBLP BibTeX RDF
14	Iestyn Jowers, Chris F. Earl, George Stiny	Shape Computations Without Compositions.	CAAD Futures	2017	DBLP DOI BibTeX RDF
14	Alexis Huf, Ivan Luiz Salvadori, Frank Siqueira	Planning and execution of heterogeneous service compositions.	ISCC	2017	DBLP DOI BibTeX RDF
14	Patrick Hutchings, Jon McCormack	Using Autonomous Agents to Improvise Music Compositions in Real-Time.	EvoMUSART	2017	DBLP DOI BibTeX RDF
14	Laurens Boer, Ben Cahill, Anna Vallgårda	The Hedonic Haptics Player: A Wearable Device to Experience Vibrotactile Compositions.	Conference on Designing Interactive Systems (Companion Volume)	2017	DBLP DOI BibTeX RDF
14	Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel	WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions.	TAP@STAF	2017	DBLP DOI BibTeX RDF
14	Subodh Deolekar, Ninad Godambe, Siby Abraham	Genetic Algorithm to Generate Music Compositions: A Case Study with Tabla.	HIS	2017	DBLP DOI BibTeX RDF
14	Heike Wehrheim	Fault Localization in Service Compositions.	FACS	2017	DBLP DOI BibTeX RDF
14	Cheng-Tsung Liu, Pei-Chun Shih, Sheng-Chan Yen, Hsin-Nan Lin, Yu-Wei Hsu, Sheng-Yang Lin	Theoretical and experimental investigations of the electromagnetic steel compositions for synchronous reluctance motors.	IAS	2017	DBLP DOI BibTeX RDF
14	Hugo C. Huurdeman	Dynamic Compositions: Recombining Search User Interface Features for Supporting Complex Work Tasks.	SCST@CHIIR	2017	DBLP BibTeX RDF
14	Nhung Cao, Martin Stepnicka, Michal Burda, Ales Dolný	Fuzzy relational compositions based on grouping features.	KSE	2017	DBLP DOI BibTeX RDF
14	Ariel Galante Dalla-Costa, Lucas Bondan, Juliano Araujo Wickboldt, Cristiano Bonato Both, Lisandro Zambenedetti Granville	Maestro: An NFV Orchestrator for Wireless Environments Aware of VNF Internal Compositions.	AINA	2017	DBLP DOI BibTeX RDF
14	Barbara Pekala	Compositions Consistent with the Modus Ponens Property Used in Approximate Reasoning.	EUSFLAT/IWIFSGN (3)	2017	DBLP DOI BibTeX RDF
14	Nhung Cao, Martin Stepnicka	Incorporation of Excluding Features in Fuzzy Relational Compositions Based on Generalized Quantifiers.	EUSFLAT/IWIFSGN (1)	2017	DBLP DOI BibTeX RDF
14	Alina-Simona Baiesu, Nicolae Paraschiv	Binary distillation column top and bottom compositions control using two PI controllers tuned with GA.	IDAACS	2017	DBLP DOI BibTeX RDF
14	Isabelle Mirbel	From user goals to process-based service compositions: A flexible semantic-based approach.	RCIS	2017	DBLP DOI BibTeX RDF
14	Di Wang, Fengchun Tian, Simon X. Yang, Zhiqin Zhu	Intelligent estimate of chemical compositions based on NIR spectra analysis.	ICIA	2017	DBLP DOI BibTeX RDF
14	Wafaa Radwan, Yousef Hassouneh, Abdel Salam Sayyad, Nariman Ammar	YAFA-SOA: A GA-Based Optimizer for Optimizing Security and Cost in Service Compositions.	SCC	2017	DBLP DOI BibTeX RDF
14	Li-Wen Chang	Toward performance portability for CPUS and GPUS through algorithmic compositions		2017	RDF
14	Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Javier-Alfonso Espinosa-Oviedo	Optimizing Data Processing Service Compositions Using SLA's.	Polibits	2016	DBLP DOI BibTeX RDF
14	Feishe Chen, Lixin Shen, Bruce W. Suter, Yuesheng Xu	Minimizing Compositions of Functions Using Proximity Algorithms with Application in Image Deblurring.	Frontiers Appl. Math. Stat.	2016	DBLP DOI BibTeX RDF
14	Florian Wagner 0001, Fuyuki Ishikawa, Shinichi Honiden	Robust Service Compositions with Functional and Location Diversity.	IEEE Trans. Serv. Comput.	2016	DBLP DOI BibTeX RDF
14	Stefan Schönig, Cristina Cabanillas, Claudio Di Ciccio, Stefan Jablonski, Jan Mendling	Mining Resource Assignments and Teamwork Compositions from Process Logs.	Softwaretechnik-Trends	2016	DBLP BibTeX RDF
14	Armend Shaban Shabani, Gjergji Rexhep	Statistics for 3-letter patterns with repetitions in compositions.	Discret. Math. Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Colin Cremin	Molecular Mario: The Becoming-Animal of Video Game Compositions.	Games Cult.	2016	DBLP DOI BibTeX RDF
14	Péter Árendás, Ferenc Bencs, Zoltán Blázsik, Csaba Szabó	Compositions of Complements of Graphs.	Integers	2016	DBLP BibTeX RDF
14	Petros Hadjicostas	Cyclic Compositions of a Positive Integer with Parts Avoiding an Arithmetic Sequence.	J. Integer Seq.	2016	DBLP BibTeX RDF
14	Rik Eshuis, Freddy Lécué, Nikolay Mehandjiev	Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge.	ACM Trans. Web	2016	DBLP DOI BibTeX RDF
14	Daniel Krenn, Stephan G. Wagner	Compositions into Powers of b: Asymptotic Enumeration and Parameters.	Algorithmica	2016	DBLP DOI BibTeX RDF
14	Yuval Atzmon, Jonathan Berant, Vahid Kezami, Amir Globerson, Gal Chechik	Learning to generalize to new compositions in image understanding.	CoRR	2016	DBLP BibTeX RDF
14	Ameya Prabhu, Aditya Joshi, Manish Shrivastava 0001, Vasudeva Varma	Towards Sub-Word Level Compositions for Sentiment Analysis of Hindi-English Code Mixed Text.	CoRR	2016	DBLP BibTeX RDF
14	Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Multi-objective Compositions for Collision-Free Connectivity Maintenance in Teams of Mobile Robots.	CoRR	2016	DBLP BibTeX RDF
14	Nicholas Asher, Tim Van de Cruys, Antoine Bride, Márta Abrusán	Integrating Type Theory and Distributional Semantics: A Case Study on Adjective-Noun Compositions.	Comput. Linguistics	2016	DBLP DOI BibTeX RDF
14	Alexey Chistyakov, María Teresa Soto, Enric Martí, Jordi Carrabina	An HTML Tool for Production of Interactive Stereoscopic Compositions.	J. Medical Syst.	2016	DBLP DOI BibTeX RDF
14	Asnida Abd Wahab, Maheza Irna Mohamad Salim, Mohamad Asmidzam Ahamat, Noraida Abd Manaf, Jasmy Yunus, Khin Wee Lai	Thermal distribution analysis of three-dimensional tumor-embedded breast models with different breast density compositions.	Medical Biol. Eng. Comput.	2016	DBLP DOI BibTeX RDF
14	Vladimir Shpilrain, Bianca Sosnovski	Compositions of linear functions and applications to hashing.	Groups Complex. Cryptol.	2016	DBLP DOI BibTeX RDF
14	Hisain Elshaafi, Dmitri Botvich	Optimisation-based collaborative determination of component trustworthiness in service compositions.	Secur. Commun. Networks	2016	DBLP DOI BibTeX RDF
14	Vladimir Shpilrain, Bianca Sosnovski	Compositions of linear functions and applications to hashing.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
14	Todd Tichenor	Bounds on graph compositions and the connection to the Bell triangle.	Discret. Math.	2016	DBLP DOI BibTeX RDF
14	Yi-Hsin Yu, Shih-Hsun Chen, Che-Lun Chang, Chin-Teng Lin, W. David Hairston, Randy A. Mrozek	New Flexible Silicone-Based EEG Dry Sensor Material Compositions Exhibiting Improvements in Lifespan, Conductivity, and Reliability.	Sensors	2016	DBLP DOI BibTeX RDF
14	Noam Auslander, Allon Wagner, Matthew A. Oberhardt, Eytan Ruppin	Data-Driven Metabolic Pathway Compositions Enhance Cancer Survival Prediction.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
14	Ross Feller	Nicolas Collins: Salvaged - Compositions 1986-2014.	Comput. Music. J.	2016	DBLP DOI BibTeX RDF
14	Sven Walther, Heike Wehrheim	On-the-fly construction of provably correct service compositions - templates and proofs.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
14	Raed Karim, Chen Ding 0004, Ali Miri, Md Shahinur Rahman	Incorporating service and user information and latent features to predict QoS for selecting and recommending cloud service compositions.	Clust. Comput.	2016	DBLP DOI BibTeX RDF
14	Dessislava Petrova-Antonova, Sylvia Ilieva, Denitsa Manova	TASSA: A Testing as a Service Framework for Web Service Compositions.	AMARETTO@MODELSWARD	2016	DBLP DOI BibTeX RDF
14	Peter T. Nkomo, Marijke Coetzee	Engineering Secure Adaptable Web Services Compositions.	CONF-IRM	2016	DBLP BibTeX RDF
14	Vamshi Krishna Chitikase, Chih-Cheng Hsu	A Numerical Investigation on Bubble Formation in Coolant Channel with Various Ethylene Glycol and Water Compositions and Change in Contact Angle.	HiPC Workshops	2016	DBLP DOI BibTeX RDF
14	Imen Khabou, Mohsen Rouached, Rafik Bouaziz, Mohamed Abid	Towards Privacy-Aware Web Services Compositions.	CIT	2016	DBLP DOI BibTeX RDF
14	Li Wang 0050, Aaron D. Ames, Magnus Egerstedt	Multi-objective compositions for collision-free connectivity maintenance in teams of mobile robots.	CDC	2016	DBLP DOI BibTeX RDF
14	Yang Yu 0075, Hui Ma 0001, Mengjie Zhang 0001	A genetic programming approach to distributed execution of data-intensive web service compositions.	ACSW	2016	DBLP DOI BibTeX RDF
14	Andreas Maletti	Compositions of Tree-to-Tree Statistical Machine Translation Models.	DLT	2016	DBLP DOI BibTeX RDF
14	Vanessa Stricker	Enabling Compositional Deadlock Checking of Component Compositions with Partial Bindings.	CAiSE (Doctoral Consortium)	2016	DBLP BibTeX RDF
14	Mikko Rautiainen, Leena Salmela, Veli Mäkinen	Identification of Variant Compositions in Related Strains Without Reference.	AlCoB	2016	DBLP DOI BibTeX RDF
14	Juliana Cherston, Ewan Hill, Steven Goldfarb, Joseph A. Paradiso	Musician and Mega-Machine: Compositions Driven by Real-Time Particle Collision Data from the ATLAS Detector.	NIME	2016	DBLP DOI BibTeX RDF
14	Maha Boussabbeh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Ahmed Hadj Kacem	Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.	ABZ	2016	DBLP DOI BibTeX RDF
14	Nhung Cao, Martin Stepnicka	How to Incorporate Excluding Features in Fuzzy Relational Compositions and What for.	IPMU (2)	2016	DBLP DOI BibTeX RDF
14	Julia Krämer, Heike Wehrheim	A Formal Approach to Error Localization and Correction in Service Compositions.	STAF Workshops	2016	DBLP DOI BibTeX RDF
14	Sherif Hanie El Meligy Abdelhamid, Chris J. Kuhlman, Madhav V. Marathe, S. S. Ravi	Network Services and their Compositions for Network Science Applications.	ICCS	2016	DBLP DOI BibTeX RDF
14	Aditya Joshi, Ameya Prabhu, Manish Shrivastava 0001, Vasudeva Varma	Towards Sub-Word Level Compositions for Sentiment Analysis of Hindi-English Code Mixed Text.	COLING	2016	DBLP BibTeX RDF
14	Andreas Abel 0002, Jan Reineke 0001	Gray-Box Learning of Serial Compositions of Mealy Machines.	NFM	2016	DBLP DOI BibTeX RDF
14	K. Vidyasankar	A Transaction Model for Executions of Compositions of Internet of Things Services.	ANT/SEIT	2016	DBLP DOI BibTeX RDF
14	Polina Panicheva, Ekaterina Protopopova, Grigoriy Bukia, Olga Mitrofanova	Evaluating Distributional Semantic Models with Russian Noun-Adjective Compositions.	AIST	2016	DBLP DOI BibTeX RDF
14	Vincent Lesbros	Chromatic and Harmonic Scales for Intuitive Sonographic Compositions.	IWST	2016	DBLP BibTeX RDF
14	Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue	Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.	SCAM	2016	DBLP DOI BibTeX RDF
14	Laura Florea, Corneliu Florea, Mihai-Sorin Badea	Recognizing surreal compositions in digitized paintings.	COMM	2016	DBLP DOI BibTeX RDF
14	Mariana Ramos Franco, Gustavo Augusto Lima de Campos, Jaime Simão Sichman	An Empirical Approach for Relating Environmental Patterns with Agent Team Compositions.	COIN@AAMAS/ECAI	2016	DBLP DOI BibTeX RDF
14	Julia Krämer, Heike Wehrheim	A Short Survey on Using Software Error Localization for Service Compositions.	ESOCC	2016	DBLP DOI BibTeX RDF
14	Alexis Marechal, Didier Buchs	Generalizing the Compositions of Petri Nets Modules.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
14	Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond	Compositions of (max, +) automata.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
14	Margaret Archibald, Aubrey Blecher, Charlotte A. C. Brennan, Arnold Knopfmacher	Greatest Descents after any Maxima in Compositions.	Electron. J. Comb.	2015	DBLP DOI BibTeX RDF
14	Mohamed Sellami, Walid Gaaloul, Bruno Defude	A decentralized and service-based solution for data mediation: the case for data providing service compositions.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
14	Jia Li 0029, Xin Luo 0001, Yunni Xia, Yakai Han, Qingsheng Zhu	A time series and reduction-based model for modeling and QoS prediction of service compositions.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
14	Donald N. Stengel, Priscilla Chaffe-Stengel	Estimating Per Capita Rates Using Aggregate Measurements From Groups of Diverse Compositions.	J. Stat. Theory Appl.	2015	DBLP DOI BibTeX RDF
14	Todd Tichenor, Michael E. Mays	Graph Compositions: Deleting Edges from Complete Graphs.	Integers	2015	DBLP BibTeX RDF
14	Steffen Eger	Some Elementary Congruences for the Number of Weighted Integer Compositions.	J. Integer Seq.	2015	DBLP BibTeX RDF
14	Martin Griffiths	On a Matrix Arising from a Family of Iterated Self-Compositions.	J. Integer Seq.	2015	DBLP BibTeX RDF
14	Andrew Kenney, Caroline Shapcott	Maximum Part-Products of Odd Palindromic Compositions.	J. Integer Seq.	2015	DBLP BibTeX RDF
14	Milan Janjic	On Linear Recurrence Equations Arising from Compositions of Positive Integers.	J. Integer Seq.	2015	DBLP BibTeX RDF
14	Chang-Ai Sun, Xin Zhang, Yan Shang, Marco Aiello 0001	Integrating Transactions into BPEL Service Compositions: An Aspect-Based Approach.	ACM Trans. Web	2015	DBLP DOI BibTeX RDF
14	Jayadev Acharya, Hirakendu Das, Olgica Milenkovic, Alon Orlitsky, Shengjun Pan	String Reconstruction from Substring Compositions.	SIAM J. Discret. Math.	2015	DBLP DOI BibTeX RDF
14	Domen Tabernik, Ales Leonardis, Marko Boben, Danijel Skocaj, Matej Kristan	Adding discriminative power to a generative hierarchical compositional model using histograms of compositions.	Comput. Vis. Image Underst.	2015	DBLP DOI BibTeX RDF
14	Qiang Yu, Ling Chen 0005, Bin Li 0006	Ant colony optimization applied to web service compositions in cloud computing.	Comput. Electr. Eng.	2015	DBLP DOI BibTeX RDF
14	Wei Chen 0064, Xitong Zhang, Jordan Brooker, Hao Lin 0001, Liqing Zhang 0002, Kuo-Chen Chou	PseKNC-General: a cross-platform package for generating various modes of pseudo nucleotide compositions.	Bioinform.	2015	DBLP DOI BibTeX RDF
14	Tomás Robles 0001, Ramón Alcarria, Augusto Morales Dominguez, Diego Martín de Andrés	Supporting variability dependencies for rule-based service compositions in prosumer environments.	Int. J. Web Grid Serv.	2015	DBLP DOI BibTeX RDF
14	Marco Dalai, Andreas J. Winter 0002	Constant Compositions in the Sphere Packing Bound for Classical-Quantum Channels.	CoRR	2015	DBLP BibTeX RDF
14	Gary L. Mullen, Amela Muratovic-Ribic, Qiang Wang 0012	On coefficients of powers of polynomials and their compositions over finite fields.	CoRR	2015	DBLP BibTeX RDF
14	Matthias Beck, Neville Robbins	Variations on a Generating-Function Theme: Enumerating Compositions with Parts Avoiding an Arithmetic Sequence.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
14	Zoe Falomir, Lledó Museros Cabedo, Luis González Abril	A model for colour naming and comparing based on conceptual neighbourhood. An application for comparing art compositions.	Knowl. Based Syst.	2015	DBLP DOI BibTeX RDF
14	Vladimir Shpilrain, Bianca Sosnovski	Compositions of linear functions and applications to hashing.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
14	Cheng Yeaw Ku, Kok Bin Wong	On r-cross t-intersecting families for weak compositions.	Discret. Math.	2015	DBLP DOI BibTeX RDF