Search results for "fragments"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Marie-Pierre Béal, Maxime Crochemore	Fast detection of specific fragments against a set of sequences.	CoRR	2022	DBLP DOI BibTeX RDF
13	Katrina Yezzi-Woodley, Alexander Terwilliger, Jiafeng Li, Eric Chen, Martha Tappen, Jeff Calder, Peter J. Olver	Using machine learning on new feature sets extracted from 3D models of broken animal bones to classify fragments according to break agent.	CoRR	2022	DBLP DOI BibTeX RDF
13	Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo, Angelo Montanari	Complexity of Safety and coSafety Fragments of Linear Temporal Logic.	CoRR	2022	DBLP DOI BibTeX RDF
13	Viktor Schlegel, Kamen V. Pavlov, Ian Pratt-Hartmann	Can Transformers Reason in Fragments of Natural Language?	CoRR	2022	DBLP DOI BibTeX RDF
13	Huanzhou Zhu, Bo Zhao 0019, Gang Chen, Weifeng Chen, Yijie Chen, Liang Shi, Yaodong Yang 0001, Peter R. Pietzuch, Lei Chen	MSRL: Distributed Reinforcement Learning with Dataflow Fragments.	CoRR	2022	DBLP DOI BibTeX RDF
13		Laugh Betrays You? Learning Robust Speaker Representation From Speech Containing Non-Verbal Fragments.	CoRR	2022	DBLP DOI BibTeX RDF
13	Mo Liu 0002	Decision problem of some bundled FOML fragments.	CoRR	2022	DBLP BibTeX RDF
13	Alessandro Artale, Andrea Mazzullo, Ana Ozaki	First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.	CoRR	2022	DBLP BibTeX RDF
13	Aditya Nandy, Shuwen Yue, Changhwan Oh, Chenru Duan, Gianmarco G. Terrones, Yongchul G. Chung, Heather J. Kulik	A Database of Ultrastable MOFs Reassembled from Stable Fragments with Machine Learning Models.	CoRR	2022	DBLP DOI BibTeX RDF
13	Sen Zheng, Renate A. Schmidt	Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments.	CoRR	2022	DBLP DOI BibTeX RDF
13	Daniel Schuster 0001, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.	CoRR	2022	DBLP DOI BibTeX RDF
13	Suvankar Banerjee, Sk. Abdul Amin, Tarun Jha	A fragment-based structural analysis of MMP-2 inhibitors in search of meaningful structural fragments.	Comput. Biol. Medicine	2022	DBLP DOI BibTeX RDF
13	Gabriel Guariglia Perez, Vandoir Bourscheidt, Luciano Elsinor Lopes, Juliana Toshie Takata, Patrícia Alves Ferreira, Danilo Boscolo	Use of Sentinel 2 imagery to estimate vegetation height in fragments of Atlantic Forest.	Ecol. Informatics	2022	DBLP DOI BibTeX RDF
13	Marco Console, Paolo Guagliardo, Leonid Libkin	Fragments of bag relational algebra: Expressiveness and certain answers.	Inf. Syst.	2022	DBLP DOI BibTeX RDF
13	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg	Transitive Models of Fragments of ZFC.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
13	Nadia Creignou, Raïda Ktari, Odile Papini	Belief contraction and erasure in fragments of propositional logic.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
13	Mikhail N. Rybakov, Dmitry Shkatov	Complexity of finite-variable fragments of products with non-transitive modal logics.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
13	Yaoshen Yu, Zhiqiu Huang, Guohua Shen, Weiwei Li, Yichao Shao	ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
13	Yuhang Lu, Jun Zhou, Sam T. McDorman, Canyu Zhang, Deja Scott, Jake Bukuts, Colin Wilder, Karen Smith, Song Wang 0002	Snowvision: Segmenting, Identifying, and Discovering Stamped Curve Patterns from Fragments of Pottery.	Int. J. Comput. Vis.	2022	DBLP DOI BibTeX RDF
13	Hanan ElNaghy, Leo Dorst	Pairwise Alignment of Archaeological Fragments Through Morphological Characterization of Fracture Surfaces.	Int. J. Comput. Vis.	2022	DBLP DOI BibTeX RDF
13	Umberto Rivieccio	Fragments of Quasi-Nelson: The Algebraizable Core.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
13	Xavier Caicedo, George Metcalfe, Ricardo Rodríguez, Olim Frits Tuyt	One-variable fragments of intermediate logics over linear frames.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
13	Kunwar Muhammed Saaim, Muhamad Felemban, Saleh Alsaleh, Ahmad Almulhem	Light-Weight File Fragments Classification Using Depthwise Separable Convolutions.	SEC	2022	DBLP DOI BibTeX RDF
13	Karine Berthelot-Guiet	Hints of Advertising Digital Literacy: Fragments of Media Discourses.	HCI (42)	2022	DBLP DOI BibTeX RDF
13	Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober	Process Mining to Discover the Global Process from its Fragments' Executions.	ENASE	2022	DBLP DOI BibTeX RDF
13	Slawomir Kost, Zofia Kostrzycka	Asymptotic comparison of the implicative fragments of certain fuzzy logics.	FUZZ-IEEE	2022	DBLP DOI BibTeX RDF
13	Lars Heling, Maribel Acosta	Federated SPARQL Query Processing over Heterogeneous Linked Data Fragments.	WWW	2022	DBLP DOI BibTeX RDF
13	Reijo Jaakkola	Uniform Guarded Fragments.	FoSSaCS	2022	DBLP DOI BibTeX RDF
13	Jugal Garg, Edin Husic, Aniket Murhekar, László A. Végh	Tractable Fragments of the Maximum Nash Welfare Problem.	WINE	2022	DBLP BibTeX RDF
13	Mo Liu 0002, Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001	Generalized Bundled Fragments for First-Order Modal Logic.	MFCS	2022	DBLP DOI BibTeX RDF
13	Anna Maria Zanaboni, Dario Malchiodi, Letizia Bonizzoni, Giulia Ruschioni	Classification of Pottery Fragments Described by Concentration of Chemical Elements.	ICIAP Workshops (1)	2022	DBLP DOI BibTeX RDF
13	Lucia Cascone, Piercarlo Dondi, Luca Lombardi, Fabio Narducci	Automatic Classification of Fresco Fragments: A Machine and Deep Learning Study.	ICIAP (1)	2022	DBLP DOI BibTeX RDF
13	Haneen A. Alharbi, Igor Barsukov, Rudi Grosman, Alexei Lisitsa 0001	Molecular Fragments from Incomplete, Real-life NMR Data: Framework for Spectra Analysis with Constraint Solvers.	ICAART (3)	2022	DBLP DOI BibTeX RDF
13	Daniel Schuster 0001, Niklas Föcking, Sebastiaan J. van Zelst, Wil M. P. van der Aalst	Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.	CoopIS	2022	DBLP DOI BibTeX RDF
13	Ritam Raha, Rajarshi Roy 0002, Nathanaël Fijalkow, Daniel Neider	Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.	TACAS (1)	2022	DBLP DOI BibTeX RDF
13	Sultan Almutairi, Athanasios Zolotas, Dimitris S. Kolovos	Towards round-trip engineering of code fragments embedded in models.	MoDELS (Companion)	2022	DBLP DOI BibTeX RDF
13	Massimo Benerecetti, Fabio Mogavero, Adriano Peron	Taming Strategy Logic: Non-Recurrent Fragments.	TIME	2022	DBLP DOI BibTeX RDF
13	Viktor Schlegel, Kamen V. Pavlov, Ian Pratt-Hartmann	Can Transformers Reason in Fragments of Natural Language?	EMNLP	2022	DBLP DOI BibTeX RDF
13	Christoffer Bøgelund Rasmussen, Kristian Kirk, Thomas B. Moeslund	SieveNet: Estimating the Particle Size Distribution of Kernel Fragments in Whole Plant Corn Silage.	VISIGRAPP (5: VISAPP)	2022	DBLP DOI BibTeX RDF
13	Roser Morante, Eleanor L. T. Smith, Lianne Wilhelmus, Alie Lassche, Erika Kuijpers	Identifying Copied Fragments in a 18th Century Dutch Chronicle.	LREC	2022	DBLP BibTeX RDF
13	Eugenio Vocaturo, Ester Zumpano	Assembling Fragments of Ancient Papyrus via Artificial Intelligence.	PerSOM	2022	DBLP DOI BibTeX RDF
13	Md Shamimur Rahman, Chanchal K. Roy	An Insight into the Reusability of Stack Overflow Code Fragments in Mobile Applications.	IWSC	2022	DBLP DOI BibTeX RDF
13	Antoine Pirrone	Apprentissage profond auto-supervisé de métriques : application à la prédiction d'assemblage de fragments de papyrus. (Self-supervised Deep Metric Learning applied to papyrus reconstruction).		2022	RDF
13	Kimball Germane, Jay McCarthy	Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
13	Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo	Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case.	Fundam. Informaticae	2021	DBLP DOI BibTeX RDF
13	Roy Abitbol, Ilan Shimshoni, Jonathan Ben-Dov	Machine Learning Based Assembly of Fragments of Ancient Papyrus.	ACM Journal on Computing and Cultural Heritage	2021	DBLP DOI BibTeX RDF
13	Wenmin Yao, Tong Chu, Wenlong Tang, Jingyu Wang, Xin Cao 0004, Fengjun Zhao, Kang Li 0005, Guohua Geng, Mingquan Zhou	SPPD: A Novel Reassembly Method for 3D Terracotta Warrior Fragments Based on Fracture Surface Information.	ISPRS Int. J. Geo Inf.	2021	DBLP DOI BibTeX RDF
13	Jinfeng Wen, Zhangbing Zhou, Fei Lei, Junsheng Zhang	Basic and personalized pattern-based workflow fragments discovery.	Pers. Ubiquitous Comput.	2021	DBLP DOI BibTeX RDF
13	Jie Liu, Xin Cao 0004, Pingchuan Zhang, Xueli Xu, Yangyang Liu, Guohua Geng, Fengjun Zhao, Kang Li 0005, Mingquan Zhou	AMS-Net: An Attention-Based Multi-Scale Network for Classification of 3D Terracotta Warrior Fragments.	Remote. Sens.	2021	DBLP DOI BibTeX RDF
13	Di Wu 0014, Xiao-Yuan Jing, Hongyu Zhang 0002, Bing Li, Yu Xie, Baowen Xu	Generating API tags for tutorial fragments from Stack Overflow.	Empir. Softw. Eng.	2021	DBLP DOI BibTeX RDF
13	Sajjad Nassirpour, Alireza Vahid	Embedded Codes for Reassembling Non-Overlapping Random DNA Fragments.	IEEE Trans. Mol. Biol. Multi Scale Commun.	2021	DBLP DOI BibTeX RDF
13	Umberto Rivieccio, Ramon Jansana	Quasi-Nelson algebras and fragments.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Vikas Chouhan, Sateesh Kumar Peddoju	Reliable verification of distributed encoded data fragments in the cloud.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
13	Rong Yang, Bing Li 0010, Zhengli Liu	Automatic Hierarchical Reinforcement Learning for Reusing Service Process Fragments.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Xuejian Gao, Xue Jiang, Qiong Wu, Xiao Wang, Lei Lyu, Chen Lyu	A Multi-Module Based Method for Generating Natural Language Descriptions of Code Fragments.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Hanshan Li, Xuewei Zhang, Xiaoqian Zhang, Junchai Gao	Warhead Fragments' Distribution Measurement Method by a Multiscreen Sensors' Intersection Test Mechanism and Equivalent Target Damage Probability Calculation.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
13	Pengkun Yin, Bin Hu, Qiang Li, Yixiang Duan, Qingyu Lin	Imaging of Tumor Boundary Based on Multielements and Molecular Fragments Heterogeneity in Lung Cancer.	IEEE Trans. Instrum. Meas.	2021	DBLP DOI BibTeX RDF
13	Cong Xu, Ting Liang, Fangrong Zhang, Jing Liu, Yunfeng Fu	tRNA-derived fragments as novel potential biomarkers for relapsed/refractory multiple myeloma.	BMC Bioinform.	2021	DBLP DOI BibTeX RDF
13	Theodoros Gaitanos	Description of (Hyper-)Fragments in Hadron-Induced Reactions.	Symmetry	2021	DBLP DOI BibTeX RDF
13	Changyeob Shin, Matthew J. Gerber, Yu-Hsiu Lee, Mercedes Rodriguez, Sahba Aghajani Pedram, Jean Pierre Hubschman, Tsu-Chin Tsao, Jacob Rosen 0001	Semi-Automated Extraction of Lens Fragments Via a Surgical Robot Using Semantic Segmentation of OCT Images With Deep Learning - Experimental Results in Ex Vivo Animal Model.	IEEE Robotics Autom. Lett.	2021	DBLP DOI BibTeX RDF
13	Alan E. Bilsland, Kirsten McAulay, Ryan West, Angelo Pugliese, Justin Bower	Automated Generation of Novel Fragments Using Screening Data, a Dual SMILES Autoencoder, Transfer Learning and Syntax Correction.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Masataka Yamauchi, Hisashi Okumura	Dimerization of α-Synuclein Fragments Studied by Isothermal-Isobaric Replica-Permutation Molecular Dynamics Simulation.	J. Chem. Inf. Model.	2021	DBLP DOI BibTeX RDF
13	Seyed Mohammad Bagheri	The isomorphism theorem for linear fragments of continuous logic.	Math. Log. Q.	2021	DBLP DOI BibTeX RDF
13	Gunter Fuchs	Canonical fragments of the strong reflection principle.	J. Math. Log.	2021	DBLP DOI BibTeX RDF
13	Gábor Mihály Tóth	Recovering and rendering silenced experiences of genocides: Testimonial fragments of the Holocaust.	Digit. Scholarsh. Humanit.	2021	DBLP DOI BibTeX RDF
13	Qinghua Zheng, Jun Liu 0002, Hongwei Zeng, Zhaotong Guo, Bei Wu, Bifan Wei	Knowledge forest: a novel model to organize knowledge fragments.	Sci. China Inf. Sci.	2021	DBLP DOI BibTeX RDF
13	Paul D. Donovan, Natalie M. McHale, Morten T. Venø, Jochen H. M. Prehn	tsRNAsearch: a pipeline for the identification of tRNA and ncRNA fragments from small RNA-sequencing data.	Bioinform.	2021	DBLP DOI BibTeX RDF
13	Yaroslav I. Petrukhin, Vasilyi Shangin	Correspondence Analysis for Some Fragments of Classical Propositional Logic.	Logica Universalis	2021	DBLP DOI BibTeX RDF
13	Reijo Jaakkola	Ordered fragments of first-order logic.	CoRR	2021	DBLP BibTeX RDF
13	Daisuke Nishioka, Toshihiro Kamiya	Towards Informative Tagging of Code Fragments to Support the Investigation of Code Clones.	CoRR	2021	DBLP BibTeX RDF
13	Rosanna Bellini, Alexander Wilson, Jan David Smeddinck	Fragments of the Past: Curating Peer Support with Perpetrators of Domestic Violence.	CoRR	2021	DBLP BibTeX RDF
13	Lars Heling, Maribel Acosta	A Framework for Federated SPARQL Query Processing over Heterogeneous Linked Data Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Youngtaek Kim, Hyeon Jeon, Kiroong Choe, Hyunjoo Song, Bo Hyoung Kim, Jinwook Seo	Interactive Visualization for Exploring Information Fragments in Software Repositories.	CoRR	2021	DBLP BibTeX RDF
13	Enes Altinisik, Hüsrev T. Sencar	Automatic Generation of H.264 Parameter Sets to Recover Video File Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Bishoy Dawood, Carlos Llosa-Vite, Geoffrey Z. Thompson, Barbara K. Lograsso, Lauren K. Claytor, John Vanderkolk, William Q. Meeker, Ranjan Maitra, Ashraf Bastawros	Quantitative Matching of Forensic Evidence Fragments Utilizing 3D Microscopy Analysis of Fracture Surface Replicas.	CoRR	2021	DBLP BibTeX RDF
13	Samson Abramsky, Dan Marsden	Comonadic semantics for hybrid logic and bounded fragments.	CoRR	2021	DBLP BibTeX RDF
13	Reijo Jaakkola	Uniform Guarded Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Jugal Garg, Edin Husic, Aniket Murhekar, László A. Végh	Tractable Fragments of the Maximum Nash Welfare Problem.	CoRR	2021	DBLP BibTeX RDF
13	Austin Clyde, Arvind Ramanathan, Rick Stevens	Scaffold Embeddings: Learning the Structure Spanned by Chemical Fragments, Scaffolds and Compounds.	CoRR	2021	DBLP BibTeX RDF
13	Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo	Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae.	CoRR	2021	DBLP BibTeX RDF
13	Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le	Validating Static Warnings via Testing Code Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Eetu Sjöblom, Mathias Creutz, Teemu Vahtola	Grammatical Error Generation Based on Translated Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Thomas Delva, Anastasia Dimou, Maxime Jakubowski, Jan Van den Bussche	Shape Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Florian Chudigiewitsch	Computational Complexity of Deciding Provability in Linear Logic and its Fragments.	CoRR	2021	DBLP BibTeX RDF
13	Iván García-Magariño, Moustafa M. Nasralla, Jaime Lloret 0001	A Repository of Method Fragments for Agent-Oriented Development of Learning-Based Edge Computing Systems.	IEEE Netw.	2021	DBLP DOI BibTeX RDF
13	Khawla Alghafli 0001, Chan Yeob Yeun, Ernesto Damiani	Techniques for Measuring the Probability of Adjacency between Carved Video Fragments: The VidCarve Approach.	IEEE Trans. Sustain. Comput.	2021	DBLP DOI BibTeX RDF
13	Fausto Barbero	Complexity of syntactical tree fragments of Independence-Friendly logic.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
13	Enes Altinisik, Hüsrev T. Sencar	Automatic Generation of H.264 Parameter Sets to Recover Video File Fragments.	IEEE Trans. Inf. Forensics Secur.	2021	DBLP DOI BibTeX RDF
13	Kang Yang, Xin Cao 0004, Guohua Geng, Kang Li 0005, Mingquan Zhou	Classification of 3D terracotta warriors fragments based on geospatial and texture information.	J. Vis.	2021	DBLP DOI BibTeX RDF
13		Texture Image Classification Method of Porcelain Fragments Based on Convolutional Neural Network.	Comput. Intell. Neurosci.	2021	DBLP DOI BibTeX RDF
13	Antoine Pirrone, Marie Beurton-Aimar, Nicholas Journet	Self-supervised deep metric learning for ancient papyrus fragments retrieval.	Int. J. Document Anal. Recognit.	2021	DBLP DOI BibTeX RDF
13	Kacper Kubicki, Pawel Kapusta, Krzysztof Slot	Presentation Attack Detection on Limited-Resource Devices Using Deep Neural Classifiers Trained on Consistent Spectrogram Fragments.	Sensors	2021	DBLP DOI BibTeX RDF
13	Supriya Pulparambil, Youcef Baghdadi, Camille Salinesi	A methodical framework for service oriented architecture adoption: Guidelines, building blocks, and method fragments.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
13	Rasmus Blanck	Hierarchical Incompleteness Results for Arithmetically Definable Extensions of Fragments of Arithmetic.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
13	Francois Berenger, Koji Tsuda	Molecular generation by Fast Assembly of (Deep)SMILES fragments.	J. Cheminformatics	2021	DBLP DOI BibTeX RDF
13	Marco Voigt	Decidable ∃ ∀ First-Order Fragments of Linear Rational Arithmetic with Uninterpreted Predicates.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
13	Mikhail N. Rybakov, Dmitry Shkatov	Complexity of finite-variable fragments of products with K.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
13	Mark de Berg	Removing Depth-Order Cycles Among Triangles: An Algorithm Generating Triangular Fragments.	Discret. Comput. Geom.	2021	DBLP DOI BibTeX RDF
13	Di Wu 0014, Xiao-Yuan Jing, Haowen Chen, Xiaohui Kong, Jifeng Xuan	Recommending Relevant Tutorial Fragments for API-Related Natural Language Questions.	Int. J. Softw. Eng. Knowl. Eng.	2021	DBLP DOI BibTeX RDF
13	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).	SC-Square@SIAM AG	2021	DBLP BibTeX RDF