Search results for "procedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
79	Kelly Burke, Kregg Aytes	Preference for Procedural Ordering in Distributed Groups: How Do Media and Repeated Interaction Affect Perceptions and Procedural Structuring?	HICSS	2001	DBLP DOI BibTeX RDF	Small groups, meeting structure, procedural order
61	Giliam J. P. de Carpentier, Rafael Bidarra	Interactive GPU-based procedural heightfield brushes.	FDG	2009	DBLP DOI BibTeX RDF	heightfields, procedural synthesis, shader programming, graphics hardware, GPGPU, terrain modeling
60	Alexandros Xenakis, Ann Macintosh	Procedural security analysis of electronic voting.	ICEC	2004	DBLP DOI BibTeX RDF
60	Gene Fuh, Jyh-Herng Chow, Nelson Mendonça Mattos, Brian T. Tran	Supporting procedural constructs in existing SQL compilers.	CASCON	1996	DBLP BibTeX RDF	SQL
54	Ares Lagae, Philip Dutré	A procedural object distribution function.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	Nonperiodic tiling, Poisson disk distribution, Poisson disk tiles, object distribution, stochastic tiling, texture basis function, sampling, procedural modeling, procedural texture, Wang tiles
54	Terence Blackburn, Damien Bright, Rudi Vernik	Evaluating procedural aspects of intense collaboration.	NordiCHI	2004	DBLP DOI BibTeX RDF	intense collaboration, procedural guidance, procedural support, workspace orchestration, workspace awareness
54	Houari A. Sahraoui, Walcélio L. Melo, Hakim Lounis, F. Dumont	Applying Concept Formation Methods to Object Identification in Procedural Code.	ASE	1997	DBLP DOI BibTeX RDF	concept formation methods, procedural code, legacy software systems, computer-supported approach, procedural software systems, modularity, flexibility, information hiding, reusability, maintainability, encapsulation, expandability, object-oriented technology, object identification, data encapsulation
54	Amy L. Baylor, Soyoung Kim	The Effects of Agent Nonverbal Communication on Procedural and Attitudinal Learning Outcomes.	IVA	2008	DBLP DOI BibTeX RDF	agent nonverbal communication, procedural learning, attitude change, gestures, persuasive technology, Interface agents, pedagogical agents
54	Kevin R. Glass, Chantelle Morkel, Shaun Bangay	Duplicating road patterns in south african informal settlements using procedural techniques.	Afrigraph	2006	DBLP DOI BibTeX RDF	informal settlement, subdivision, L-systems, procedural modeling, Voronoi, city modeling
54	Nathan A. Carr, John C. Hart	Meshed atlases for real-time procedural solid texturing.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	MIP-map, texture mapping, procedural texturing, solid texturing, Mesh partitioning, texture atlas
54	Alexandros Xenakis, Ann Macintosh	Procedural Security in Electronic Voting.	HICSS	2004	DBLP DOI BibTeX RDF
49	Uday S. Reddy	Programming with sequences.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	abstract sequences, axiomatic reasoning, eight-queens problem, functional forms, operational reasoning, functional programming, dynamism, variables, recursion, fixed points, Procedural programming
49	Freek Wiedijk	Mizar Light for HOL Light.	TPHOLs	2001	DBLP DOI BibTeX RDF
49	Manuel Alfonseca 0001	Object Oriented Programming (Tutorial).	APL	1990	DBLP DOI BibTeX RDF	APL, C++, Smalltalk
47	Richard Baxter, Zacharia Crumley, Rudolph Neeser, James E. Gain	Automatic addition of physics components to procedural content.	Afrigraph	2010	DBLP DOI BibTeX RDF	descriptive grammars, wall grammars, physics, L-systems, shape grammars, procedural generation, dynamic animation
47	Benjamin Watson 0001, Pascal Müller, Oleg Veryovka, Andy Fuller, Peter Wonka, Chris Sexton	Procedural Urban Modeling in Practice.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF	archeology, digital film, computer games, Procedural modeling, urban planning, urban modeling
47	Tamar Vilner, Ela Zur, Judith Gal-Ezer	Fundamental concepts of CS1: procedural vs. object oriented paradigm - a case study.	ITiCSE	2007	DBLP DOI BibTeX RDF	OOP paradigm, procedural paradigm, CS1
47	Bernhard Peischl, Safeeullah Soomro, Franz Wotawa	Towards Lightweight Fault Localization in Procedural Programs.	IEA/AIE	2006	DBLP DOI BibTeX RDF	model-based software debugging, software debugging, control software, procedural abstraction
47	R. Brooks Van Horn III, Greg Turk	Antialiasing Procedural Shaders with Reduction Maps.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
47	Xiang Chen 0001, Min Li 0029, Shuming Gao	A Web Service for Exchanging Procedural CAD Models Between Heterogeneous CAD Systems.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
47	Alexandros Xenakis, Ann Macintosh	Procedural Security and Social Acceptance in E-Voting.	HICSS	2005	DBLP DOI BibTeX RDF
47	Aftab Ahmad, Muhammad Talha	A Measurement Based Comparative Evaluation of Effectiveness of Object-Oriented Versus Conventional Procedural Programming Techniques and Languages.	APSEC	2002	DBLP DOI BibTeX RDF
47	Lisa K. Ferrett, Jeff Offutt	An Empirical Comparison of Modularity of Procedural and Object-oriented Software.	ICECCS	2002	DBLP DOI BibTeX RDF
42	Carsten Meyer, Robert Manzke, Jochen Peters, Olivier Ecabert, Reinhard Kneser, Vivek Y. Reddy, Raymond C. Chan, Jürgen Weese	Automatic Intra-operative Generation of Geometric Left Atrium/Pulmonary Vein Models from Rotational X-Ray Angiography.	MICCAI (2)	2008	DBLP DOI BibTeX RDF
40	Augustus K. Uht	A Theory of Reduced and Minimal Procedural Dependencies.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	reduced procedural dependencies, minimal procedural dependencies, reduced set, reduced data dependencies, minimal semantic dependencies, concurrency control, codes, instruction sets, reduced instruction set computing
40	Yingying She, Peter Grogono	The procedural planning system used in the agent architecture of games.	Future Play	2008	DBLP DOI BibTeX RDF	procedural planning system, agent, game, planning, agent architecture, goal oriented design
40	Athulan Vijayaraghavan, David A. Dornfeld	Subdivision surfaces for procedural design of imprint rolls.	Symposium on Solid and Physical Modeling	2008	DBLP DOI BibTeX RDF	procedural design, roller imprinting, subdivision surfaces, finite element analysis
40	Pascal Müller, Gang Zeng, Peter Wonka, Luc Van Gool	Image-based procedural modeling of facades.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	design computation, urban reconstruction, architecture, image-based modeling, procedural modeling
40	Robert Bridson, Jim Houriham, Marcus Nordenstam	Curl-noise for procedural fluid flow.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	noise, turbulence, fluids, procedural animation
40	Pat O'Brien	Applying US DoD Human Engineering Methods to Reduce Procedural Error Related Outages.	ISAS	2007	DBLP DOI BibTeX RDF	Human Factors Engineering, Procedural Errors, Usability, Interface Design, Man-Machine Interaction
40	Chantelle Morkel, Shaun Bangay	Procedural modeling facilities for hierarchical object generation.	Afrigraph	2006	DBLP DOI BibTeX RDF	procedural modeling, modeling tools, human modeling
40	Aurélien Martinet, Eric Galin, Brett Desbenoit, Samir Akkouche	Procedural Modeling of Cracks and Fractures.	SMI	2004	DBLP DOI BibTeX RDF	Procedural modeling, fractures, cracks
40	Dae-Hwan Kim, Hyuk-Jae Lee	Iterative procedural abstraction for code size reduction.	CASES	2002	DBLP DOI BibTeX RDF	post-pass optimization, embedded systems, optimizing compiler, code size reduction, procedural abstraction
40	Charles Welty, David W. Stemple	Human Factors Comparison of a Procedural and a Nonprocedural Query Language.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	procedural and nonprocedural languages, human factors, query languages, database systems
40	Muhammad Usman Bhatti, Stéphane Ducasse, Marianne Huchard	Reconsidering Classes in Procedural Object-Oriented Code.	WCRE	2008	DBLP DOI BibTeX RDF
40	José Luis Hidalgo, Emilio Camahort, Francisco Abad, Maria J. Vicent	Procedural Graphics Model and Behavior Generation.	ICCS (2)	2008	DBLP DOI BibTeX RDF
40	Ling Yin, Richard Power	Adapting the Naive Bayes Classifier to Rank Procedural Texts.	ECIR	2006	DBLP DOI BibTeX RDF
40	Leelani Kumari Wickramasinghe, L. Damminda Alahakoon	Representation of Procedural Knowledge of an Intelligent Agent Using a Novel Cognitive Memory Model.	KES (1)	2005	DBLP DOI BibTeX RDF
40	Nelishia Pillay	Using genetic programming for the induction of novice procedural programming solution algorithms.	SAC	2002	DBLP DOI BibTeX RDF	intelligent programming tutors, genetic programming
40	Carol L. Redfield, Benjamin Bell, Patricia Y. Hsieh, Joseph Lamos, R. Bowen Loftin, David Palumbo	Methodologies for Tutoring in Procedural Domains.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
40	David G. Von Bank, Charles M. Shub, Robert W. Sebesta	A Unified Model of Pointwise Equivalence of Procedural Computations.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	dynamic migration, heterogeneous migration
40	François Denis, Jean-Paul Delahaye	Unfolding, Procedural and Fixpoint Semantics of Logic Programs.	STACS	1991	DBLP DOI BibTeX RDF
37	Neculai Archip, Servet Tatli, Paul R. Morrison, Ferenc A. Jolesz, Simon K. Warfield, Stuart G. Silverman	Non-rigid Registration of Pre-procedural MR Images with Intra-procedural Unenhanced CT Images for Improved Targeting of Tumors During Liver Radiofrequency Ablations.	MICCAI (2)	2007	DBLP DOI BibTeX RDF	demons, radiofrequency ablation, b-splines, targeting, non-rigid registration, biomechanical model
35	Kenneth Hullett, Michael Mateas	Scenario generation for emergency rescue training games.	FDG	2009	DBLP DOI BibTeX RDF	procedural level generation, serious games, qualitative reasoning
35	Ayal Zaks, Vitaly Feldman, Nava Aizikowitz	Sealed calls in Java packages.	OOPSLA	2000	DBLP DOI BibTeX RDF	call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph
35	Rajeev Alur	Temporal Reasoning about Program Executions.	FoSSaCS	2009	DBLP DOI BibTeX RDF
35	Yao-Hua Tan	A Trust Matrix Model for Electronic Commerce.	iTrust	2003	DBLP DOI BibTeX RDF
35	Ken Roger Riggs	Production rules as programming.	ACM Southeast Regional Conference	2000	DBLP DOI BibTeX RDF
35	Sagar Pidaparthi, Grzegorz Cysewski	Case Study in Migration to Object-Oriented System Structure Using Design Transformation Methods.	CSMR	1997	DBLP DOI BibTeX RDF
33	Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher	Extending the loop language with higher-order procedural variables.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Gödel System T, Loop language, higher-order procedures, procedural variables
33	Markus Lipp, Peter Wonka, Michael Wimmer 0001	Interactive visual editing of grammars for procedural architecture.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	usability, procedural modeling, architectural modeling, shape grammars
33	Mores Prachyabrued, Timothy Roden, Ryan G. Benton	Procedural generation of stylized 2D maps.	Advances in Computer Entertainment Technology	2007	DBLP DOI BibTeX RDF	data amplification, stylized map, procedural generation
33	Liying Wang, Wei Hua, Hujun Bao	Procedural Modeling of Residential Zone Subject to Urban Planning Constraints.	ICEC	2007	DBLP DOI BibTeX RDF	constrained layout optimization, Procedural modeling, urban planning
33	Komminist Weldemariam, Adolfo Villafiorita, Andrea Mattioli	Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach.	VOTE-ID	2007	DBLP DOI BibTeX RDF	Procedural Security, Threat Actions, Modeling, e-Voting
33	Pascal Müller, Peter Wonka, Simon Haegler, Andreas Ulmer, Luc Van Gool	Procedural modeling of buildings.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Chomsky grammars, architecture, computer-aided design, L-systems, procedural modeling
33	Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang	Inter-procedural stacked register allocation for itanium® like architecture.	ICS	2003	DBLP DOI BibTeX RDF	hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot
33	Stefan Greuter, Jeremy Parker, Nigel Stewart, Geoff Leach	Real-time procedural generation of 'pseudo infinite' cities.	GRAPHITE	2003	DBLP DOI BibTeX RDF	LRU caching, view frustum filling, real-time, architecture, procedural generation
33	David L. Kao, Alex Pang	Advecting Procedural Textures for 2D Flow Animation.	PG	2001	DBLP DOI BibTeX RDF	animation, critical points, vector field, Procedural textures, texture advection
33	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	ESOP	2000	DBLP DOI BibTeX RDF	Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
33	Esteban Walter Gonzalez Clua, Marcelo Dreux, Marcelo Gattass	2D Texture Refinement Using Procedural Functions.	IV	1999	DBLP DOI BibTeX RDF	Procedural functions, interpolation, texture-mapping
33	Jack Minker, Arcot Rajasekar	Procedural Interpretation of Non-Horn Logic Programs.	CADE	1988	DBLP DOI BibTeX RDF	generalized closed world assumption, non-horn programs, procedural interpretation, support-for-negation, logic programming, negation
33	Min-Zhi Shao, Qunsheng Peng 0001, You-Dong Liang	A new radiosity approach by procedural refinements for realistic image sythesis.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	hemi-cube, procedural iteration, global illumination, radiosity, progressive refinement, form-factors, distributed ray tracing
33	Guillaume Gilet, Jean-Michel Dischler	Procedural texture particles.	SI3D	2010	DBLP DOI BibTeX RDF
33	Keun Soo Yim, Jeong-Joon Yoo, Jae Don Lee, Jihong Kim 0001	Operating System Support for Procedural Abstraction in Embedded Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
33	Turner Whitted, James T. Kajiya	Fully procedural graphics.	Graphics Hardware	2005	DBLP DOI BibTeX RDF
33	Dinesh A. Mirchandani, Albert L. Lederer	Procedural Justice and the Planning of Information Systems in Multinational Firms.	HICSS	2005	DBLP DOI BibTeX RDF
33	Orion Sky Lawlor, John C. Hart	Bounding Recursive Procedural Models Using Convex Optimization.	PG	2003	DBLP DOI BibTeX RDF
33	Richard Angros, W. Lewis Johnson, Jeff Rickel, Andrew Scholer	Learning domain knowledge for teaching procedural skills.	AAMAS	2002	DBLP DOI BibTeX RDF	machine learning, knowledge acquisition, programming by demonstration, interface agents, pedagogical agents
33	Johan Runeson, Sven-Olof Nyström, Jan Sjödin	Optimizing Code Size through Procedural Abstraction.	LCTES	2000	DBLP DOI BibTeX RDF
33	Cynthia L. Corritore, Susan Wiedenbeck	Direction and Scope of Comprehension-Related Activities by Procedural and Object-Oriented Programmers: An Empirical Study.	IWPC	2000	DBLP DOI BibTeX RDF	object-oriented, program comprehension, mental models, program maintenance
33	Roger Hartley, Heather Pfeiffer	Visual Representation of Procedural Knowledge.	VL	2000	DBLP DOI BibTeX RDF
33	Keith R. Milliken, Allan J. Finkel, David A. Klein, Norman B. Waite	Adding Rule-Based Techniques to Procedural Languages.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	PL/I
28	David Xinliang Li, Raksit Ashok, Robert Hundt	Lightweight feedback-directed cross-module optimization.	CGO	2010	DBLP DOI BibTeX RDF	cross-module, feedback-directed, inter-procedural, optimization
28	Manuel N. Gamito, Steve C. Maddock	Ray casting implicit fractal surfaces with reduced affine arithmetic.	Vis. Comput.	2007	DBLP DOI BibTeX RDF	Procedural noise functions, Implicit surfaces, Ray casting, Affine arithmetic
28	Nelishia Pillay, Vikash R. Jugoo	An investigation into student characteristics affecting novice programming performance.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	novice programming performance, student characteristics, procedural programming
28	Fabio Pellacini	User-configurable automatic shader simplification.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	level of detail, languages, interactive rendering, rendering systems, hardware systems, procedural shading
28	Frédéric Drago, Norishige Chiba	Painting canvas synthesis.	Vis. Comput.	2004	DBLP DOI BibTeX RDF	Artistic heritage preservation, Procedural textures synthesis, Texturing and shading, Displacement mapping, Cloth simulation
28	WoonKiong Tan	A semantic model of a small typed functional language using Object-Z.	APSEC	2000	DBLP DOI BibTeX RDF	typed functional language, Object-Z notation, object-oriented procedural languages, programming languages, specification languages, specification languages, object-oriented languages, abstract data types, object-oriented methods, functional languages, denotational semantics, semantic model, programming language semantics, meta-language
28	Georgios Papaioannou 0001, Theoharis Theoharis, Alexander Boehm 0001	A texture controller.	Vis. Comput.	1998	DBLP DOI BibTeX RDF	Texture control, Texture mapping, Procedural texture
28	Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron	Language Design For Program Manipulation.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering, Ada, object-oriented programming, Pascal, typing, language design, high level languages, unfolding, Modula-2, naming, abstract syntax, scoping, object-oriented programming languages, static semantics, program manipulation, program manipulations, procedural languages
28	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
28	Kelvin Wu, Lei Yu 0001, Michal Cutler	Towards Answering How do I Questions Using Classification.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
28	Lei Wang, Xikun Sun	Escape analysis for synchronization removal.	SAC	2006	DBLP DOI BibTeX RDF	synchronization removal, java, optimization, escape analysis
28	Ioannis Panagopoulos, Christos Pavlatos, George K. Papakonstantinou	An Embedded Microprocessor for Intelligent Control.	J. Intell. Robotic Syst.	2005	DBLP DOI BibTeX RDF	embedded systems, logic programming, microprocessor, intelligent control, RISC, declarative programs
28	Michael G. Morris, Cheri Speier, Jeffrey A. Hoffer	The Impact of Experience on Individual Performance and Workload Differences Using Object-Oriented and Process-Oriented Systems Analysis Techniques.	HICSS (2)	1996	DBLP DOI BibTeX RDF
26	David Fletcher, Yong Yue 0001, Majid Al Kader	Challenges and Perspectives of Procedural Modelling and Effects.	IV	2010	DBLP DOI BibTeX RDF	Street Planning, Procedural Modelling, Terrain Modelling, Hierarchical Approaches
26	Guilherme N. Oliveira, Rafael P. Torchelsen, João Luiz Dihl Comba, Marcelo Walter, Rui Bastos	Geotextures: A Multi-source Geodesic Distance Field Approach for Procedural Texturing of Complex Meshes.	SIBGRAPI	2010	DBLP DOI BibTeX RDF	geodesics, distance fields, Procedural texturing
26	Ares Lagae, Sylvain Lefebvre 0001, George Drettakis, Philip Dutré	Procedural noise using sparse Gabor convolution.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	noise, rendering, shading, procedural texture
26	Stefan Schäckeler, Weijia Shang	Procedural Abstraction with Reverse Prefix Trees.	CGO	2009	DBLP DOI BibTeX RDF	post-pass optimization, reverse prefix tree, embedded systems, suffix tree, program visualization, code size reduction, code compaction, procedural abstraction
26	Benjamin Watson 0001, Peter Wonka	Procedural Methods for Urban Modeling.	IEEE Computer Graphics and Applications	2008	DBLP DOI BibTeX RDF	procedural modeling, architectural modeling, urban modeling
26	Guoning Chen, Gregory Esch, Peter Wonka, Pascal Müller, Eugene Zhang	Interactive procedural street modeling.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	street modeling, street networks, tensor field design, procedural modeling, tensor fields
26	Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner	Compilation of procedural models.	Web3D	2008	DBLP DOI BibTeX RDF	generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems
26	Timothy Roden, Ian Parberry	Clouds and stars: efficient real-time procedural sky rendering using 3D hardware.	Advances in Computer Entertainment Technology	2005	DBLP DOI BibTeX RDF	sky, real-time, game, virtual, clouds, environment, procedural, stars
26	Sylvain Guerraz, Frank Perbet, David Raulo, François Faure, Marie-Paule Cani	A Procedural Approach to Animate Interactive Natural Sceneries.	CASA	2003	DBLP DOI BibTeX RDF	animation, levels of detail, natural phenomena, procedural modelling, autonomous character
26	Andrej Cedilnik, Penny Rheingans	Procedural annotation of uncertain information.	IEEE Visualization	2000	DBLP DOI BibTeX RDF	annotation, glyphs, uncertainty visualization, procedural generation
26	Reiner W. Hartenstein, Karin Schmidt	Combining structural and procedural programming by parallelizing compilation.	SAC	1995	DBLP DOI BibTeX RDF	data-parallel machine, field-programmable logic, structural programming, procedural programming
26	D. C. Maddever	A wool specification expert system in LEVEL 5 ObjectTM or experiences of a procedural programmer with a hybrid system.	ANNES	1995	DBLP DOI BibTeX RDF	textile industry, wool specification expert system, LEVEL5 Object, procedural programmer, VP Expert, New Zealand wool, carpet yarn, yarn manufacturing plant, genetic algorithms, learning (artificial intelligence), learning, evolutionary algorithm, object-oriented programming, object oriented programming, software tools, expert systems, expert system, FORTRAN, FORTRAN, system design, systems analysis, hybrid system, intelligent system, systems developments, computer integrated manufacturing
26	Jianzhong Li 0003, James S. K. Ang, Xuejun Tong, Michel Tueni	AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	declarative formalism, Activity Manager System, domain-independent formalism, AMS, knowledge hierarchies, abstract entities, knowledge reusability, MOPA, knowledge representation, knowledge representation, abstraction, software reusability, abstract data types, activity network, hierarchical representation, procedural knowledge
26	Huimin Lin	Procedural Implementation of Algebraic Specification.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	abstract implementation, Spec, program refinement, procedural abstraction
26	Yueh-Hung Lin, Chia-Yang Liu, Hung-Wei Lee, Shwu-Lih Huang, Tsai-Yen Li	Evaluating Emotive Character Animations Created with Procedural Animation.	IVA	2009	DBLP DOI BibTeX RDF