Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Nigamanth Sridhar |
Dynamic instantiation-checking components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1442-1446, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Viktor de Boer, Maarten van Someren, Bob J. Wielinga |
Relation Instantiation for Ontology Population Using the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 202-213, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 749-750, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 4-8 September 2006, Brighton, UK, pp. 177-180, 2006, IEEE Computer Society, 0-7695-2586-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Sylvain Tenier, Yannick Toussaint, Amedeo Napoli, Xavier Polanco |
Instantiation of Relations for Semantic Annotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 463-472, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Elaine Quintino da Silva |
A component-based framework for web applications development and an associated instantiation process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
17 | Hartmut Ehrig |
Behaviour and Instantiation of High-Level Petri Net Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 65(3), pp. 211-247, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Kostas Saidis, George Pyrounakis, Mara Nikolaidou |
On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings, pp. 13-24, 2005, Springer, 3-540-28767-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Raymond Abrial |
Refinement, Decomposition and Instantiation of Discrete Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 17-40, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Wuwei Shen, Weng Liong Low |
Using Abstract State Machines to Support UML Model Instantiation Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 100-105, 2005, IASTED/ACTA Press, 0-88986-466-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Gergely Mezei, Tihamer Levendovszky, László Lengyel, Hassan Charaf |
A Flexible Attribute Instantiation Technique for Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASTED Conf. on Software Engineering ![In: IASTED International Conference on Software Engineering, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 15-17, 2005, pp. 355-359, 2005, IASTED/ACTA Press, 0-88986-466-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Chun Ye, Ke-Fan Xie, Ya-Lin Chen, Xian-Jia Wang |
MAS organization: design, enforcement and instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 529-532, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(10), pp. 707-, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Carter Wendelken, Lokendra Shastri |
Multiple instantiation and rule mediation in SHRUTI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 16(3), pp. 211-217, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 73, pp. 333-349, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 258-266, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Jan Mendling, Mark Strembeck, Gustaf Neumann |
A Motivation for Multiple Activity Instantiation in BPEL4WS Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Workshops (2) ![In: CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings, Vol. 2, pp. 245-246, 2004, Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, 9984-9767-2-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Joachim Becker, Yiannos Manoli |
A new architecture of field programmable analog arrays for reconfigurable instantiation of continuous-time filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPT ![In: Proceedings of the 2004 IEEE International Conference on Field-Programmable Technology, Brisbane, Australia, December 6-8, 2004, pp. 367-370, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Software Reuse: Methods, Techniques and Tools: 8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2009. Proceedings, pp. 308-317, 2004, Springer, 3-540-22335-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jan Mendling, Mark Strembeck, Gustaf Neumann |
Extending BPEL4WS for Multiple Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 34. Jahrestagung der Gesellschaft für Informatik, Informatik verbindet, INFORMATIK 2004, Ulm, Germany, September 20-24, 2004, Band 2, pp. 524-529, 2004, GI, 3-88579-380-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part II, pp. 397-404, 2004, Springer, 3-540-22977-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gauthier Picard |
Cooperative Agent Model Instantiation to Collective Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, pp. 209-221, 2004, Springer, 3-540-27330-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Hua Zhou |
A notion of a system pattern (tri-integration) and its instantiation in enterprise application development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Vaclav Cechticky |
Automated instantiation of software frameworks for control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
17 | Hartmut Ehrig |
Behaviour and Instantiation of High-Level Net Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UNIGRA ![In: Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003, pp. 1-15, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Marc Bezem, Hoang Truong 0001 |
A Type System for the Safe Instantiation of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCLASA ![In: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003, pp. 197-217, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ginés Moreno |
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 144-167, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 136(2), pp. 151-188, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Fernández-Conde, Pedro A. González-Calero |
Case-based Framework Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003, pp. 281-288, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: EACL 2003, 10th Conference of the European Chapter of the Association for Computational Linguistics, April 12-17, 2003, Agro Hotel, Budapest, Hungary, pp. 95-98, 2003, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Nancy Ide, Alessandro Lenci, Nicoletta Calzolari |
RDF Instantiation of ISLE/MILE Lexical Entries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (Linguistic Annotation) ![In: Proceedings of the ACL 2003 Workshop on Linguistic Annotation: Getting the Model Right, Sapporo, Japan, July 11, 2003, pp. 30-37, 2003, Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
17 | Roger G. Kermode, Lorenzo Vicisano |
Author Guidelines for Reliable Multicast Transport (RMT) Building Blocks and Protocol Instantiation documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3269, pp. 1-12, April 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael Luby, Jim Gemmell, Lorenzo Vicisano, Luigi Rizzo, Jon Crowcroft |
Asynchronous Layered Coding (ALC) Protocol Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3450, pp. 1-34, December 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Ronald R. Yager |
On the instantiation of possibility distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 128(2), pp. 261-266, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | John N. Hooker, G. Rago, V. Chandru, A. Shrivastava |
Partial Instantiation Methods for Inference in First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 28(5), pp. 371-396, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær |
The Abstraction and Instantiation of String-Matching Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Essence of Computation ![In: The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday], pp. 332-357, 2002, Springer, 3-540-00326-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Arie van Deursen, Merijn de Jonge, Tobias Kuipers |
Feature-Based Product Line Instantiation Using Source-Level Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC ![In: Software Product Lines, Second International Conference, SPLC 2, San Diego, CA, USA, August 19-22, 2002, Proceedings, pp. 217-234, 2002, Springer, 3-540-43985-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 2002, CA 2002, Geneva, Switzerland, June 19-21, 2002, pp. 111-119, 2002, IEEE Computer Society, 0-7695-1594-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Toacy Cavalcante de Oliveira, Ivan Mathias Filho, Carlos José Pereira de Lucena |
Frameworks - A High Level Instantiation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: ICEIS 2002, Proceedings of the 4st International Conference on Enterprise Information Systems, Ciudad Real, Spain, April 2-6, 2002, pp. 650-657, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
17 | Jacques P. Sougné |
Binding and multiple instantiation in a distributed network of spiking nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 13(1), pp. 99-126, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis, 4th International Conference, IDA 2001, Cascais, Portugal, September 13-15, 2001, Proceedings, pp. 13-23, 2001, Springer, 3-540-42581-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Amy P. Felty |
The calculus of constructions as a framework for proof search with set variable instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 232(1-2), pp. 187-229, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hongjun Song, Stan Franklin |
A behaviour instantiation agent architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 12(1), pp. 21-44, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Eng. Des. Anal. Manuf. ![In: Artif. Intell. Eng. Des. Anal. Manuf. 14(4), pp. 323-335, 2000. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Addendum ![In: Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2000, Minneapolis, MN, USA, October 15-19, 2000, pp. 117-118, 2000, ACM, 1-58113-307-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hyopil Shin, Spencer Koehler |
Acquiring Factual Knowledge through Ontological Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings, pp. 828, 2000, Springer, 3-540-67925-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Cyril Soler, François X. Sillion |
Hierarchical Instantiation for Radiosity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rendering Techniques ![In: Proceedings of the Eurographics Workshop on Rendering Techniques 2000, Brno, Czech Republic, June 26-28, 2000, pp. 173-184, 2000, Springer, 3-211-83535-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jana Koehler, Jörg Hoffmann 0001 |
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PuK ![In: Proceedings of the 14th Workshop `New Results in Planning, Scheduling and Design` (PuK2000), Berlin, 21-22 August 2000, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings, pp. 299-302, 1999, Springer, 3-540-66495-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Takashi Mitsuishi, Hiroshi Nunokawa |
Design of Media Description Language for Media Instantiation, Composition and Transportation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 454-461, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 37-51, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | I. M. Bland |
Rapid Instantiation of Hardware Objects for Hardware/Software Codesign. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1999, June 28 - Junlly 1, 1999, Las Vegas, Nevada, USA, pp. 3023-3028, 1999, CSREA Press, 1-892512-15-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
17 | Masahito Yamamoto, Azuma Ohuchi |
A reduction method for theorem proving based on the partial-instantiation technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 23(2), pp. 189-199, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Robin Barker, Gavin Kelly |
The Vulnerability Instantiation Methodology prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Secur. Tech. Rep. ![In: Inf. Secur. Tech. Rep. 3(4), pp. 79-86, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Linguistics Chin. Lang. Process. ![In: Int. J. Comput. Linguistics Chin. Lang. Process. 3(1), 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Avrum E. Itzkowitz, Lois D. Foltan |
Automatic Template Instantiation in DIGITAL C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digit. Tech. J. ![In: Digit. Tech. J. 10(1), 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Huimin Lin |
"On-the-fly Instantiation" of Value-passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France, pp. 215-230, 1998, Kluwer, 0-412-84760-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
17 | Brigitte Pientka, Christoph Kreitz |
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings, pp. 247-258, 1998, Springer, 3-540-64960-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Raymond T. Ng, Xiaomei Tian |
Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 30(3), pp. 179-204, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Design of Computing Systems: Cognitive Considerations, Proceedings of the Seventh International Conference on Human-Computer Interaction, (HCI International '97), San Francisco, California, USA, August 24-29, 1997, Volume 1, pp. 465-468, 1997, Elsevier, 0-444-82183-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Kathleen Ahrens, Li-Li Chang, Keh-Jiann Chen, Chu-Ren Huang |
Meaning Representation and Meaning Instantiation for Chinese Nominals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROCLING ![In: Proceedings of the 10th Research on Computational Linguistics International Conference, ROCLING 1997, Taipei, Taiwan, August 1997, pp. 4-18, 1997, The Association for Computational Linguistics and Chinese Language Processing (ACLCLP). The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Grigori Mints |
Existential Instantiation and Strong Normalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, pp. 258-265, 1997, Springer, 3-540-63045-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Vadim Kagan, Anil Nerode, V. S. Subrahmanian |
Computing Minimal Models by Partial Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 155(1), pp. 157-177, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Kee Yong Lim |
Structured Task Analysis: An Instantiation of the MUSE Method for Usability Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 8(1), pp. 31-50, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Markus Baumeister |
Attribute Grouping: Emulating Metamodels Without Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOIS ![In: Proceedings of the 1996 International Conference on Object Oriented Information Systems, OOIS 1996, London, UK, December 16-18, 1996, pp. 169-179, 1996, Springer, 3-540-76132-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Amy P. Felty |
Proof Search with Set Variable Instantiation in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 658-672, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
Negation as Instantiation ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 120(2), pp. 263-278, August 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Raymond T. Ng, Xiaomei Tian |
Incremental Methods for Optimizing Partial Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings, pp. 287-301, 1995, Springer, 3-540-59487-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Alan M. Frisch, C. David Page Jr. |
Building Theories into Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes, pp. 1210-1216, 1995, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Vadim Kagan, Anil Nerode, V. S. Subrahmanian |
Computing Definite Logic Programs by Partial Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 67(1-3), pp. 161-182, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Paulo César Masiero, Carlos A. Alves Meira |
Development and instantiation of a generic application generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 23(1), pp. 27-37, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Carlo Celluci |
Existential Instantiation and Normalization in Sequent Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 58(2), pp. 111-148, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | James G. Williams 0002 |
Instantiation Theory - On the Foundations of Automated Deduction ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
DOI RDF |
|
17 | Henry Basson, Jean-Claude Derniame |
Quality tree extensions and partial instantiation for Ada objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADAS ![In: Proceedings of the Eighth Annual Washington Ada Symposium & Summer SIGAda Meeting on Ada - Software: Foundation for Competitveness, WADAS 1991, McLean, Virginia, USA, June 17-21, 1991, pp. 156-171, 1991, ACM, 978-0-89791-393-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Robert S. Boyer, David M. Goldschlag, Matt Kaufmann, J Strother Moore |
Functional Instantiation in First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial and Mathematical Theory of Computation ![In: Artificial and Mathematical Theory of Computation, Papers in Honor of John McCarthy on the occasion of his sixty-fourth birthday., pp. 7-26, 1991, Academic Press / Elsevier, 978-0-12-450010-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Jun Shen, Gordon V. Cormack |
Automatic instantiation in Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRI-Ada ![In: Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991, pp. 338-346, 1991, ACM, 978-0-89791-445-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Dewayne E. Perry |
Policy and product-directed process instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPW ![In: Proceedings of the Sixth International Software Process Workshop (ISPW '90), October 1990, Hakodate, Japan, pp. 163-166, 1990, IEEE Computer Society, 0-8186-2495-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Danny De Schreye, Maurice Bruynooghe |
On the Transformation of Logic Programs with Instantiation Based Computation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 7(2), pp. 125-154, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Colin Runciman, Mike Firth, Nigel Jagger |
Transformation in a Non-Strict Language: An Approach to Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Functional Programming ![In: Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK, pp. 133-141, 1989, Springer, 3-540-19609-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
17 | Peter Schnorf |
Dynamic instantiation and configuration of functionally extended, efficient lexical analysers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(10), pp. 93-102, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | M. M. Lehman |
Model Based Approach to IPSE Architecture and Design: The IST ISTAR Project as an Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Data Eng. Bull. ![In: IEEE Data Eng. Bull. 10(1), pp. 2-13, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | Lee A. Becker |
Data structures through plan instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 15th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1984, Philadelphia, PA, USA, February 16-17, 1984, pp. 190-195, 1984, ACM, 978-0-89791-126-9. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Donald Simon |
A Linear Time Algorithm for a Subcase of Second Order Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings, pp. 209-223, 1984, Springer, 3-540-96022-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
17 | Michael J. Pazzani |
Interactive Script Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the National Conference on Artificial Intelligence, Washington, D.C., USA, August 22-26, 1983., pp. 320-326, 1983, AAAI Press, 0-262-51052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 14th annual workshop on Microprogramming, MICRO 1981, Chatham (Cape Cod), Massachusetts, USA, pp. 124-130, 1981, IEEE/ACM. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
17 | Nachum Dershowitz |
The Evolution of Programs: Program Abstraction and Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 5th International Conference on Software Engineering, San Diego, California, USA, March 9-12, 1981., pp. 79-89, 1981, IEEE Computer Society, 0-89791-146-6. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
17 | Carl Engelman, Ethan A. Scarl, Charles H. Berg |
Interactive Frame Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980., pp. 184-186, 1980, AAAI Press/MIT Press, 0-262-51050-2. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
17 | Harvey Friedman |
On the Derivability of Instantiation Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 42(4), pp. 506-514, 1977. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 3(4), pp. 373-379, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
17 | Dag Prawitz |
A Note on Existential Instantiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 32(1), pp. 81-82, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
15 | Josh Tenenberg |
Industry fellows: bringing professional practice into the classroom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 72-76, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
industry/academic collaboration, professional practice |
15 | Chuan-Kai Lin, Tim Sheard |
Pointwise generalized algebraic data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010, pp. 51-62, 2010, ACM, 978-1-60558-891-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pointwise baseline, pointwise unification, pointwise unifier, gadts |
15 | Anindya De, Thomas Vidick |
Near-optimal extractors against quantum storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 161-170, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(4), pp. 501-520, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Swen Jacobs |
Incremental Instance Generation in Local Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 368-382, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Yuliya Lierler, Vladimir Lifschitz |
One More Decidable Class of Finitely Ground Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 489-493, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Claire Lefèvre, Pascal Nicolas |
A First Order Forward Chaining Approach for Answer Set Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 196-208, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Anja Lehmann, Stefano Tessaro |
A Modular Design for Hash Functions: Towards Making the Mix-Compress-Mix Approach Practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 364-381, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|