Search results for "instantiation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Nigamanth Sridhar	Dynamic instantiation-checking components.	SAC	2006	DBLP DOI BibTeX RDF
17	Viktor de Boer, Maarten van Someren, Bob J. Wielinga	Relation Instantiation for Ontology Population Using the Web.	KI	2006	DBLP DOI BibTeX RDF
17	Viktor de Boer, Maarten van Someren, Bob J. Wielinga	A Redundancy-Based Method for Relation Instantiation from the Web.	ECAI	2006	DBLP BibTeX RDF
17	Dejin Zhao, Mary Beth Rosson	From Webspace to Workspace and Back Again: Seamless Instantiation, Composition, and Use of Interactive Project Objects.	VL/HCC	2006	DBLP DOI BibTeX RDF
17	Sylvain Tenier, Yannick Toussaint, Amedeo Napoli, Xavier Polanco	Instantiation of Relations for Semantic Annotation.	Web Intelligence	2006	DBLP DOI BibTeX RDF
17	Elaine Quintino da Silva	A component-based framework for web applications development and an associated instantiation process.		2006	RDF
17	Hartmut Ehrig	Behaviour and Instantiation of High-Level Petri Net Processes.	Fundam. Informaticae	2005	DBLP BibTeX RDF
17	Kostas Saidis, George Pyrounakis, Mara Nikolaidou	On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach.	ECDL	2005	DBLP DOI BibTeX RDF
17	Jean-Raymond Abrial	Refinement, Decomposition and Instantiation of Discrete Models.	Abstract State Machines	2005	DBLP BibTeX RDF
17	Wuwei Shen, Weng Liong Low	Using Abstract State Machines to Support UML Model Instantiation Checking.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
17	Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf	A Flexible Attribute Instantiation Technique for Visual Languages.	IASTED Conf. on Software Engineering	2005	DBLP BibTeX RDF
17	Chun Ye, Ke-Fan Xie, Ya-Lin Chen, Xian-Jia Wang	MAS organization: design, enforcement and instantiation.	PDCAT	2005	DBLP DOI BibTeX RDF
17	Hewijin Christine Jiau, Chia Hung Kao, Kuo-Feng Ssu	Comments on "Software Process Representation and Analysis for Framework Instantiation".	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
17	Carter Wendelken, Lokendra Shastri	Multiple instantiation and rule mediation in SHRUTI.	Connect. Sci.	2004	DBLP DOI BibTeX RDF
17	Ivan Mathias Filho, Toacy Cavalcante de Oliveira, Carlos José Pereira de Lucena	A framework instantiation approach based on the Features Model.	J. Syst. Softw.	2004	DBLP DOI BibTeX RDF
17	Nicola Leone, Simona Perri, Francesco Scarcello	BackJumping techniques for rules instantiation in the DLV system.	NMR	2004	DBLP BibTeX RDF
17	Jan Mendling, Mark Strembeck, Gustaf Neumann	A Motivation for Multiple Activity Instantiation in BPEL4WS Processes.	CAiSE Workshops (2)	2004	DBLP BibTeX RDF
17	Joachim Becker, Yiannos Manoli	A new architecture of field programmable analog arrays for reconfigurable instantiation of continuous-time filters.	FPT	2004	DBLP DOI BibTeX RDF
17	Carlos Fernández-Conde, Pedro A. González-Calero	Developing Active Help for Framework Instantiation Through Case-Based Reasoning.	ICSR	2004	DBLP DOI BibTeX RDF
17	Jan Mendling, Mark Strembeck, Gustaf Neumann	Extending BPEL4WS for Multiple Instantiation.	GI Jahrestagung (2)	2004	DBLP BibTeX RDF
17	Carolyn S. K. Chan, Dean C. Barratt, Philip J. Edwards, Graeme P. Penney, Mike Slomczykowski, Timothy J. Carter, David J. Hawkes	Cadaver Validation of the Use of Ultrasound for 3D Model Instantiation of Bony Anatomy in Image Guided Orthopaedic Surgery.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
17	Gauthier Picard	Cooperative Agent Model Instantiation to Collective Robotics.	ESAW	2004	DBLP DOI BibTeX RDF
17	Hua Zhou	A notion of a system pattern (tri-integration) and its instantiation in enterprise application development.		2004	RDF
17	Didier Le Botlan	MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite).		2004	RDF
17	Vaclav Cechticky	Automated instantiation of software frameworks for control systems.		2004	RDF
17	Hartmut Ehrig	Behaviour and Instantiation of High-Level Net Processes.	UNIGRA	2003	DBLP DOI BibTeX RDF
17	Marc Bezem, Hoang Truong 0001	A Type System for the Safe Instantiation of Components.	FOCLASA	2003	DBLP DOI BibTeX RDF
17	Ginés Moreno	A narrowing-based instantiation rule for rewriting-based fold/unfold transformations.	WFLP	2003	DBLP DOI BibTeX RDF
17	Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings	Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
17	Carlos Fernández-Conde, Pedro A. González-Calero	Case-based Framework Instantiation.	SEKE	2003	DBLP BibTeX RDF
17	Véronique Gendner, Gabriel Illouz, Michèle Jardino, Laura Monceaux, Patrick Paroubek, Isabelle Robba, Anne Vilnat	PEAS, the first instantiation of a comparative framework for evaluating parsers of French.	EACL	2003	DBLP BibTeX RDF
17	Nancy Ide, Alessandro Lenci, Nicoletta Calzolari	RDF Instantiation of ISLE/MILE Lexical Entries.	ACL (Linguistic Annotation)	2003	DBLP DOI BibTeX RDF
17	Rosana Teresinha Vaccare Braga	A process for construction and instantiation of frameworks based on a domain-specific pattern language.		2003	RDF
17	Roger G. Kermode, Lorenzo Vicisano	Author Guidelines for Reliable Multicast Transport (RMT) Building Blocks and Protocol Instantiation documents.	RFC	2002	DBLP DOI BibTeX RDF
17	Michael Luby, Jim Gemmell, Lorenzo Vicisano, Luigi Rizzo, Jon Crowcroft	Asynchronous Layered Coding (ALC) Protocol Instantiation.	RFC	2002	DBLP DOI BibTeX RDF
17	Ronald R. Yager	On the instantiation of possibility distributions.	Fuzzy Sets Syst.	2002	DBLP DOI BibTeX RDF
17	John N. Hooker, G. Rago, V. Chandru, A. Shrivastava	Partial Instantiation Methods for Inference in First-Order Logic.	J. Autom. Reason.	2002	DBLP DOI BibTeX RDF
17	Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær	The Abstraction and Instantiation of String-Matching Programs.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
17	Arie van Deursen, Merijn de Jonge, Tobias Kuipers	Feature-Based Product Line Instantiation Using Source-Level Packages.	SPLC	2002	DBLP DOI BibTeX RDF
17	Björn Hartmann, Maurizio Mancini, Catherine Pelachaud	Formational Parameters and Adaptive Prototype Instantiation for MPEG-4 Compliant Gesture Synthesis.	CA	2002	DBLP DOI BibTeX RDF
17	Toacy Cavalcante de Oliveira, Ivan Mathias Filho, Carlos José Pereira de Lucena	Frameworks - A High Level Instantiation Approach.	ICEIS	2002	DBLP BibTeX RDF
17	Jacques P. Sougné	Binding and multiple instantiation in a distributed network of spiking nodes.	Connect. Sci.	2001	DBLP DOI BibTeX RDF
17	Luis M. de Campos, Juan M. Fernández-Luna, Juan F. Huete	Relevance Feedback in the Bayesian Network Retrieval Model: An Approach Based on Term Instantiation.	IDA	2001	DBLP DOI BibTeX RDF
17	Amy P. Felty	The calculus of constructions as a framework for proof search with set variable instantiation.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Hongjun Song, Stan Franklin	A behaviour instantiation agent architecture.	Connect. Sci.	2000	DBLP DOI BibTeX RDF
17	Oleg Lukibanov, Iliana Martinez, Timothy J. Lenz, James K. McDowell, Clark Radcliffe, Jon Sticklen	Socharis: The instantiation of a strategy for conceptual manufacturing planning.	Artif. Intell. Eng. Des. Anal. Manuf.	2000	DBLP BibTeX RDF
17	Arturo J. Sánchez, Jia Dei-Wei	Towards a graphical notation to express the C++ template instantiation process (poster session).	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
17	Hyopil Shin, Spencer Koehler	Acquiring Factual Knowledge through Ontological Instantiation.	PRICAI	2000	DBLP DOI BibTeX RDF
17	Cyril Soler, François X. Sillion	Hierarchical Instantiation for Radiosity.	Rendering Techniques	2000	DBLP DOI BibTeX RDF
17	Jana Koehler, Jörg Hoffmann 0001	On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.	PuK	2000	DBLP BibTeX RDF
17	Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel	Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals.	KI	1999	DBLP DOI BibTeX RDF
17	Takashi Mitsuishi, Hiroshi Nunokawa	Design of Media Description Language for Media Instantiation, Composition and Transportation.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	media environment, media description, DeLis, programming language, multi-media, communication tool
17	Éric Grégoire	Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.	EUROVAV	1999	DBLP BibTeX RDF
17	I. M. Bland	Rapid Instantiation of Hardware Objects for Hardware/Software Codesign.	PDPTA	1999	DBLP BibTeX RDF
17	Masahito Yamamoto, Azuma Ohuchi	A reduction method for theorem proving based on the partial-instantiation technique.	Decis. Support Syst.	1998	DBLP DOI BibTeX RDF
17	Robin Barker, Gavin Kelly	The Vulnerability Instantiation Methodology prototype.	Inf. Secur. Tech. Rep.	1998	DBLP DOI BibTeX RDF
17	Kathleen Ahrens, Li-Li Chang, Keh-Jiann Chen, Chu-Ren Huang	Meaning Representation and Meaning Instantiation for Chinese Nominals.	Int. J. Comput. Linguistics Chin. Lang. Process.	1998	DBLP BibTeX RDF
17	Avrum E. Itzkowitz, Lois D. Foltan	Automatic Template Instantiation in DIGITAL C++.	Digit. Tech. J.	1998	DBLP BibTeX RDF
17	Huimin Lin	"On-the-fly Instantiation" of Value-passing Processes.	FORTE	1998	DBLP BibTeX RDF
17	Brigitte Pientka, Christoph Kreitz	Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.	AISC	1998	DBLP DOI BibTeX RDF
17	Raymond T. Ng, Xiaomei Tian	Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
17	Anthony Savidis, Constantine Stephanidis, Pier Luigi Emiliani	Abstract Task Definition and Incremental Polymorphic Physical Instantiation: The Unified Interface Design Method.	HCI (1)	1997	DBLP BibTeX RDF
17	Kathleen Ahrens, Li-Li Chang, Keh-Jiann Chen, Chu-Ren Huang	Meaning Representation and Meaning Instantiation for Chinese Nominals.	ROCLING	1997	DBLP BibTeX RDF
17	Grigori Mints	Existential Instantiation and Strong Normalization.	LFCS	1997	DBLP DOI BibTeX RDF
17	Vadim Kagan, Anil Nerode, V. S. Subrahmanian	Computing Minimal Models by Partial Instantiation.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
17	Kee Yong Lim	Structured Task Analysis: An Instantiation of the MUSE Method for Usability Engineering.	Interact. Comput.	1996	DBLP DOI BibTeX RDF
17	Markus Baumeister	Attribute Grouping: Emulating Metamodels Without Instantiation.	OOIS	1996	DBLP DOI BibTeX RDF
17	Amy P. Felty	Proof Search with Set Variable Instantiation in the Calculus of Constructions.	CADE	1996	DBLP DOI BibTeX RDF
17	Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi	Negation as Instantiation	Inf. Comput.	1995	DBLP DOI BibTeX RDF
17	Raymond T. Ng, Xiaomei Tian	Incremental Methods for Optimizing Partial Instantiation.	LPNMR	1995	DBLP DOI BibTeX RDF
17	Alan M. Frisch, C. David Page Jr.	Building Theories into Instantiation.	IJCAI	1995	DBLP BibTeX RDF
17	Vadim Kagan, Anil Nerode, V. S. Subrahmanian	Computing Definite Logic Programs by Partial Instantiation.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
17	Paulo César Masiero, Carlos A. Alves Meira	Development and instantiation of a generic application generator.	J. Syst. Softw.	1993	DBLP DOI BibTeX RDF
17	Carlo Celluci	Existential Instantiation and Normalization in Sequent Natural Deduction.	Ann. Pure Appl. Log.	1992	DBLP DOI BibTeX RDF
17	James G. Williams 0002	Instantiation Theory - On the Foundations of Automated Deduction		1991	DOI RDF
17	Henry Basson, Jean-Claude Derniame	Quality tree extensions and partial instantiation for Ada objects.	WADAS	1991	DBLP DOI BibTeX RDF
17	Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J Strother Moore	Functional Instantiation in First-Order Logic.	Artificial and Mathematical Theory of Computation	1991	DBLP DOI BibTeX RDF
17	Jun Shen, Gordon V. Cormack	Automatic instantiation in Ada.	TRI-Ada	1991	DBLP DOI BibTeX RDF
17	Dewayne E. Perry	Policy and product-directed process instantiation.	ISPW	1990	DBLP DOI BibTeX RDF
17	Danny De Schreye, Maurice Bruynooghe	On the Transformation of Logic Programs with Instantiation Based Computation Rules.	J. Symb. Comput.	1989	DBLP DOI BibTeX RDF
17	Colin Runciman, Mike Firth, Nigel Jagger	Transformation in a Non-Strict Language: An Approach to Instantiation.	Functional Programming	1989	DBLP BibTeX RDF
17	Peter Schnorf	Dynamic instantiation and configuration of functionally extended, efficient lexical analysers.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
17	M. M. Lehman	Model Based Approach to IPSE Architecture and Design: The IST ISTAR Project as an Instantiation.	IEEE Data Eng. Bull.	1987	DBLP BibTeX RDF
17	Lee A. Becker	Data structures through plan instantiation.	SIGCSE	1984	DBLP DOI BibTeX RDF
17	Donald Simon	A Linear Time Algorithm for a Subcase of Second Order Instantiation.	CADE	1984	DBLP DOI BibTeX RDF
17	Michael J. Pazzani	Interactive Script Instantiation.	AAAI	1983	DBLP BibTeX RDF
17	Alynn Klassen, Subrata Dasgupta	S(QM-1): An instantiation of the high level microprogramming language scheme S for the nanodata QM-11.	MICRO	1981	DBLP BibTeX RDF
17	Nachum Dershowitz	The Evolution of Programs: Program Abstraction and Instantiation.	ICSE	1981	DBLP BibTeX RDF
17	Carl Engelman, Ethan A. Scarl, Charles H. Berg	Interactive Frame Instantiation.	AAAI	1980	DBLP BibTeX RDF
17	Harvey Friedman	On the Derivability of Instantiation Properties.	J. Symb. Log.	1977	DBLP DOI BibTeX RDF
17	William L. Harper	A note on universal instantiation in the Stalnaker Thomason conditional logic and M type modal systems.	J. Philos. Log.	1974	DBLP DOI BibTeX RDF
17	Dag Prawitz	A Note on Existential Instantiation.	J. Symb. Log.	1967	DBLP DOI BibTeX RDF
15	Josh Tenenberg	Industry fellows: bringing professional practice into the classroom.	SIGCSE	2010	DBLP DOI BibTeX RDF	industry/academic collaboration, professional practice
15	Chuan-Kai Lin, Tim Sheard	Pointwise generalized algebraic data types.	TLDI	2010	DBLP DOI BibTeX RDF	pointwise baseline, pointwise unification, pointwise unifier, gadts
15	Anindya De, Thomas Vidick	Near-optimal extractors against quantum storage.	STOC	2010	DBLP DOI BibTeX RDF	bounded quantum storage, random access codes, extractors
15	Tihamer Levendovszky, László Lengyel, Tamás Mészáros	Supporting domain-specific model patterns with metamodeling.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF
15	Swen Jacobs	Incremental Instance Generation in Local Reasoning.	CAV	2009	DBLP DOI BibTeX RDF
15	Yuliya Lierler, Vladimir Lifschitz	One More Decidable Class of Finitely Ground Programs.	ICLP	2009	DBLP DOI BibTeX RDF
15	Claire Lefèvre, Pascal Nicolas	A First Order Forward Chaining Approach for Answer Set Computing.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Anja Lehmann, Stefano Tessaro	A Modular Design for Hash Functions: Towards Making the Mix-Compress-Mix Approach Practical.	ASIACRYPT	2009	DBLP DOI BibTeX RDF