Search results for "Instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Andrew Reynolds 0001	Conflicts, Models and Heuristics for Quantifier Instantiation in SMT.	Vampire@IJCAR	2016	DBLP DOI BibTeX RDF
17	Haniel Barbosa	Efficient Instantiation Techniques in SMT (Work In Progress).	PAAR@IJCAR	2016	DBLP BibTeX RDF
17	Shaoping Zheng, Xiujiao Gao, Hongfang Yu	Virtual network function instantiation and service function chaining mapping in Wide Area Network.	ICCC	2016	DBLP DOI BibTeX RDF
17	André L. Santos 0001, Duarte Coelho	Java Extensions for Design Pattern Instantiation.	ICSR	2016	DBLP DOI BibTeX RDF
17	Eric Costa, António Lucas Soares, Jorge Pinho de Sousa	Situating Case Studies Within the Design Science Research Paradigm: An Instantiation for Collaborative Networks.	PRO-VE	2016	DBLP DOI BibTeX RDF
17	Petra Kubincová, Ján Kluka, Martin Homola	Expressive Description Logic with Instantiation Metamodelling.	KR	2016	DBLP BibTeX RDF
17	Panos Kyriakakis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou, Stelios Xinogalos	Evolution of method invocation and object instantiation patterns in a PHP ecosystem.	PCI	2016	DBLP DOI 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.	AFRICACRYPT	2016	DBLP DOI BibTeX RDF
17	Cheng-Liang Hsieh, Ning Weng	Virtual Network Functions Instantiation on SDN Switches for Policy-Aware Traffic Steering.	ANCS	2016	DBLP DOI BibTeX RDF
17	Guozhen Cheng, Hongchang Chen, Hongchao Hu, Zhiming Wang, Julong Lan	Enabling network function combination via service chain instantiation.	Comput. Networks	2015	DBLP DOI BibTeX RDF
17	Daniel Racoceanu, Frédérique Capron	Towards semantic-driven high-content image analysis: An operational instantiation for mitosis detection in digital histopathology.	Comput. Medical Imaging Graph.	2015	DBLP DOI BibTeX RDF
17	Pawel Garbacz	A New Perspective on Instantiation.	Libr. Trends	2015	DBLP DOI BibTeX RDF
17	Andrew Reynolds 0001, Morgan Deters, Viktor Kuncak, Clark W. Barrett, Cesare Tinelli	On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4.	CoRR	2015	DBLP BibTeX RDF
17	Andrew Reynolds 0001, Tim King 0001, Viktor Kuncak	An Instantiation-Based Approach for Solving Quantified Linear Arithmetic.	CoRR	2015	DBLP BibTeX RDF
17	Dov M. Gabbay	Theory of Semi-Instantiation in Abstract Argumentation.	CoRR	2015	DBLP BibTeX RDF
17	Óscar González de Dios, Ramon Casellas, Roberto Morro, Francesco Paolucci, Víctor López 0001, Ricardo Martínez 0001, Raúl Muñoz 0001, Ricard Vilalta, Piero Castoldi	Multipartner Demonstration of BGP-LS-Enabled Multidomain EON Control and Instantiation With H-PCE [Invited].	JOCN	2015	DBLP DOI BibTeX RDF
17	Kristian Gjøsteen, Anders Smedstuen Lund	The Norwegian Internet Voting Protocol: A new Instantiation.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
17	Zahra Movahedi, Walid Gaaloul, Sami Bhiri, Bruno Defude	Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation.	Comput. J.	2015	DBLP DOI BibTeX RDF
17	Rohit Kumar 0001, Gregory K. W. K. Chung, Ayesha Madni, R. Bruce Roberts	First Evaluation of the Physics Instantiation of a Problem-Solving-Based Online Learning Platform.	AIED	2015	DBLP DOI BibTeX RDF
17	Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, Clémentine Nebut	Instantiation of Meta-models Constrained with OCL - A CSP Approach.	MODELSWARD	2015	DBLP DOI BibTeX RDF
17	Andrew Reynolds 0001, Morgan Deters, Viktor Kuncak, Cesare Tinelli, Clark W. Barrett	Counterexample-Guided Quantifier Instantiation for Synthesis in SMT.	CAV (2)	2015	DBLP DOI BibTeX RDF
17	Ingo Weber, Mostafa Farshchi, Jan Mendling, Jean-Guy Schneider	Mining processes with multi-instantiation.	SAC	2015	DBLP DOI BibTeX RDF
17	Eliomar Campos, Rúbens de Souza Matos Júnior, Paulo R. M. Maciel, Igor Costa, Francisco Airton Silva, Francisco Vieira de Souza	Performance Evaluation of Virtual Machines Instantiation in a Private Cloud.	SERVICES	2015	DBLP DOI BibTeX RDF
17	Raquel Fialho de Queiroz Lafetá, Marcelo de Almeida Maia, David Röthlisberger	Framework instantiation using cookbooks constructed with static and dynamic analysis.	ICPC	2015	DBLP DOI BibTeX RDF
17	Jing Xu, Yu Lei 0001, Richard H. Carver, David Chenho Kung	A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.	ICST	2015	DBLP DOI BibTeX RDF
17	Zakarea Alshara, Abdelhak-Djamel Seriai, Chouki Tibermacine, Hinde-Lilia Bouziane, Christophe Dony, Anas Shatnawi	Migrating large object-oriented Applications into component-based ones: instantiation and inheritance transformation.	GPCE	2015	DBLP DOI BibTeX RDF
17	Amel Hannech, Mehdi Adda, Hamid Mcheick	Multi-space Projection Based Search Engine: Theoretical Model Instantiation and Prototype.	DEXA Workshops	2015	DBLP DOI BibTeX RDF
17	Nils Timm, Stefan Gruner	Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking.	SBMF	2015	DBLP DOI BibTeX RDF
17	Zoltán Theisz, Gergely Mezei	An Algebraic Instantiation Technique Illustrated by Multilevel Design Patterns.	MULTI@MoDELS	2015	DBLP BibTeX RDF
17	Christian Thomas Ruf, Andrea Back, Richard Bergmann, Michael Schlegel	Elicitation of Requirements for the Design of Mobile Financial Advisory Services - Instantiation and Validation of the Requirement Data Model with a Multi-method Approach.	HICSS	2015	DBLP DOI BibTeX RDF
17	Ahmed M. Medhat, Giuseppe Carella, Christian Lück, Marius Iulian Corici, Thomas Magedanz	Near optimal service function path instantiation in a multi-datacenter environment.	CNSM	2015	DBLP DOI BibTeX RDF
17	Roman Lukyanenko, Joerg Evermann, Jeffrey Parsons	Guidelines for Establishing Instantiation Validity in IT Artifacts: A Survey of IS Research.	DESRIST	2015	DBLP DOI BibTeX RDF
17	Petra Kubincová, Ján Kluka, Martin Homola	Towards Expressive Metamodelling with Instantiation.	Description Logics	2015	DBLP BibTeX RDF
17	Raouia Triki, Camille Salinesi, Raúl Mazo	Three strategies to specify multi-instantiation in product lines.	RCIS	2015	DBLP DOI BibTeX RDF
17	Andreas Teucke, Christoph Weidenbach	First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation.	FroCos	2015	DBLP DOI BibTeX RDF
17	Sunit Bhalotia, Jörg Kienzle	Reusable Model Interfaces with Instantiation Cardinalities.	ECMFA	2015	DBLP DOI BibTeX RDF
17	Jehad Al Dallal	Effects of incorporating special methods into cohesion measurement on class instantiation reuse-proneness prediction.	IET Softw.	2014	DBLP DOI BibTeX RDF
17	James D. Moreland Jr., Shahram Sarkani, Thomas A. Mazzuchi	Service-Oriented Architecture (SOA) Instantiation within a Hard Real-Time, Deterministic Combat System Environment.	Syst. Eng.	2014	DBLP DOI BibTeX RDF
17	Souhila Kaci, Christophe Labreuche	Valued preference-based instantiation of argumentation frameworks with varied strength defeats.	Int. J. Approx. Reason.	2014	DBLP DOI BibTeX RDF
17	Lara Quijano Sánchez, Juan A. Recio-García, Belén Díaz-Agudo	A Reusable Methodology for the Instantiation of Social Recommender Systems.	Int. J. Artif. Intell. Tools	2014	DBLP DOI BibTeX RDF
17	Thomas Martin Deserno, Daniel Haak, Vincent Brandenburg, Verena Deserno, Christoph Classen, Paula Specht	Integrated Image Data and Medical Record Management for Rare Disease Registries. A General Framework and its Instantiation to the German Calciphylaxis Registry.	J. Digit. Imaging	2014	DBLP DOI BibTeX RDF
17	Helder Pereira Borges, José Neuman de Souza, Bruno Schulze, Antonio Roberto Mury	Automatic services instantiation based on a process specification.	J. Netw. Comput. Appl.	2014	DBLP DOI BibTeX RDF
17	Jiangshan Yu, Guilin Wang, Yi Mu 0001, Wei Gao 0007	An Efficient Generic Framework for Three-Factor Authentication With Provably Secure Instantiation.	IEEE Trans. Inf. Forensics Secur.	2014	DBLP DOI BibTeX RDF
17	Hongwei Zhang 0001, Xin Che, Xiaohui Liu 0002, Xi Ju	Adaptive instantiation of the protocol interference model in wireless networked sensing and control.	ACM Trans. Sens. Networks	2014	DBLP DOI BibTeX RDF
17	Stefan Hallerstede, Thai Son Hoang	Refinement of decomposed models by interface instantiation.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
17	Suresh Boob, Horacio González-Vélez, Alina Madalina Popescu	Automated Instantiation of Heterogeneous Fast Flow CPU/GPU Parallel Pattern Applications in Clouds.	PDP	2014	DBLP DOI BibTeX RDF
17	Ana Nieto	Evaluation of Dynamic Instantiation in CPRM-Based Systems.	CRiSIS	2014	DBLP DOI BibTeX RDF
17	Bernd Neumayr, Manfred A. Jeusfeld, Michael Schrefl, Christoph G. Schütz	Dual Deep Instantiation and Its ConceptBase Implementation.	CAiSE	2014	DBLP DOI BibTeX RDF
17	Jean-Noël Vittaut, Jean Méhat	Fast Instantiation of GGP Game Descriptions Using Prolog with Tabling.	ECAI	2014	DBLP DOI BibTeX RDF
17	Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre	Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.	EICS	2014	DBLP DOI BibTeX RDF
17	Arnaud Hamon, Eric Barboni, Philippe A. Palanque, Raphaël André	Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.	EGMI@EICS	2014	DBLP BibTeX RDF
17	Joshua Bax	A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories.	PAAR@IJCAR	2014	DBLP DOI BibTeX RDF
17	YoungGyun Hahm, Youngsik Kim, Yousung Won, Jongsung Woo, Jiwoo Seo, Jiseong Kim, Seongbae Park, Dosam Hwang, Key-Sun Choi	Toward matching the relation instantiation from DBpedia ontology to Wikipedia text: fusing FrameNet to Korean.	SEMANTiCS	2014	DBLP DOI BibTeX RDF
17	Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith	iDQ: Instantiation-Based DQBF Solving.	POS@SAT	2014	DBLP DOI BibTeX RDF
17	Hannes Strass	Implementing Instantiation of Knowledge Bases in Argumentation Frameworks.	COMMA	2014	DBLP DOI BibTeX RDF
17	Ahmed Alzahrani 0002, Vic Callaghan, Michael Gardner	Towards the Physical Instantiation of Virtual People and Components in Physical Mixed-Reality Tele-Presence Environments.	Intelligent Environments (Workshops)	2014	DBLP DOI BibTeX RDF
17	Bernd Neumayr, Michael Schrefl	Abstract vs concrete clabjects in dual deep instantiation.	MULTI@MoDELS	2014	DBLP BibTeX RDF
17	Barbara König 0001, Sebastian Küpper	Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.	IFIP TCS	2014	DBLP DOI BibTeX RDF
17	Matthew Nizol, Laura K. Dillon, R. E. Kurt Stirewalt	Toward tractable instantiation of conceptual data models using non-semantics-preserving model transformations.	MiSE	2014	DBLP DOI BibTeX RDF
17	Dimitrios Kotsalis, George Vellis, Demosthenes Akoumianakis, Jean Vanderdonckt	Implementation-agnostic instantiation schemes for ubiquitous, synchronous multi-user interfaces.	Panhellenic Conference on Informatics	2014	DBLP DOI BibTeX RDF
17	Ching-Hu Lu, Yi-Ting Chiang	An Instantiation of the Multiple-Transfer Framework to Reduce Efforts in Context Model Learning for New Users in Smart Homes.	IIH-MSP	2014	DBLP DOI BibTeX RDF
17	Roman Lukyanenko, Joerg Evermann, Jeffrey Parsons	Instantiation Validity in IS Design Research.	DESRIST	2014	DBLP DOI BibTeX RDF
17	Júlia K. Kambara da Silva, Guilherme Medeiros Machado, Lucinéia Heloisa Thom, Leandro Krug Wives	Business Process Modeling and Instantiation in Home Care Environments.	ICEIS (2)	2014	DBLP DOI BibTeX RDF
17	Evandro César Freiberger	Conceptual model for the instantiation of virtual reality application in a service-based platform (Modelo conceitual para instanciação de aplicações de realidade virtual em uma plataforma baseada em serviços).		2014	RDF
17	Jonathan Gagné, Jim Davies	Visuo: A model of visuospatial instantiation of quantitative magnitudes.	Knowl. Eng. Rev.	2013	DBLP DOI BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	Instantiation Schemes for Nested Theories.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
17	Katarína Smolenová, Winfried Kurth, Paul-Henry Cournède	Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
17	Arno Pauly, Matthew de Brecht	Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces.	CoRR	2013	DBLP BibTeX RDF
17	Francesco Flammini, Nicola Mazzocca, Antonio Orazzo	Automatic instantiation of abstract tests on specific configurations for large critical control systems	CoRR	2013	DBLP BibTeX RDF
17	Matheus Carvalho Viana, Rosângela Aparecida Dellosso Penteado, Antônio Francisco do Prado	Domain-Specific Modeling Languages to improve framework instantiation.	J. Syst. Softw.	2013	DBLP DOI BibTeX RDF
17	Simona Perri, Francesco Ricca, Marco Sirianni	Parallel instantiation of ASP programs: techniques and experiments.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
17	Chang Liu 0028, Ying Zhong, Sertac Ozercan, Qing Zhu	Facilitating 3D Virtual World Learning Environments Creation by Non-Technical End Users through Template-Based Virtual World Instantiation.	Int. J. Virtual Pers. Learn. Environ.	2013	DBLP DOI BibTeX RDF
17	Jack Sun, Franky, Kenny Q. Zhu, Haixun Wang	Query Suggestion by Concept Instantiation.	ISWC (Posters & Demos)	2013	DBLP BibTeX RDF
17	Lena Wiese	Syntactic Similarity for Ranking Database Answers Obtained by Anti-Instantiation.	KI	2013	DBLP DOI BibTeX RDF
17	Faqir Zarrar Yousaf, Johannes Lessmann, Paulo Loureiro, Stefan Schmid 0002	SoftEPC - Dynamic instantiation of mobile core network entities for efficient resource utilization.	ICC	2013	DBLP DOI BibTeX RDF
17	Nishant Totla, Thomas Wies	Complete instantiation-based interpolation.	POPL	2013	DBLP DOI BibTeX RDF
17	Konstantin Korovin	Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning.	Programming Logics	2013	DBLP DOI BibTeX RDF
17	Bruno Apolloni, Maurizio Fiasché, G. Galliani, C. Zizzo, George Caridakis, Georgios Siolas, Stefanos D. Kollias, Manuel Graña Romay, F. Barriento, S. San Jose	Social things - The SandS instantiation.	WOWMOM	2013	DBLP DOI BibTeX RDF
17	Andrew James McKinlay, Katja Markert	Recognising Sets and Their Elements: Tree Kernels for Entity Instantiation Identification.	ICWS	2013	DBLP BibTeX RDF
17	Andrew Reynolds 0001, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett	Quantifier Instantiation Techniques for Finite Model Finding in SMT.	CADE	2013	DBLP DOI BibTeX RDF
17	Abhishek Dwaraki, Tilman Wolf	Service Instantiation in an Internet with Choices.	ICCCN	2013	DBLP DOI BibTeX RDF
17	Lara Quijano Sánchez, Juan A. Recio-García, Belén Díaz-Agudo	A Reusable Methodology for the Instantiation of Social Recommender Systems.	ICTAI	2013	DBLP DOI BibTeX RDF
17	Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta, Clémentine Nebut	A CSP Approach for Metamodel Instantiation.	ICTAI	2013	DBLP DOI BibTeX RDF
17	Lena Wiese	Taxonomy-Based Fragmentation for Anti-instantiation in Distributed Databases.	UCC	2013	DBLP DOI BibTeX RDF
17	Ning Wang, Ru Li 0001, Zhangzhang Lei, Zhiqiang Wang 0005, Jingpan Jin	Document Oriented Gap Filling of Definite Null Instantiation in FrameNet.	CCL	2013	DBLP DOI BibTeX RDF
17	Francisco J. Maldonado, Stephen Oonk, Tasso Politopoulos	Optimized neuro genetic fast estimator (ONGFE) for efficient distributed intelligence instantiation within embedded systems.	IJCNN	2013	DBLP DOI BibTeX RDF
17	Adam Z. Wyner, Trevor J. M. Bench-Capon, Paul E. Dunne	On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks.	CLIMA	2013	DBLP DOI BibTeX RDF
17	Prashant Agrawal, Praveen Raghavan, Matthias Hartmann, Namita Sharma 0001, Liesbet Van der Perre, Francky Catthoor	Early exploration for platform architecture instantiation with multi-mode application partitioning.	DAC	2013	DBLP DOI BibTeX RDF
17	Simon A. Spacey, Wolfram Wiesemann, Daniel Kuhn 0001, Wayne Luk	Robust Software Partitioning with Multiple Instantiation.	INFORMS J. Comput.	2012	DBLP DOI BibTeX RDF
17	Paul Schweizer	Physical Instantiation and the Propositional Attitudes.	Cogn. Comput.	2012	DBLP DOI BibTeX RDF
17	Grigori Mints	Intuitionistic Existential Instantiation and Epsilon Symbol	CoRR	2012	DBLP BibTeX RDF
17	David A. Basin, Andreas Fürst, Thai Son Hoang, Kunihiko Miyazaki, Naoto Sato	Abstract Data Types in Event-B - An Application of Generic Instantiation	CoRR	2012	DBLP BibTeX RDF
17	Gijs Kant, Jaco van de Pol	Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games	GRAPHITE	2012	DBLP DOI BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	An Instantiation Scheme for Satisfiability Modulo Theories.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
17	Adam Z. Wyner, Rinke Hoekstra	A legal case OWL ontology with an instantiation of Popov v. Hayashi.	Artif. Intell. Law	2012	DBLP DOI BibTeX RDF
17	Yasmine Charif, Hua Liu 0001, Andres Quiroz, Xumin Liu	Automating Reusable Workflow Development from Design to Instantiation.	SERVICES	2012	DBLP DOI BibTeX RDF
17	Marc Finthammer, Christoph Beierle	Instantiation Restrictions for Relational Probabilistic Conditionals.	SUM	2012	DBLP DOI BibTeX RDF
17	Gi Hyun Lim, Chuho Yi, Il Hong Suh, Dong Wook Ko, Seung-Woo Hong	Ontology Representation and Instantiation for Semantic Map Building by a Mobile Robot.	IAS (1)	2012	DBLP DOI BibTeX RDF
17	Cyrille Pach, Thierry Berger, Yves Sallez, Damien Trentesaux	Instantiation of the Open-Control concept in FMS based on potential fields.	IECON	2012	DBLP DOI BibTeX RDF
17	Stefan Hallerstede, Thai Son Hoang	Refinement by Interface Instantiation.	ABZ	2012	DBLP DOI BibTeX RDF