Search results for "Instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Andreea Urzica, Cristian Gratie	Policy-Based Instantiation of Norms in MAS.	IDC	2012	DBLP DOI BibTeX RDF
17	Weiguo Xie, Steffen Schumann, Jochen Franke, Paul Alfred Grützner, Lutz-Peter Nolte, Guoyan Zheng	Finding Deformable Shapes by Correspondence-Free Instantiation and Registration of Statistical Shape Models.	MLMI	2012	DBLP DOI BibTeX RDF
17	Manabu Toyama, Tomoyuki Aotani, Hidehiko Masuhara	A per-type instantiation mechanism for generic aspects.	VariComp@AOSD	2012	DBLP DOI BibTeX RDF
17	Atsushi Fujita, Pierre Isabelle, Roland Kuhn 0001	Enlarging Paraphrase Collections through Generalization and Instantiation.	EMNLP-CoNLL	2012	DBLP BibTeX RDF
17	Stelios Sotiriadis, Nik Bessis, Fatos Xhafa, Nick Antonopoulos	Cloud Virtual Machine Scheduling: Modelling the Cloud Virtual Machine Instantiation.	CISIS	2012	DBLP DOI BibTeX RDF
17	Erik Zawadzki, Geoffrey J. Gordon, André Platzer	An Instantiation-Based Theorem Prover for First-Order Programming.	AISTATS	2011	DBLP BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	Modular instantiation schemes.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
17	Peter Kajsa, L'ubomír Majtás, Pavol Návrat	Design pattern instantiation directed by concretization and specialization.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	Instantiation Schemes for Nested Theories	CoRR	2011	DBLP BibTeX RDF
17	Simona Perri, Francesco Ricca, Marco Sirianni	Parallel Instantiation of ASP Programs: Techniques and Experiments	CoRR	2011	DBLP BibTeX RDF
17	Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse	Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
17	Jing Dong 0005, Tu Peng, Yajing Zhao	On Instantiation and Integration Commutability of Design Pattern.	Comput. J.	2011	DBLP DOI BibTeX RDF
17	Vânia Gonçalves, Makis Stamatelatos, Antonio Manzalini, Beatriz Fuentes Arenaz, Markus Gruber, Christian Destré, Simon Delaere, Laurent Ciavaglia	Construction, instantiation and analysis of a business ecosystem for autonomic future networks.	ICIN	2011	DBLP DOI BibTeX RDF
17	Neon Steinecke, Reiner Quick, Thomas Mohr	Environmental Scanning Systems: State Of The Art And First Instantiation.	PACIS	2011	DBLP BibTeX RDF
17	Rashin Rezazadeh, Bita Shadgar, Alireza Osareh, Arshin Rezazadeh	Ontology-Based Data Instantiation Using Web Service.	EMS	2011	DBLP DOI BibTeX RDF
17	Sinisa Neskovic, Radovan Cvetkovic	Extending Feature Models with Deep Instantiation to Manage Complexity and Dynamism of Services.	DEXA Workshops	2011	DBLP DOI BibTeX RDF
17	Benedikt Hauptmann	Model-based test instantiation for applications with user interfaces.	PROFES Workshops	2011	DBLP DOI BibTeX RDF
17	Ben Youngdahl	Arisddi, A Resource Instantiation System for DDI.	IASSIST Conference	2011	DBLP BibTeX RDF
17	David H. Lorenz, Victor Trakhtenberg	Pluggable Aspect Instantiation Models.	SC@TOOLS	2011	DBLP DOI BibTeX RDF
17	Gerd Kainz, Christian Buckl, Alois C. Knoll	Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation.	MoDELS	2011	DBLP DOI BibTeX RDF
17	Mathias Soeken, Robert Wille, Rolf Drechsler	Towards automatic determination of problem bounds for object instantiation in static model verification.	MoDeVVa@MoDELS	2011	DBLP DOI BibTeX RDF
17	Monica Magalhães Pereira, Lars Braun, Michael Hübner 0001, Jürgen Becker 0001, Luigi Carro	Run-time resource instantiation for fault tolerance in FPGAs.	AHS	2011	DBLP DOI BibTeX RDF
17	Lichao Wang, Su-Lin Lee, Robert D. Merrifield, Guang-Zhong Yang	Subject-Specific Cardiac Segmentation Based on Reinforcement Learning with Shape Instantiation.	MLMI	2011	DBLP DOI BibTeX RDF
17	Lothar Hotz, Stephanie von Riegen	Thoughts about Structuralization, Specialization, Instantiation, and Metaization.	KEOD	2011	DBLP BibTeX RDF
17	Temesghen Kahsai, Yeting Ge, Cesare Tinelli	Instantiation-Based Invariant Discovery.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
17	Lothar Hotz, Stephanie von Riegen	When to use what: Structuralization, Specialization, Instantiation, Metaization - Some Hints for Knowledge Engineers.	Configuration Workshop	2011	DBLP BibTeX RDF
17	Isabel John, Adeline Silva	Evaluating variability instantiation strategies for product lines.	VaMoS	2011	DBLP DOI BibTeX RDF
17	Freddy Lécué	Towards Semantics-Based Instantiation of Services.	Web Intelligence	2011	DBLP DOI BibTeX RDF
17	Gi Hyun Lim, Il Hong Suh	Robust robot knowledge instantiation for intelligent service robots.	Intell. Serv. Robotics	2010	DBLP DOI BibTeX RDF
17	Fernando Orejas, Hartmut Ehrig, Markus Klein 0001, Julia Padberg, Elvira Pino, Sonia Pérez	A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
17	Karen Na-Liu Li, John G. Hosking, John C. Grundy, Tony Ly, Brian Webb	Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	Instantiation of SMT problems modulo Integers	CoRR	2010	DBLP BibTeX RDF
17	Michael Luby, Mark Watson, Lorenzo Vicisano	Asynchronous Layered Coding (ALC) Protocol Instantiation.	RFC	2010	DBLP DOI BibTeX RDF
17		On Instantiation of the Random Oracle.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
17	Konstantin Korovin, Christoph Sticksel	Labelled Unit Superposition Calculi for Instantiation-Based Reasoning.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
17	Jürgen Christ, Jochen Hoenicke	Instantiation-Based Interpolation for Quantified Formulae.	Decision Procedures in Software, Hardware and Bioware	2010	DBLP BibTeX RDF
17	Olusola Samuel-Ojo, Benjamin L. Schooley, Brian N. Hilton, Thomas A. Horan	Sharing behavior in emergencies: An instantiation of a utility-focused prototype of a secure mobile near-real-time content device in pre-hospital and hospital settings.	AMCIS	2010	DBLP BibTeX RDF
17	Simona Perri, Francesco Ricca, Marco Sirianni	Parallel Instantiation in DLV.	CILC	2010	DBLP BibTeX RDF
17	Faiz Currim, Sudha Ram	When Entities Are Types: Effectively Modeling Type-Instantiation Relationships.	ER Workshops	2010	DBLP DOI BibTeX RDF
17	Michiko Kayashima, Riichiro Mizoguchi	A New Framework of Metacognition with Abstraction/Instantiation Operations.	Intelligent Tutoring Systems (2)	2010	DBLP DOI BibTeX RDF
17	Xin Che, Xiaohui Liu 0002, Xi Ju, Hongwei Zhang 0001	Adaptive Instantiation of the Protocol Interference Model in Mission-Critical Wireless Networks.	SECON	2010	DBLP DOI BibTeX RDF
17	Claudia Di Napoli, Maurizio Giordano, Zsolt Németh, Nicola Tonellotto	Adaptive Instantiation of Service Workflows Using a Chemical Approach.	Euro-Par Workshops	2010	DBLP DOI BibTeX RDF
17	Tugkan Tuglular, Gurcan Gercek	Feedback Control Based Test Case Instantiation for Firewall Testing.	COMPSAC Workshops	2010	DBLP DOI BibTeX RDF
17	Konstantin Korovin, Christoph Sticksel	iProver-Eq: An Instantiation-Based Theorem Prover with Equality.	IJCAR	2010	DBLP DOI BibTeX RDF
17	Claudia Di Napoli, Maurizio Giordano, Jean-Louis Pazat, Chen Wang 0030	A Chemical Based Middleware for Workflow Instantiation and Execution.	ServiceWave	2010	DBLP DOI BibTeX RDF
17	Su-Lin Lee, Adrian James Chung, Mirna Lerotic, Maria A. Hawkins, Diana Tait, Guang-Zhong Yang	Dynamic Shape Instantiation for Intra-operative Guidance.	MICCAI (1)	2010	DBLP DOI BibTeX RDF
17	Viktor de Boer, Maarten van Someren, Bob J. Wielinga, Anjo Anjewierden	Exploiting Redundancy for Pattern-based Relation Instantiation Using tOKo.	EKAW (Posters and Demos)	2010	DBLP BibTeX RDF
17	Peter Killisperger, Markus Stumptner, Georg Peters, Georg Grossmann, Thomas Stückl	A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring.	ICSP	2010	DBLP DOI BibTeX RDF
17	Pim van den Broek	Optimization of Product Instantiation using Integer Programming.	SPLC Workshops	2010	DBLP BibTeX RDF
17	Peter Kajsa, L'ubomír Majtás	Design Patterns Instantiation Based on Semantics and Model Transformations.	SOFSEM	2010	DBLP DOI BibTeX RDF
17	Amy Wheeler, Dave W. Binkley	Subclass Instantiation Distribution.	SCAM	2010	DBLP DOI BibTeX RDF
17	B. Helena Rodriguez, Jean-Claude Moissinac, Isabelle M. Demeure	Multimodal instantiation of assistance services.	iiWAS	2010	DBLP DOI BibTeX RDF
17	Mnacho Echenim, Nicolas Peltier	Instantiation of SMT Problems Modulo Integers.	AISC/MKM/Calculemus	2010	DBLP DOI BibTeX RDF
17	Saoussen Rekhis Boubaker, Nadia Bouassida, Rafik Bouaziz	Specification and Instantiation of Domain Specific Patterns based on UML.	ICEIS (3)	2010	DBLP BibTeX RDF
17	Nicholas Bonello, Rong Zhang 0001, Sheng Chen 0001, Lajos Hanzo	Channel Code-Division Multiple Access and Its Multilevel-Structured LDPC-Based Instantiation.	IEEE Trans. Veh. Technol.	2009	DBLP DOI BibTeX RDF
17	Tiago Quintino, Herman Deconinck	Run-time automatic instantiation of algorithms using C++ templates.	Int. J. Comput. Sci. Eng.	2009	DBLP DOI BibTeX RDF
17	Magdalena A. Jonikas, Randall J. Radmer, Russ B. Altman	Knowledge-based instantiation of full atomic detail into coarse-grain RNA 3D structural models.	Bioinform.	2009	DBLP DOI BibTeX RDF
17	Argiris J. Dentsoras	Problem-dependent search for optimal parameter instantiation order in design spaces.	Adv. Eng. Informatics	2009	DBLP DOI BibTeX RDF
17	Dietmar Jannach, Kostyantyn M. Shchekotykhin, Gerhard Friedrich	Automated ontology instantiation from tabular web sources - The AllRight system.	J. Web Semant.	2009	DBLP DOI BibTeX RDF
17	Víctor M. González 0001, Bonnie A. Nardi, Gloria Mark	Ensembles: understanding the instantiation of activities.	Inf. Technol. People	2009	DBLP DOI BibTeX RDF
17	Teresa Susana Mendes Pereira, Ana Alice Baptista	The instantiation of OmniPaper RDF prototype in the context of scientific publications.	Electron. Libr.	2009	DBLP DOI BibTeX RDF
17	Gero Decker, Jan Mendling	Process instantiation.	Data Knowl. Eng.	2009	DBLP DOI BibTeX RDF
17	Dandan Ding, Honggang Qi, Lu Yu 0003, Tiejun Huang 0001, Wen Gao 0001	Reconfigurable video coding framework and decoder reconfiguration instantiation of AVS.	Signal Process. Image Commun.	2009	DBLP DOI BibTeX RDF
17	Francesco Flammini, Nicola Mazzocca, Antonio Orazzo	Automatic instantiation of abstract tests on specific configurations for large critical control systems.	Softw. Test. Verification Reliab.	2009	DBLP DOI BibTeX RDF
17	Yeting Ge, Leonardo Mendonça de Moura	Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories.	CAV	2009	DBLP DOI BibTeX RDF
17	Alfons Laarman, Ivan Kurtev	Ontological Metamodeling with Explicit Instantiation.	SLE	2009	DBLP DOI BibTeX RDF
17	Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive	On-line analytic redundancy relations instantiation guided by component discrete-dynamics for a class of non-linear hybrid systems.	CDC	2009	DBLP DOI BibTeX RDF
17	Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl	Priority-Based Constraint Management in Software Process Instantiation.	ISD	2009	DBLP DOI BibTeX RDF
17	Juan Rodríguez-Covili, Sergio F. Ochoa, José A. Pino, Jesús Favela, David A. Mejia, Alberto L. Morán	Designing mobile shared workspaces by instantiation.	CSCWD	2009	DBLP DOI BibTeX RDF
17	Patrick de Oude, Gregor Pavlin	Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables.	IAT	2009	DBLP DOI BibTeX RDF
17	Ana Funes, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana	An Instantiation of Hierarchical Distance-Based Conceptual Clustering for Propositional Learning.	PAKDD	2009	DBLP DOI BibTeX RDF	propositional learning, hierarchical clustering, distances, generalisation, conceptual clustering
17	Simona Perri, Francesco Ricca, Marco Sirianni	Advanced Heuristics for Parallel ASP Instantiation.	RCRA@AI*IA	2009	DBLP BibTeX RDF
17	Gregory van Seghbroeck, Bruno Volckaert, Filip De Turck, Bart Dhoedt	Automated Instantiation and Extraction of Web Service Choreographies.	ICIW	2009	DBLP DOI BibTeX RDF
17	Li Qi, Hai Jin 0001, Ian T. Foster, Jarek Gawor	Provisioning for Dynamic Instantiation of Community Services.	IEEE Internet Comput.	2008	DBLP DOI BibTeX RDF
17	Yang Qu, Kari Tiensyrjä, Juha-Pekka Soininen, Jari Nurmi	Design Flow Instantiation for Run-Time Reconfigurable Systems: A Case Study.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
17	Dean C. Barratt, Carolyn S. K. Chan, Philip J. Edwards, Graeme P. Penney, Mike Slomczykowski, Timothy J. Carter, David J. Hawkes	Instantiation and registration of statistical shape models of the femur and pelvis using 3D ultrasound imaging.	Medical Image Anal.	2008	DBLP DOI BibTeX RDF
17	Y. Zhou, Y. Chen	Project-oriented resource assignment: from business process modelling to business process instantiation with operational performance consideration.	Int. J. Comput. Integr. Manuf.	2008	DBLP DOI BibTeX RDF
17	Karl Azab, Karl-Heinz Pennemann	Type Checking C++ Template Instantiation by Graph Programs.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2008	DBLP DOI BibTeX RDF
17	Francesco Calimeri, Simona Perri, Francesco Ricca	Experimenting with parallelism for the instantiation of ASP programs.	J. Algorithms	2008	DBLP DOI BibTeX RDF
17	Nicholas Bonello, Rong Zhang 0001, Sheng Chen 0001, Lajos Hanzo	Channel Code Division Multiple Access and its Multilevel Structured LDPC Based Instantiation.	VTC Fall	2008	DBLP DOI BibTeX RDF
17	Alexander van Dam, Bas Ploeger, Tim A. C. Willemse	Instantiation for Parameterised Boolean Equation Systems.	ICTAC	2008	DBLP DOI BibTeX RDF
17	Jorge E. López de Vergara, Enrique Vázquez, Javier Guerra	Security Policy Instantiation to React to Network Attacks - An Ontology-based Approach using OWL and SWRL.	SECRYPT	2008	DBLP BibTeX RDF
17	Annett Mitschick, Ralf Nagel 0002, Klaus Meißner	Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System.	SeMMA	2008	DBLP BibTeX RDF
17	Thorsten Schäfer, Jan Jonas, Mira Mezini	Mining framework usage changes from instantiation code.	ICSE	2008	DBLP DOI BibTeX RDF	framework comprehension, evolution, migration
17	Jean-Raymond Abrial, Stefan Hallerstede	Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.	Fundam. Informaticae	2007	DBLP BibTeX RDF
17	Joseph K. Liu, Duncan S. Wong	A More Efficient Instantiation of Witness-Indistinguishable Signature.	Int. J. Netw. Secur.	2007	DBLP BibTeX RDF
17	Sérgio F. Lopes, Adriano Tavares, João Monteiro 0001, Carlos A. Silva 0002	Instantiation of a Classification System Framework that Facilitates Reuse.	J. Softw.	2007	DBLP DOI BibTeX RDF
17	Sagnika Sen, Haluk Demirkan, Michael Goul	Dynamic decision support through instantiation of UEML representations.	Commun. ACM	2007	DBLP DOI BibTeX RDF
17	Toacy Cavalcante de Oliveira, Paulo S. C. Alencar, Carlos José Pereira de Lucena, Donald D. Cowan	RDL: A language for framework instantiation representation.	J. Syst. Softw.	2007	DBLP DOI BibTeX RDF
17	Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen	Axiomatizing Extended Temporal Logic Fragments Via Instantiation.	ICTAC	2007	DBLP DOI BibTeX RDF
17	Marek Z. Reformat	Mathematical Framework for Generalization and Instantiation of Knowledge.	ICSOFT (PL/DPS/KE/MUSE)	2007	DBLP BibTeX RDF
17	Vandana Gunupudi, Stephen R. Tate	Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
17	Igor Boguslavsky	Enlarging the Diversity of Valency Instantiation Patterns and Its Implications.	TbiLLC	2007	DBLP DOI BibTeX RDF
17	David A. Rosenblueth	A Multiple-Clause Folding Rule Using Instantiation and Generalization.	Fundam. Informaticae	2006	DBLP BibTeX RDF
17	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Secret instantiation in ad-hoc networks.	Comput. Commun.	2006	DBLP DOI BibTeX RDF
17	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].	Comput. Commun.	2006	DBLP DOI BibTeX RDF
17	Edward D. Willink	Model Instantiation and Type Checking in UMLX.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2006	DBLP DOI BibTeX RDF
17	Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya	Design and Implementation of an Aspect Instantiation Mechanism.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
17	Eric E. Allen, Robert Cartwright	Safe instantiation in Generic Java.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
17	Samira Sadaoui, Pengzhou Yin	Generalization and Instantiation for Component Reuse.	Int. J. Softw. Eng. Knowl. Eng.	2006	DBLP DOI BibTeX RDF