Search results for "Instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Jian-Qing Zheng, Xiao-Yun Zhou, Celia V. Riga, Guang-Zhong Yang	Real-Time 3-D Shape Instantiation for Partially Deployed Stent Segments From a Single 2-D Fluoroscopic Image in Fenestrated Endovascular Aortic Repair.	IEEE Robotics Autom. Lett.	2019	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Zhao-Yang Wang, Peichao Li, Jian-Qing Zheng, Guang-Zhong Yang	One-stage Shape Instantiation from a Single 2D Image to 3D Point Cloud.	CoRR	2019	DBLP BibTeX RDF
17	Zhao-Yang Wang, Xiao-Yun Zhou, Peichao Li, Celia V. Riga, Guang-Zhong Yang	Instantiation-Net: 3D Mesh Reconstruction from Single 2D Image for Right Ventricle.	CoRR	2019	DBLP BibTeX RDF
17	Jian-Qing Zheng, Xiao-Yun Zhou, Guang-Zhong Yang	Real-time 3D Shape Instantiation for Partially-deployed Stent Segment from a Single 2D Fluoroscopic Image in Robot-assisted Fenestrated Endovascular Aortic Repair.	CoRR	2019	DBLP BibTeX RDF
17	Idris Badmus, Marja Matinmikko-Blue, Jaspreet Singh Walia, Tarik Taleb	Network Slice Instantiation for 5G Micro-Operator Deployment Scenario.	CoRR	2019	DBLP BibTeX RDF
17	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Andrey Jivsov	A concrete instantiation of Bulletproof zero-knowledge proof.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Keitaro Hashimoto, Wakaha Ogata, Toi Tomita	Tight reduction for generic construction of certificateless signature and its instantiation from DDH assumption.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
17	Long Zeng, Zhi-Kai Dong, Jia-yi Yu, Jun Hong, Hong-Yu Wang	Sketch-based Retrieval and Instantiation of Parametric Parts.	Comput. Aided Des.	2019	DBLP DOI BibTeX RDF
17	San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang	Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation.	Comput. J.	2019	DBLP DOI BibTeX RDF
17	Mijalche Santa, Geert Poels	Atlas Framework for integral Enterprise modelling - Instantiation for Dynamic Capabilities modelling.	ECIS	2019	DBLP BibTeX RDF
17	Ayan Palchaudhuri, Anindya Sundar Dhar	FPGA Fabric Conscious Design and Implementation of Speed-Area Efficient Signed Digit Add-Subtract Logic through Primitive Instantiation.	ACSSC	2019	DBLP DOI BibTeX RDF
17	Giuliano Losa, Eli Gafni, David Mazières	Stellar Consensus by Instantiation.	DISC	2019	DBLP DOI BibTeX RDF
17	Idris Badmus, Marja Matinmikko-Blue, Jaspreet Singh Walia, Tarik Taleb	Network Slice Instantiation for 5G Micro-Operator Deployment Scenarios.	EuCNC	2019	DBLP DOI BibTeX RDF
17	Pei Zhang 0013, Denis Cavallucci, Cecilia Zanni-Merk	A New Way to Classify Physical Effects for Ontology Instantiation.	TFC	2019	DBLP DOI BibTeX RDF
17	Mark A. Miller, Christian J. Stoeckert Jr.	A Collaborative, Realism-Based, Electronic Healthcare Graph: Public Data, Common Data Models, and Practical Instantiation.	ICBO	2019	DBLP BibTeX RDF
17	Shweta Agrawal	Indistinguishability Obfuscation Without Multilinear Maps: New Methods for Bootstrapping and Instantiation.	EUROCRYPT (1)	2019	DBLP DOI BibTeX RDF
17	Taejune Park, Yeonkeun Kim, Vinod Yegneswaran, Phillip A. Porras, Zhaoyan Xu, KyoungSoo Park, Seungwon Shin	DPX: Data-Plane eXtensions for SDN Security Service Instantiation.	DIMVA	2019	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Zhao-Yang Wang, Peichao Li, Jian-Qing Zheng, Guang-Zhong Yang	One-Stage Shape Instantiation from a Single 2D Image to 3D Point Cloud.	MICCAI (4)	2019	DBLP DOI BibTeX RDF
17	Keita Emura, Shuichi Katsumata, Yohei Watanabe 0001	Identity-Based Encryption with Security Against the KGC: A Formal Model and Its Instantiation from Lattices.	ESORICS (2)	2019	DBLP DOI BibTeX RDF
17	Jens Kosiol, Lars Fritsche, Andy Schürr, Gabriele Taentzer	Adhesive Subcategories of Functor Categories with Instantiation to Partial Triple Graphs.	ICGT	2019	DBLP DOI BibTeX RDF
17	Martin Riener	Experimenting with Theory Instantiation in Vampire.	Vampire	2019	DBLP BibTeX RDF
17	Anna S. Kefala	Quality of learner experience in technology-enhanced learning: a reference layered framework, model instantiation guidelines and empirical Investigation		2019	RDF
17	Zaid Jafer Fadil Al-Bayati	Coupling ontology with reference architectures to facilitate the instantiation process of software system architectures.		2019	RDF
17	Wael Farid Youssef	Instantiation of a textual description schema of video surveillance scenes. (Instanciation d'un schéma de description textuel de scènes de vidéo surveillance).		2019	RDF
17	Colin Atkinson 0001, Thomas Kühne 0001	Deep Instantiation.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
17	Christof Löding, P. Madhusudan, Lucas Peña	Foundations for natural proofs and quantifier instantiation.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Guang-Zhong Yang, Su-Lin Lee	A real-time and registration-free framework for dynamic shape instantiation.	Medical Image Anal.	2018	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Jianyu Lin, Celia V. Riga, Guang-Zhong Yang, Su-Lin Lee	Real-Time 3-D Shape Instantiation From Single Fluoroscopy Projection for Fenestrated Stent Graft Deployment.	IEEE Robotics Autom. Lett.	2018	DBLP DOI BibTeX RDF
17	Hui Fang 0002, Jie Zhang 0002, Murat Sensoy	A generalized stereotype learning approach and its instantiation in trust modeling.	Electron. Commer. Res. Appl.	2018	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Guang-Zhong Yang, Su-Lin Lee	A Real-time and Registration-free Framework for Dynamic Shape Instantiation.	CoRR	2018	DBLP BibTeX RDF
17	Abhijeet Gupta, Gemma Boleda, Sebastian Padó	Instantiation.	CoRR	2018	DBLP BibTeX RDF
17	Niklas Carlsson, Derek L. Eager	Caching in the Clouds: Optimized Dynamic Cache Instantiation in Content Delivery Systems.	CoRR	2018	DBLP BibTeX RDF
17	San Ling, Khoa Nguyen 0002, Huaxiong Wang, Juanyang Zhang	Server-Aided Revocable Predicate Encryption: Formalization and Lattice-Based Instantiation.	CoRR	2018	DBLP BibTeX RDF
17	Paolo Pistone	Proof nets and the instantiation overflow property.	CoRR	2018	DBLP BibTeX RDF
17	David Derler, Sebastian Ramacher, Daniel Slamanig	Generic Double-Authentication Preventing Signatures and a Post-Quantum Instantiation.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
17	Shweta Agrawal	New Methods for Indistinguishability Obfuscation: Bootstrapping and Instantiation.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
17	Martin G. Skjæveland, Daniel P. Lupp, Leif Harald Karlsen, Henrik Forssell	Practical Ontology Pattern Instantiation, Discovery, and Maintenance with Reasonable Ontology Templates.	ISWC (1)	2018	DBLP DOI BibTeX RDF
17	Martin G. Skjæveland, Leif Harald Karlsen, Daniel P. Lupp	Practical Ontology Pattern Instantiation, Discovery, and Maintanence with Reasonable Ontology Templates - Demo paper.	ISWC (P&D/Industry/BlueSky)	2018	DBLP BibTeX RDF
17	Xiao-Yun Zhou, Celia V. Riga, Su-Lin Lee, Guang-Zhong Yang	Towards Automatic 3D Shape Instantiation for Deployed Stent Grafts: 2D Multiple-class and Class-imbalance Marker Segmentation with Equally-weighted Focal U-Net.	IROS	2018	DBLP DOI BibTeX RDF
17	Matthias Walter	Approach to IS Solution Design and Instantiation for Practice-Oriented Research - A Design Science Research Perspective.	AITM/ISM@FedCSIS	2018	DBLP DOI BibTeX RDF
17	Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Luis Javier García-Villalba	Detecting Workload-based and Instantiation-based Economic Denial of Sustainability on 5G environments.	ARES	2018	DBLP DOI BibTeX RDF
17	Andrew Reynolds 0001, Haniel Barbosa, Pascal Fontaine	Revisiting Enumerative Instantiation.	TACAS (2)	2018	DBLP DOI BibTeX RDF
17	Giles Reger, Martin Suda 0001, Andrei Voronkov	Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning.	TACAS (1)	2018	DBLP DOI BibTeX RDF
17	Ivan Jovanovikj, Enes Yigitbas, Stefan Sauer 0001	Test Case Migration: A Reference Process Model and its Instantiation in an Industrial Context.	Modellierung (Workshops)	2018	DBLP BibTeX RDF
17	Francisco-Javier Moreno-Muro, César San Nicolás Martínez, E. Martin-Seoane, Miquel Garrich, Pablo Pavón-Mariño, Óscar González de Dios, Víctor López 0001	Joint Optimal Service Chain Allocation, VNF instantiation and Metro Network Resource Management Demonstration.	OFC	2018	DBLP BibTeX RDF
17	Hiroaki Anada	Detailed Instantiation of the Decentralized Multi-Authority Anonymous Authentication Scheme and Tighter Reduction for Security.	CANDAR	2018	DBLP DOI BibTeX RDF
17	David Derler, Sebastian Ramacher, Daniel Slamanig	Generic Double-Authentication Preventing Signatures and a Post-quantum Instantiation.	ProvSec	2018	DBLP DOI BibTeX RDF
17	Francisco García-Sánchez 0001, José Antonio García-Díaz, Juan Miguel Gómez-Berbís, Rafael Valencia-García	Financial Knowledge Instantiation from Semi-structured, Heterogeneous Data Sources.	CSOS (2)	2018	DBLP DOI BibTeX RDF
17	Sushant Agarwal, Simon Steyskal, Franjo Antunovic, Sabrina Kirrane	Legislative Compliance Assessment: Framework, Model and GDPR Instantiation.	APF	2018	DBLP DOI BibTeX RDF
17	Enea Parimbelli, Szymon Wilk, Stephen P. Kingwell, Pavel Andreev, Wojtek Michalowski	Shared Decision-Making Ontology for a Healthcare Team Executing a Workflow, an Instantiation for Metastatic Spinal Cord Compression Management.	AMIA	2018	DBLP BibTeX RDF
17	Annemarie Borg, Ofer Arieli	Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5.	AAMAS	2018	DBLP BibTeX RDF
17	Francisco-Javier Moreno-Muro, César San Nicolás Martínez, Miquel Garrich, Pablo Pavón-Mariño, Óscar González de Dios, Rafael A. López da Silva	Latency-Aware Optimization of Service Chain Allocation with Joint VNF Instantiation and SDN Metro Network Control.	ECOC	2018	DBLP DOI BibTeX RDF
17	Juan Manuel Martinez Caamaño, Manuel Selva, Philippe Clauss, Artyom Baloian, Willy Wolff	Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
17	Shahab Pourtalebi, Imre Horváth	Information schema constructs for instantiation and composition of system manifestation features.	Frontiers Inf. Technol. Electron. Eng.	2017	DBLP DOI BibTeX RDF
17	Andrew Reynolds 0001, Tim King 0001, Viktor Kuncak	Solving quantified linear arithmetic by counterexample-guided instantiation.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
17	Xiao-Yun Zhou, Jianyu Lin, Celia V. Riga, Guang-Zhong Yang, Su-Lin Lee	Real-time 3D Shape Instantiation from Single Fluoroscopy Projection for Fenestrated Stent Graft Deployment.	CoRR	2017	DBLP BibTeX RDF
17	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	CoRR	2017	DBLP BibTeX RDF
17	Leonardo Vieira Barcelos, Rosângela Dellosso Penteado	Elaboration of software requirements documents by means of patterns instantiation.	J. Softw. Eng. Res. Dev.	2017	DBLP DOI BibTeX RDF
17	Flavio Esposito	Catena: A distributed architecture for robust service function chain instantiation with guarantees.	NetSoft	2017	DBLP DOI BibTeX RDF
17	Christian Dietrich 0001, Daniel Lohmann	OSEK-V: application-specific RTOS instantiation in hardware.	LCTES	2017	DBLP DOI BibTeX RDF
17	Martin G. Skjæveland, Henrik Forssell, Johan W. Klüwer, Daniel P. Lupp, Evgenij Thorstensen, Arild Waaler	Pattern-Based Ontology Design and Instantiation with Reasonable Ontology Templates.	WOP@ISWC	2017	DBLP BibTeX RDF
17	Delacyr Almeida Monteiro Ferreira, Débora Maria Barroso Paiva, Maria Istela Cagnin	BPL-Framework 2.0: Support tool for Creation and Instantiation of Business Process Lines.	SEKE	2017	DBLP DOI BibTeX RDF
17	Soumia Zellagui, Chouki Tibermacine, Hinde-Lilia Bouziane, Abdelhak-Djamel Seriai, Christophe Dony	Refactoring Object-Oriented Applications towards a better Decoupling and Instantiation Unanticipation.	SEKE	2017	DBLP DOI BibTeX RDF
17	Walter Terkaj	OntoGui: A Graphical User Interface for Rapid Instantiation of OWL Ontologies.	JOWO	2017	DBLP BibTeX RDF
17	Kushan Sudheera Kalupahana Liyanage, Maode Ma, Peter Han Joo Chong	Efficient Flow Instantiation via Source Routing in Software Defined Vehicular Networks.	VTC Fall	2017	DBLP DOI BibTeX RDF
17	Damiano Arena, Dimitris Kiritsis	A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models.	PLM	2017	DBLP DOI BibTeX RDF
17	Annemarie Borg, Ofer Arieli, Christian Straßer	Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.	TAFA	2017	DBLP DOI BibTeX RDF
17	Marcel Essig, Kurt Franz Ackermann	On-demand instantiation of co-processors on dynamically reconfigurable FPGAs.	ReCoSoC	2017	DBLP DOI BibTeX RDF
17	Feng Feng 0004, Tony Stockman	An investigation of dynamic crossmodal instantiation in TUIs.	ICMI	2017	DBLP DOI BibTeX RDF
17	Richard P. Smiraglia	Data and Metadata Instantiation: Use Cases and a Conceptual Model.	Dublin Core Conference	2017	DBLP BibTeX RDF
17	Dong Yan, Linjie Pan 0001, Rongjie Yan, Jun Yan 0009, Jian Zhang 0001	Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
17	Michael Anderson 0001, Susan Leigh Anderson, Vincent Berenz	A Value Driven Agent: Instantiation of a Case-Supported Principle-Based Behavior Paradigm.	AAAI Workshops	2017	DBLP BibTeX RDF
17	Hassan Hawilo, Manar Jammal, Abdallah Shami	Orchestrating network function virtualization platform: Migration or re-instantiation?	CloudNet	2017	DBLP DOI BibTeX RDF
17	Yotam M. Y. Feldman, Oded Padon, Neil Immerman, Mooly Sagiv, Sharon Shoham	Bounded Quantifier Instantiation for Checking Inductive Invariants.	TACAS (1)	2017	DBLP DOI BibTeX RDF
17	Bernd Neumayr, Christoph G. Schuetz, Christian Horner, Michael Schrefl	DeepRuby: Extending Ruby with Dual Deep Instantiation.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
17	Bruno Sofiato, Ricardo Luis de Azevedo da Rocha	On the adaptive instantiation of type-specific collections.	ANT/SEIT	2017	DBLP DOI BibTeX RDF
17	Ayan Palchaudhuri, Anindya Sundar Dhar	Primitive Instantiation Based Fault Localization Circuitry for High Performance FPGA Designs.	VDAT	2017	DBLP DOI BibTeX RDF
17	Andrew Reynolds 0001	Quantifier Instantiation Beyond E-Matching.	SMT	2017	DBLP BibTeX RDF
17	Giles Reger, Martin Suda 0001, Andrei Voronkov	Instantiation and Pretending to be an SMT Solver with Vampire.	SMT	2017	DBLP BibTeX RDF
17	Haniel Barbosa	New techniques for instantiation and proof production in SMT solving. (Nouvelles techniques pour l'instanciation et la production des preuves dans SMT).		2017	RDF
17	Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez	A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
17	Leonardo Richter Bays, Rodrigo Ruas Oliveira, Luciana S. Buriol, Marinho P. Barcellos, Luciano Paschoal Gaspary	A toolset for efficient privacy-oriented virtual network embedding and its instantiation on SDN/OpenFlow-based substrates.	Comput. Commun.	2016	DBLP DOI BibTeX RDF
17	Keita Emura, Jae Hong Seo, Taek-Young Youn	Semi-Generic Transformation of Revocable Hierarchical Identity-Based Encryption and Its DBDH Instantiation.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Dov M. Gabbay	Theory of Semi-Instantiation in Abstract Argumentation.	Logica Universalis	2016	DBLP DOI BibTeX RDF
17	Akim Demaille	Runtime Template Instantiation for C++.	CoRR	2016	DBLP BibTeX RDF
17	Bruno Dinis, Gilda Ferreira	Instantiation overflow.	Reports Math. Log.	2016	DBLP BibTeX RDF
17	Sedat Akleylek, Nina Bindel, Johannes Buchmann 0001, Juliane Krämer, Giorgia Azzurra Marson	An Efficient Lattice-Based Signature Scheme with Provably Secure Instantiation.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
17	Nishant Totla, Thomas Wies	Complete Instantiation-Based Interpolation.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
17	Guillaume Babin, Yamine Aït Ameur, Marc Pantel	Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-Based Approach.	HASE	2016	DBLP DOI BibTeX RDF
17	Zoltán Theisz, Gergely Mezei	Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Terje Gjøsæter, Andreas Prinz 0001, Jan Pettersen Nytun	MOF-VM: Instantiation Revisited.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Cuong Pham 0004, Dat Tang, Ken-ichi Chinen, Razvan Beuran	CyRIS: a cyber range instantiation system for facilitating security training.	SoICT	2016	DBLP DOI BibTeX RDF
17	Karl Hammar, Valentina Presutti	Template-Based Content ODP Instantiation.	WOP@ISWC	2016	DBLP DOI BibTeX RDF
17	Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi	Automated instantiation of side-channel attacks countermeasures for software cipher implementations.	Conf. Computing Frontiers	2016	DBLP DOI BibTeX RDF
17	Franz Baader, Pierre Ludmann	The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary.	UNIF	2016	DBLP BibTeX RDF
17	Iris Reinhartz-Berger, Anna Zamansky, Yair Wand	An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation.	ER	2016	DBLP DOI BibTeX RDF
17	Junyi Jessy Li, Ani Nenkova	The Instantiation Discourse Relation: A Corpus Analysis of Its Properties and Improved Detection.	HLT-NAACL	2016	DBLP DOI BibTeX RDF
17	Vladimir Lifschitz	Intelligent Instantiation and Supersafe Rules.	ICLP (Technical Communications)	2016	DBLP DOI BibTeX RDF
17	Jesper Buus Nielsen, Samuel Ranellucci	Reactive Garbling: Foundation, Instantiation, Application.	ASIACRYPT (2)	2016	DBLP DOI BibTeX RDF