Search results for "Templates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Adelinde M. Uhrmacher, Bernd G. Kullick	"Plug and test": software agents in virtual environments.	WSC	2000	DBLP DOI BibTeX RDF
12	Radek Grzeszczuk, Gary R. Bradski, Michael H. Chu, Jean-Yves Bouguet	Stereo Based Gesture Recognition Invariant to 3D Pose and Lighting.	CVPR	2000	DBLP DOI BibTeX RDF
12	Jintae Lee, Tung Bui 0001	A Template-based Methodology for Disaster Management Information Systems.	HICSS	2000	DBLP DOI BibTeX RDF
12	Angran Xiao, Janet K. Allen, David W. Rosen, Farrokh Mistree	A Method to Design Process Architecture in a Distributed Product Realization Environment.	WETICE	2000	DBLP DOI BibTeX RDF
12	Peter J. Funk, Ivica Crnkovic	Reuse, Validation and Verification of System Development Processes.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	system development processes, reuse, Case-Based Reasoning
12	Song Chen, Adam Postula, Lech Józwiak	Synthesis of XOR Storage Schemes with Different Cost for Minimization of Memory Contention.	EUROMICRO	1999	DBLP DOI BibTeX RDF
12	Carlo Montangero, Laura Semini	Composing Specifications for Coordination.	COORDINATION	1999	DBLP DOI BibTeX RDF
12	Dantong Yu, Lei Zhu 0013, Aidong Zhang, Ling Bian	GiView: A Multi-Resolution Geographical Data Retrieval System.	SSDBM	1999	DBLP DOI BibTeX RDF
12	Prateek Sarkar, George Nagy	Heeding More Than the Top Template.	ICDAR	1999	DBLP DOI BibTeX RDF	ranked list, Character recognition, template
12	Asuman Dogac, Ilker Durusoy, Sena Nural Arpinar, Nesime Tatbul, Pinar Koksal, Ibrahim Cingil, Nazife Dimililer	A Workflow-based Electronic Marketplace on the Web.	SIGMOD Rec.	1998	DBLP DOI BibTeX RDF
12	X. T. Nguyen	Insect vision based motion detection.	KES (2)	1998	DBLP DOI BibTeX RDF
12	Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer	The Template and Multiple Inheritance Approach into Attribute Grammars.	ICCL	1998	DBLP DOI BibTeX RDF	language specifications, attribute grammars, compiler Generators
12	François Noël, Luke Hornof, Charles Consel, Julia L. Lawall	Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study.	ICCL	1998	DBLP DOI BibTeX RDF	run-time specialization, partial evaluation
12	Vamsi Krishna, N. Ranganathan	A Methodology for High Level Power Estimation and Exploration.	Great Lakes Symposium on VLSI	1998	DBLP DOI BibTeX RDF	Low Power Designs, Power Estimation, Switching Activity, High Level Designs
12	Kajal T. Claypool, Jing Jin, Elke A. Rundensteiner	OQL_SERF: an ODMG implementation of the template-based schema evolution framework.	CASCON	1998	DBLP BibTeX RDF
12	David B. Stewart, Richard Volpe, Pradeep K. Khosla	Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	object-based design, port-automaton theory, software architecture, robotics, Dynamic reconfiguration, real-time operating system, evolutionary design, component-based design, reusable software, digital control systems
12	Pedro M. Q. Aguiar, José M. F. Moura	Detecting and Solving Template Ambiguities in Motion Segmentation.	ICIP (2)	1997	DBLP DOI BibTeX RDF	template ambiguities solution, template ambiguities detection, incremental motion segmentation, robot soccer video clip, maximum likelihood estimation, moving objects, image quality, minimization, color image, video signal processing, background, gray level image
12	Vladimir Levin, Doron A. Peled	Verification of Message Sequence Charts via Template Matching.	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	Pål Sørgaard, Tone Irene Sandahl	Problems with Styles inWord Processing: AWeak Foundation for Electronic Publishing with SGML.	HICSS (6)	1997	DBLP DOI BibTeX RDF
12	Marco Cavadini, Matthias Wosnitza, Markus Thaler, Gerhard Tröster	A Multiprocessor System for Real Time High Resolution Image Correlation.	ASAP	1997	DBLP DOI BibTeX RDF
12	David Cypher, Shukri Wakid	Nomadic Computing and CDMA.	FTDCS	1997	DBLP DOI BibTeX RDF
12	Bonnie J. Dorr, Mari Broman Olsen	Multilingual generation: The role of telicity in lexical choice and syntactic realization.	Mach. Transl.	1996	DBLP DOI BibTeX RDF	syntax-semantics interface, syntactic alternations, semantic classes, (a)telicity, multilingual generation, lexical conceptual structure, interlingua
12	Kenneth A. Ross	Tail Recursion Elimination in Deductive Databases.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	query optimization, deductive databases, magic sets, tail recursion
12	Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad	Fast, Effective Dynamic Compilation.	PLDI	1996	DBLP DOI BibTeX RDF
12	Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton	A Software Engineering Experiment in Software Component Generation.	ICSE	1996	DBLP BibTeX RDF	software component generation, usability, reliability, productivity, flexibility
12	Tyng-Luh Liu, Michael J. Donahue, Davi Geiger, Robert A. Hummel	Image Recognition with Occlusions.	ECCV (1)	1996	DBLP DOI BibTeX RDF
12	Irfan A. Essa, Alex Pentland	Facial Expression Recognition Using a Dynamic Model and Motion Energy.	ICCV	1995	DBLP DOI BibTeX RDF	motion energy, human psychologists, static facial mugshots, probabilistic characterization, facial muscle activation, detailed physical model, muscle based representation, facial motion, estimated muscle activations, spatio temporal motion energy template, biologically plausible motion energy, face recognition, motion estimation, probability, image recognition, physics based model, dynamic model, visual databases, video database, facial expression recognition, Facial Action Coding System
12	Margrit Betke, Nicholas C. Makris	Fast Object Recognition in Noisy Images Using Simulated Annealing.	ICCV	1995	DBLP DOI BibTeX RDF	fast object recognition, hypothesized object, normalized correlation coefficient, search time, navigating robot, complicated scenes, false positive matches, robust object recognition, object recognition, simulated annealing, simulated annealing, noise, image matching, image match, search problems, robot vision, noisy images, exhaustive search, traffic signs, real-world images
12	George R. Krupka	SRA: description of the SRA system as used for MUC-6.	MUC	1995	DBLP DOI BibTeX RDF
12	Lichan Hong, Xiaoyang Mao, Arie E. Kaufman	Interactive Visualization of Mixed Scalar and Vector Fields.	IEEE Visualization	1995	DBLP DOI BibTeX RDF
12	Ronald Jones, Imants D. Svalbe	Morphological Filtering as Template Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	binary morphology, pattern recognition, image processing, mathematical morphology, pipeline processing, pipeline processing, template matching, filtering and prediction theory, table lookup, lookup table, morphological filtering
12	Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen, A. Inkeri Verkamo	Finding Interesting Rules from Large Sets of Discovered Association Rules.	CIKM	1994	DBLP DOI BibTeX RDF
12	Deepak Kapur	An Automated Tool for Analyzing Completeness of Equational Specifications.	ISSTA	1994	DBLP DOI BibTeX RDF
12	Eduard H. Hovy	A New Level of Language Generation Technology: Capabilities and Possibilities.	IEEE Expert	1992	DBLP DOI BibTeX RDF
12	Lynette Hirschman	An adjunct test for discourse processing in MUC-4.	MUC	1992	DBLP DOI BibTeX RDF
12	Ajit Singh, Jonathan Schaeffer, Mark Green 0001	A Template-Based Approach to the Generation of Distributed Applications Using a Network of Workstations.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	distributed applications generation, template-based approach, RPC model, template attachment, sequential procedures, low-level code, correct synchronization, Unix-based workstation environments, scheduling, software engineering, parallel programming, distributed processing, programming environments, computational model, network of workstations, communication behavior
12	Ulf Nilsson	Abstract Interpretation: A Kind of Magic. (long version: TCS 142(1): 125-139 (1995))	PLILP	1991	DBLP DOI BibTeX RDF
12	Amy P. Felty	A Logic Programming Approach to Implementing Higher-Order Term Rewriting.	ELP	1991	DBLP DOI BibTeX RDF
12	Gary Perlman	Multilingual Programming: Coordinating Programs, User Interfaces, On-Line Help and Documentation.	SIGDOC	1985	DBLP DOI BibTeX RDF
12	Donald D. Chamberlin, Raymond F. Boyce	SEQUEL: A Structured English Query Language.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	SEQUEL, Information Retrieval, Query Languages, Data Manipulation Languages, Data Base Management Systems
12	Hao Zhang, Yan Piao, Nan Qi, Yue Wang	AtptTrack: Asymmetric Transformer Tracker With Prior Templates.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Shifeng Li, Yan Cheng, Liuyang Zhao, Yue Wang	Anomaly detection with multi-scale pyramid grid templates.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Merzouk Younsi, Samir Yesli, Moussa Diaf	Depth-based human action recognition using histogram of templates.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
12	Arslan Ali, Andrea Migliorati, Tiziano Bianchi, Enrico Magli	Cancelable templates for secure face verification based on deep learning and random projections.	EURASIP J. Inf. Secur.	2024	DBLP DOI BibTeX RDF
12	Geng Chen, Qingyue Wang, Islem Rekik	Metadata-Driven Federated Learning of Connectional Brain Templates in Non-IID Multi-Domain Scenarios.	CoRR	2024	DBLP DOI BibTeX RDF
12	Zhuowan Li, Bhavan Jasani, Peng Tang, Shabnam Ghadar	Synthesize Step-by-Step: Tools, Templates and LLMs as Data Generators for Reasoning-Based Chart VQA.	CoRR	2024	DBLP DOI BibTeX RDF
12	Kaifeng Lyu, Haoyu Zhao, Xinran Gu, Dingli Yu, Anirudh Goyal, Sanjeev Arora	Keeping LLMs Aligned After Fine-tuning: The Crucial Role of Prompt Templates.	CoRR	2024	DBLP DOI BibTeX RDF
12	Emanuele Musumeci, Michele Brienza, Vincenzo Suriani, Daniele Nardi, Domenico Daniele Bloisi	LLM Based Multi-Agent Generation of Semi-structured Documents from Semantic Templates in the Public Administration Domain.	CoRR	2024	DBLP DOI BibTeX RDF
12	Shaikh Quader, Andres Jaramillo, Sumona Mukhopadhyay, Ghadeer Abuoda, Calisto Zuzarte, David Kalmuk, Marin Litoiu, Manos Papagelis	LearnedWMP: Workload Memory Prediction Using Distribution of Query Templates.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yui Uehara	Unsupervised Learning of Harmonic Analysis Based on Neural HSMM with Code Quality Templates.	CoRR	2024	DBLP DOI BibTeX RDF
12	Abdulla Alfalasi, Esrat Khan, Mohamed Alhashmi, Raed Aldweik, Davor Svetinovic	SDXL Finetuned with LoRA for Coloring Therapy: Generating Graphic Templates Inspired by United Arab Emirates Culture.	CoRR	2024	DBLP DOI BibTeX RDF
12	Nafiseh Nikeghbal, Amir Hossein Kargaran, Abbas Heydarnoori	GIRT-Model: Automated Generation of Issue Report Templates.	CoRR	2024	DBLP DOI BibTeX RDF
12	Ching-Chih Chang, Teng-Wen Chang, Hsin-Yi Huang, Shih-Ting Tsai	Discovering semantic and visual hints with machine learning of real design templates to support insight exploration in informatics.	Adv. Eng. Informatics	2024	DBLP DOI BibTeX RDF
12	Zishuo Ding, Yiming Tang 0002, Xiaoyu Cheng, Heng Li 0007, Weiyi Shang	LoGenText-Plus: Improving Neural Machine Translation Based Logging Texts Generation with Syntactic Templates.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
12	Ce Gao, Kang Zhang, Weiwei Wang, Zhicheng X. Cao, Liaojun Pang, Eryun Liu, Heng Zhao 0001	Protected Face Templates Generation Based on Multiple Partial Walsh Transformations and Simhash.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
12	Tanguy Gernot, Christophe Rosenberger	Robust biometric scheme against replay attacks using one-time biometric templates.	Comput. Secur.	2024	DBLP DOI BibTeX RDF
12	May Mahmoud, Robert J. Walker, Jörg Denzinger	API usage templates via structural generalization.	J. Syst. Softw.	2024	DBLP DOI BibTeX RDF
12	Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari	Rethinking Answer Set Programming Templates.	PADL	2024	DBLP DOI BibTeX RDF
12	Shivani Balwani, Saurabh Tiwari 0001, Sourish Dasgupta, Akhilesh Sharma	An Approach for Providing Recommendation for Requirements Non-Conformant with Requirement Templates (RTs).	ISEC	2024	DBLP DOI BibTeX RDF
12	Xiaotong (Tone) Xu, Jiayu Yin, Catherine Gu, Jenny Mar, Sydney Zhang, Jane L. E, Steven P. Dow	Jamplate: Exploring LLM-Enhanced Templates for Idea Reflection.	IUI	2024	DBLP DOI BibTeX RDF
12	Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang	Compositional Verification of Concurrent C Programs with Search Structure Templates.	CPP	2024	DBLP DOI BibTeX RDF
12	Yun Peng, Shuzheng Gao, Cuiyun Gao, Yintong Huo, Michael R. Lyu	Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors.	ICSE	2024	DBLP DOI BibTeX RDF
12	Cynthya Letícia Teles de Oliveira, Alan Trindade de Almeida Silva, Jefferson Magalhães de Morais, Marcelle Pereira Mota	Accessible Bar Charts Through Textual Description Templates.	J. Braz. Comput. Soc.	2023	DBLP DOI BibTeX RDF
12	Shinan Lang, Guiqiang Li, Yi Liu, Wei Lu, Qunying Zhang, Kun Chao	A GAN-Based Augmentation Scheme for SAR Deceptive Jamming Templates with Shadows.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
12	Yulin Feng, Ajay Kumar 0001	BEST: Building evidences from scattered templates for accurate contactless palmprint recognition.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
12	Noura Aherrahrou, Hamid Tairi	A novel cancelable finger vein templates based on LDM and RetinexGan.	Pattern Recognit.	2023	DBLP DOI BibTeX RDF
12	Zhiyong An, Geng Chen, Ximin Zhang, Zhuhai Wang, Qingsong Xie, Bin Zhang	Learning the model update with local trusted templates for visual tracking.	IET Image Process.	2023	DBLP DOI BibTeX RDF
12	Anna Grubert, Martin Eimer	Do We Prepare for What We Predict? How Target Expectations Affect Preparatory Attentional Templates and Target Selection in Visual Search.	J. Cogn. Neurosci.	2023	DBLP DOI BibTeX RDF
12	Chih-Han Cheng, Ching-Te Chiu, Chia-Yu Kuan, Yu-Chi Su, Kuan-Hsien Liu, Tsung-Chan Lee, Jia-Lin Chen, Jie-Yu Luo, Wei-Chang Chung, Yao-Ren Chang, Kuan-Ying Ho	Multiple Training Stage Image Enhancement Enrolled With CCRGAN Pseudo Templates for Large Area Dry Fingerprint Recognition.	IEEE Access	2023	DBLP DOI BibTeX RDF
12	Sani M. Abdullahi, Shuifa Sun, Hongxia Wang 0001, Beng Wang	The reversibility of cancelable biometric templates based on iterative perturbation stochastic approximation strategy.	Pattern Recognit. Lett.	2023	DBLP DOI BibTeX RDF
12	Joana Frontera-Pons, Florent Sureau, Jérôme Bobin, Martin Kilbinger	Data-driven templates with dictionary learning and sparse representations for photometric redshift estimation.	Astron. Comput.	2023	DBLP DOI BibTeX RDF
12	Zhihao Hao, Bob Zhang 0001, Dianhui Mao, Jerome Yen, Zhihua Zhao, Min Zuo, Hai-Sheng Li 0002, Cheng-Zhong Xu 0001	A novel method using LSTM-RNN to generate smart contracts code templates for improved usability.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
12	Oytun Demirbilek, Islem Rekik, Alzheimer's Disease Neuroimaging Initiative	Predicting the evolution trajectory of population-driven connectional brain templates using recurrent multigraph neural networks.	Medical Image Anal.	2023	DBLP DOI BibTeX RDF
12	Yingjuan Wu, Abdur Raquib Ridwan, Mohammad Rakeen Niaz, David A. Bennett, Konstantinos Arfanakis	High resolution 0.5mm isotropic T1-weighted and diffusion tensor templates of the brain of non-demented older adults in a common space for the MIITRA atlas.	NeuroImage	2023	DBLP DOI BibTeX RDF
12	Tomer Libal	Legal linguistic templates and the tension between legal knowledge representation and reasoning.	Frontiers Artif. Intell.	2023	DBLP DOI BibTeX RDF
12	Shihua Li, Haobin Chen, Shijie Yu, Zhiqun He, Feng Zhu 0006, Rui Zhao 0001, Jie Chen 0012, Yu Qiao 0001	COCAS+: Large-Scale Clothes-Changing Person Re-Identification With Clothes Templates.	IEEE Trans. Circuits Syst. Video Technol.	2023	DBLP DOI BibTeX RDF
12	Tae-ho Shin, Dongjun Lee, Dongwhee Kim, Gaeryun Sung, Wookjin Shin, Yunseong Jo, Hyungjoo Park, Jaeduk Han	LAYGO2: A Custom Layout Generation Engine Based on Dynamic Templates and Grids for Advanced CMOS Technologies.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
12	Fandi Wu, Xiaoyang Jing, Xiao Luo, Jinbo Xu	Improving protein structure prediction using templates and sequence embedding.	Bioinform.	2023	DBLP DOI BibTeX RDF
12	Steven Grudman, J. Eduardo Fajardo, András Fiser	Optimal selection of suitable templates in protein interface prediction.	Bioinform.	2023	DBLP DOI BibTeX RDF
12	Aref Einizade, Sepideh Hajipour Sardouie	Learning Product Graphs From Spectral Templates.	IEEE Trans. Signal Inf. Process. over Networks	2023	DBLP DOI BibTeX RDF
12	Zhixing Li, Yue Yu 0001, Tao Wang 0006, Yan Lei, Ying Wang 0038, Huaimin Wang	To Follow or Not to Follow: Understanding Issue/Pull-Request Templates on GitHub.	IEEE Trans. Software Eng.	2023	DBLP DOI BibTeX RDF
12	Insu Jang, Zhenning Yang, Zhen Zhang, Xin Jin 0008, Mosharaf Chowdhury	Oobleck: Resilient Distributed Training of Large Models Using Pipeline Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Ashwani Anand, Satya Prakash Nayak, Anne-Kathrin Schmuck	Synthesizing Permissive Winning Strategy Templates for Parity Games.	CoRR	2023	DBLP DOI BibTeX RDF
12	Anastasiia Birillo, Elizaveta Artser, Yaroslav Golubev, Maria Tigina, Hieke Keuning, Nikolay Vyahhi, Timofey Bryksin	Detecting Code Quality Issues in Pre-written Templates of Programming Tasks in Online Courses.	CoRR	2023	DBLP DOI BibTeX RDF
12	Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann	Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Jingru Fu, Daniel Ferreira 0003, Örjan Smedby, Rodrigo Moreno	A deformation-based morphometry framework for disentangling Alzheimer's disease from normal aging using learned normal aging templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Tal Ben-Nun, Lukas Gianinazzi, Torsten Hoefler, Yishai Oltchik	Maximum Flows in Parametric Graph Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yun Peng, Shuzheng Gao, Cuiyun Gao, Yintong Huo, Michael R. Lyu	Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari	Rethinking Answer Set Programming Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Zimin Chen, Malgorzata Salawa, Manushree Vijayvergiya, Goran Petrovic, Marko Ivankovic, René Just	MuRS: Mutant Ranking and Suppression using Identifier Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Pallavi Bagga, Kostas Stathis	Towards Explainable Strategy Templates using NLP Transformers.	CoRR	2023	DBLP DOI BibTeX RDF
12	Hatef Otroshi-Shahreza, Pietro Melzi, Dailé Osorio Roig, Christian Rathgeb, Christoph Busch 0001, Sébastien Marcel, Ruben Tolosana, Rubén Vera-Rodríguez	Benchmarking of Cancelable Biometrics for Deep Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Nafiseh Nikeghbal, Amir Hossein Kargaran, Abbas Heydarnoori, Hinrich Schütze	GIRT-Data: Sampling GitHub Issue Report Templates.	CoRR	2023	DBLP DOI BibTeX RDF
12	Filip Pavicic	Recognizing student identification numbers from the matrix templates using a modified U-net architecture.	CoRR	2023	DBLP DOI BibTeX RDF
12	Yuan Xie, Jiawei Ren, Ji Xu	Underwater-Art: Expanding Information Perspectives With Text Templates For Underwater Acoustic Target Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
12	Mikolaj Sacha, Michal Sadowski, Piotr Kozakowski, Ruard van Workum, Stanislaw Jastrzebski	Molecule-Edit Templates for Efficient and Accurate Retrosynthesis Prediction.	CoRR	2023	DBLP DOI BibTeX RDF
12	Neil D. Glossop, Reto Bale, Sheng Xu 0001, William F. Pritchard, John W. Karanian, Bradford J. Wood	Patient-specific needle guidance templates drilled intraprocedurally for image guided intervention: feasibility study in swine.	Int. J. Comput. Assist. Radiol. Surg.	2023	DBLP DOI BibTeX RDF
12	Mayada Tarek	Face Templates Encryption Technique Based on Random Projection and Deep Learning.	Comput. Syst. Sci. Eng.	2023	DBLP DOI BibTeX RDF
12	Brecht Vandevoort, Bas Ketsman, Christoph Koch 0001, Frank Neven	Robustness against Read Committed for Transaction Templates with Functional Constraints.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
12	Marco Bombieri, Daniele Meli, Diego Dall'Alba, Marco Rospocher, Paolo Fiorini	Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain.	Appl. Intell.	2023	DBLP DOI BibTeX RDF