Search results for "procedural"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Liyu Tang, Chongcheng Chen, Qinmin Wang, Jingjing Sun	Modeling of Pinus Massoniana Based Morphological Architecture.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
14	Pauli Byckling, Petri Gerdt, Jorma Sajaniemi	Roles of variables in object-oriented programming.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	object-oriented programming, computer science education, roles of variables
14	Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring.	DATE	2005	DBLP DOI BibTeX RDF
14	Dmitry Kochin, Leonas Ustinovichius, Victoria Sliesoraitiene	Implicit Learning System for Teaching the Art of Acute Cardiac Infarction Diagnosis.	AIME	2005	DBLP DOI BibTeX RDF
14	Richard Stahl, Francky Catthoor, Diederik Verkest	Object-Distribution Analysis for Program Decomposition and Re-Clustering.	IPDPS	2005	DBLP DOI BibTeX RDF
14	Marc Olano	Modified noise for evaluation on graphics hardware.	Graphics Hardware	2005	DBLP DOI BibTeX RDF
14	Daniel R. Bekins, Daniel G. Aliaga	Build-by-Number: Rearranging the Real World to Visualize Novel Architectural Spaces.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
14	Richard Stahl, Francky Catthoor, Diederik Verkest	Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
14	Neung Eun Kang, Wan Chul Yoon	A cognitive modeling of the user's exploratory behavior with prior knowledge.	TAMODIA	2005	DBLP DOI BibTeX RDF	convergence device, exploratory behavior, non-planned task, opportunistic activity, cognitive model, prior knowledge
14	Ameet K. Jain, Ryan Kon, Yu Zhou 0018, Gabor Fichtinger	C-arm Calibration - Is it Really Necessary?.	MICCAI	2005	DBLP DOI BibTeX RDF
14	M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer	Subgoal Semantics in Agent Programming.	EPIA	2005	DBLP DOI BibTeX RDF
14	Kaustubh Patil, Kiran Seth, Frank Mueller 0001	Compositional static instruction cache simulation.	LCTES	2004	DBLP DOI BibTeX RDF	scheduling, real-time systems, caches, worst-case execution time
14	Ioannis Panagopoulos, Christos Pavlatos, George K. Papakonstantinou	A hardware extension of the RISC microprocessor for Attribute Grammar evaluation.	SAC	2004	DBLP DOI BibTeX RDF	RISC microprocessors, Attribute Grammars, declarative programs
14	Hyo-Jeong Lee, Yu-Seung Ma, Yong Rae Kwon	Empirical Evaluation of Orthogonality of Class Mutation Operators.	APSEC	2004	DBLP DOI BibTeX RDF
14	Jonathan Lawrence	Practical Application of CSP and FDR to Software Design.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
14	Dorothea Iglezakis	Adaptive Help for Webbased Applications.	AH	2004	DBLP DOI BibTeX RDF
14	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
14	John Rieffel, Jordan B. Pollack	The Emergence of Ontogenic Scaffolding in a Stochastic Development Environment.	GECCO (1)	2004	DBLP DOI BibTeX RDF
14	Myungsook Klassen	Another approach to teaching programming concept course with object first.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	attrition rate, innovative teaching, programming concepts, object oriented programming, problem solving, Alice, 3D animation, logical reasoning
14	Philip J. Burton, Russel E. Bruhn	Teaching programming in the OOP era.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF
14	W. Eric Wong, J. Jenny Li	Redesigning Legacy Systems into the Object-Oriented Paradigm.	ISORC	2003	DBLP DOI BibTeX RDF	OO redesign, procedure/variable call graph, structure distance, code partition, feature visualization, execution slice, structural pattern
14	Michael J. Pratt	Proceduarl Modelling, Generative Geometry, and the International Standard ISO 10303 (STEP).	IMA Conference on the Mathematics of Surfaces	2003	DBLP DOI BibTeX RDF
14	Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas	CAML - A Universal Configuration Language for Dialogue Systems.	DEXA	2003	DBLP DOI BibTeX RDF
14	Maria Bergholtz, Prasad Jayaweera, Paul Johannesson, Petia Wohed	Reconciling Physical, Communicative, and Social/Institutional Domains in Agent Oriented Information Systems ? A Unified Framework.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
14	Maria Bergholtz, Prasad Jayaweera, Paul Johannesson, Petia Wohed	Modelling Institutional, Communicative and Physical Domains in Agent Oriented Information Systems.	AOIS	2003	DBLP DOI BibTeX RDF
14	Clare Bates Congdon, Raymond H. Mazza	GenTree: An Interactive Genetic Algorithms System for Designing 3D Polygonal Tree Models.	GECCO	2003	DBLP DOI BibTeX RDF
14	Mehdi Najjar, André Mayers	A Computational Cognitive-Based Approach to Represent Knowledge within Intelligent Tutoring Systems.	ICALT	2003	DBLP DOI BibTeX RDF
14	Frank S. de Boer, Cees Pierik	How to Cook a Complete Hoare Logic for Your Pet OO Language.	FMCO	2003	DBLP DOI BibTeX RDF
14	Hans-Gerhard Groß, Nikolas Mayer	Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development.	WORDS	2003	DBLP DOI BibTeX RDF
14	Tessa A. Lau, Pedro M. Domingos, Daniel S. Weld	Learning programs from traces using version space algebra.	K-CAP	2003	DBLP DOI BibTeX RDF
14	Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer	Agent programming in dribble: from beliefs to goals using plans.	AAMAS	2003	DBLP DOI BibTeX RDF	practical reasoning rule, intelligent agent, plans, agent-oriented programming, declarative goals
14	S. A. Nigiyan, S. A. Avetisyan	Semantics of Untyped Functional Programs.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
14	Sergiu Dascalu, Peter Hitchcock	An approach to integrating semi-formal and formal notations in software specification.	SAC	2002	DBLP DOI BibTeX RDF	Z++, integration of notations, UML, UML, formal methods, object-oriented modeling
14	Mark Bergman, Gloria Mark	Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program.	RE	2002	DBLP DOI BibTeX RDF
14	Jan Smid, Marek Obitko, Walt Truszkowski	An Approach to Knowledge Exchange and Sharing between Agents.	WRAC	2002	DBLP DOI BibTeX RDF
14	Antonio Capobianco	Demandes d'aide procédurale: spécification des besoins d'utilisateurs novices.	IHM	2002	DBLP DOI BibTeX RDF	requests taxonomy, user needs modelling, online help, dialogue analysis
14	Guy A. Boy	Interfaces procédurales.	IHM	2002	DBLP DOI BibTeX RDF
14	Babak Khazaei, Michael Jackson	Is There Any Difference in Novice Comprehension of a Small Program Written in the Event-Driven and Object-Oriented Styles?	HCC	2002	DBLP DOI BibTeX RDF	Novice program comprehension, event-driven and object oriented programming styles, mental model theory, empirical study
14	Ying Zou 0001, Kostas Kontogiannis	Migration to Object Oriented Platforms: A State Transformation Approach.	ICSM	2002	DBLP DOI BibTeX RDF
14	Stephen Chenney, Mark Pingel, Rob Iverson, Marcin Szymanski	Simulating cartoon style animation.	NPAR	2002	DBLP DOI BibTeX RDF	squash-and-stretch, stylized animation, deformation, physical simulation, stylized rendering
14	Ilya Shlyakhter, Max Rozenoer, Julie Dorsey, Seth J. Teller	Reconstructing 3D Tree Models from Instrumented Photographs.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
14	Christopher Riley, Siddhartha Chatterjee, Rupak Biswas	High-performance Java codes for computational fluid dynamics.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
14	K. Preston White, Brian Barney, Scott Keller, Robert Schwieters, Jacqueline Villasenor, William S. Terry, Richard G. Fairbrother, Richard D. Saxton	An object-oriented paradigm for simulating postal distribution centers.	WSC	2001	DBLP DOI BibTeX RDF
14	Min Tang 0001, Ye Wen, Xiaofeng Mi, Jinxiang Dong	Parametric Modeling with User-defined Features.	CSCWD	2001	DBLP DOI BibTeX RDF
14	Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno	A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs.	ICOIN	2001	DBLP DOI BibTeX RDF
14	Seok-Min Park, Richard H. Crawford, Joseph J. Beaman	Volumetric multi-texturing for functionally gradient material representation.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF	computational support for new manufacturing technologies, product data exchange, heterogeneous models
14	Salwa K. Abd-El-Hafiz	Entropies as Measures of Software Information.	ICSM	2001	DBLP DOI BibTeX RDF	measure properties, Entropy, information theory, software measurement
14	Sébastien Thon, Jean-Michel Dischler, Djamchid Ghazanfarpour	Ocean Waves Synthesis using a Spectrum-Based Turbulence Function.	Computer Graphics International	2000	DBLP DOI BibTeX RDF	ocean waves, animation, texture, spectral analysis, turbulence
14	Derek Rayside, Steve Reuss, Erik Hedges, Kostas Kontogiannis	The Effect of Call Graph Construction Algorithms for Object-Oriented Programs on Automatic Clustering.	IWPC	2000	DBLP DOI BibTeX RDF
14	Jan Murray, Oliver Obst, Frieder Stolzenburg	Towards a Logical Approach for Soccer Agents Engineering.	RoboCup	2000	DBLP DOI BibTeX RDF
14	Lee Naish	A Three-Valued Semantic for Horn Clause Programs.	ACSC	2000	DBLP DOI BibTeX RDF
14	Harold C. Sun, Dimitris N. Metaxas	Animation of Human Locomotion Using Sagittal Elevation Angles.	PG	2000	DBLP DOI BibTeX RDF
14	Jian-Zhi Wu, Jenq Kuen Lee	A Bytecode Optimizer to Engineer Bytecodes for Performance.	LCPC	2000	DBLP DOI BibTeX RDF
14	Michaël F. Steehouder, Joyce Karreman, Nicole Ummelen	Making sense of step-by-step procedures.	SIGDOC	2000	DBLP BibTeX RDF
14	Mohamed Dessouky, Marie-Minerve Louërat	A Layout Approach for Electrical and Physical Design Integration of High-Performance Analog Circuits.	ISQED	2000	DBLP DOI BibTeX RDF	Analog layout, layout generation
14	Massoud Pedram, Bryan Preas	Interconnection analysis for standard cell layouts.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
14	Alfs T. Berztiss	Transactional Computation.	DEXA	1999	DBLP DOI BibTeX RDF
14	Hank G. Dietz	Speculative Predication Across Arbitrary Interprocedural Control Flow.	LCPC	1999	DBLP DOI BibTeX RDF
14	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
14	Anthony J. Bonner, Michael Kifer	Results on Reasoning about Updates in Transaction Logic.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
14	Julian Dolby, Andrew A. Chien	An Evaluation of Automatic Object Inline Allocation Techniques.	OOPSLA	1998	DBLP DOI BibTeX RDF
14	Hal Hart, James Caristi, Robert Dewar, Mark S. Gerhardt, J. A. Drew Hamilton Jr., Christopher Haynes, Samuel A. Rebelsky	The future of programming - are fundamental changes in computer science programs coming? (panel).	SIGCSE	1998	DBLP DOI BibTeX RDF
14	Jeffrey Walrath, Ranga Vemuri, W. Bradley	Performance verification using partial evaluation and interval analysis.	ED&TC	1997	DBLP DOI BibTeX RDF
14	Kevin Lano, Arturo Sanchez	Design of Reactive Control Systems for Event-Drivem Operations.	FME	1997	DBLP DOI BibTeX RDF
14	Judy Sheard, Dianne Hagan	Experiences with Teaching Object-Oriented Concepts to Introductory Programming Students Using C++.	TOOLS (24)	1997	DBLP DOI BibTeX RDF
14	Weidong Chen 0005, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
14	Ibrahim F. Imam, Ryszard S. Michalski	Learning for Decision Making: the FRD Approach and a Comparative Study.	ISMIS	1996	DBLP DOI BibTeX RDF
14	Stefano Ceri, Elena Baralis, Piero Fraternali, Stefano Paraboschi	Design of Active Rule Applications: Issues and Approaches.	DOOD	1995	DBLP DOI BibTeX RDF
14	Thomas E. Potok, Mladen A. Vouk	Development productivity for commercial software using object-oriented methods.	CASCON	1995	DBLP BibTeX RDF
14	Rick Decker, Stuart Hirshfield	The top 10 reasons why object-oriented programming can't be taught in CS 1.	SIGCSE	1994	DBLP DOI BibTeX RDF	C++
14	Dickson Lukose	Executable Conceptual Structures.	ICCS	1993	DBLP DOI BibTeX RDF
14	Arthur G. Ryman	Illuminating software specifications.	CASCON	1993	DBLP BibTeX RDF
14	David W. Reed, Donald W. Loveland, Bruce T. Smith	The Near-Horn Approach to Disjunctive Logic Programming.	ELP	1991	DBLP DOI BibTeX RDF
14	Joanne L. Boyd, Gerald M. Karam	Prolog in "C".	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	‘C’, Prolog, translation, declarative programming, procedure programming
14	Jirí Zlatuska	Modelling Inheritance in a Strongly Typed Functional Model.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
14	Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos	On Rules, Procedures, Caching and Views in Data Base Systems.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
14	Wolfgang Schönfeld	Properties and Actions.	Natural Language and Logic	1989	DBLP DOI BibTeX RDF
14	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
14	Ivan B. Liss, Thomas C. McMillan	An amazing exercise in recursion for CS1 and CS2.	SIGCSE	1988	DBLP DOI BibTeX RDF
14	Alan Purdy, Bruce Schuchardt, David Maier 0001	Integrating an Object Server with Other Worlds.	ACM Trans. Inf. Syst.	1987	DBLP DOI BibTeX RDF	GemStone
14	Yasubumi Sakakibara	Programming in Modal Logic: An Extension of PROLOG based on Modal Logic.	LP	1986	DBLP DOI BibTeX RDF
14	Eugene W. Myers	A Precise Interprocedural Data Flow Algorithm.	POPL	1981	DBLP DOI BibTeX RDF
14	Noah S. Prywes, Amir Pnueli, S. Shastry	Use of a Nonprocedural Specification Language and Associated Program Generator in Software Development.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
14	Sowmitri Swamy, John E. Savage	Space-Time Tradeoffs for Linear Recursion.	POPL	1979	DBLP DOI BibTeX RDF
14	Robert P. Larsen	Data filtering applied to information storage and retrieval applications.	Commun. ACM	1966	DBLP DOI BibTeX RDF
12	Yeonouk Chu, Sungjoong Kim, Youngkook Song, Yong Tae Yoon, Younggyu Jin	Blockchain-Based REC System for Improving the Aspects of Procedural Complexity and Cyber Security.	IEEE Access	2024	DBLP DOI BibTeX RDF
12	Albert Garifullin, Nikolay Maiorov, Vladimir A. Frolov, Alexey G. Voloboy	Single-View 3D Reconstruction via Differentiable Rendering and Inverse Procedural Modeling.	Symmetry	2024	DBLP DOI BibTeX RDF
12	Tobias Sundqvist, Monowar H. Bhuyan, Erik Elmroth	Robust Procedural Learning for Anomaly Detection and Observability in 5G RAN.	IEEE Trans. Netw. Serv. Manag.	2024	DBLP DOI BibTeX RDF
12	Damian Kutzias, Sebastian von Mammen	Recent Advances in Procedural Generation of Buildings: From Diversity to Integration.	IEEE Trans. Games	2024	DBLP DOI BibTeX RDF
12	Anurag Sarkar, Matthew Guzdial, Sam Snodgrass, Adam Summerville, Tiago Machado, Gillian Smith 0001	Procedural Content Generation via Knowledge Transformation (PCG-KT).	IEEE Trans. Games	2024	DBLP DOI BibTeX RDF
12	Runge Zhu, Cheng Yi	Avatar design in Metaverse: the effect of avatar-user similarity in procedural and creative tasks.	Internet Res.	2024	DBLP DOI BibTeX RDF
12	Mengqi Zhou, Jun Hou, Chuanchen Luo, Yuxi Wang, Zhaoxiang Zhang 0001, Junran Peng	SceneX: Procedural Controllable Large-scale Scene Generation via Large-language Models.	CoRR	2024	DBLP DOI BibTeX RDF
12	Zhen Li, Ning Wang, Deqing Zou, Yating Li, Ruqian Zhang, Shouhuai Xu, Chao Zhang, Hai Jin 0001	On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities.	CoRR	2024	DBLP DOI BibTeX RDF
12	Zhuoqun Li, Hongyu Lin, Yaojie Lu 0001, Hao Xiang, Xianpei Han, Le Sun 0001	Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
12	Ziming Wang, Changwu Huang, Xin Yao 0001	Procedural Fairness in Machine Learning.	CoRR	2024	DBLP DOI BibTeX RDF
12	Arda Uzunoglu, Abdalfatah Rashid Safa, Gözde Gül Sahin	PARADISE: Evaluating Implicit Planning Skills of Language Models with Procedural Warnings and Tips Dataset.	CoRR	2024	DBLP DOI BibTeX RDF
12	Donggang Jia, Yunhai Wang, Ivan Viola	Chat Modeling: Natural Language-based Procedural Modeling of Biological Structures without Training.	CoRR	2024	DBLP DOI BibTeX RDF
12	Geonsun Lee, Jennifer Healey, Dinesh Manocha	DocuBits: VR Document Decomposition for Procedural Task Completion.	CoRR	2024	DBLP DOI BibTeX RDF
12	Fabio Merizzi	Procedural terrain generation with style transfer.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yifei Huang, Guo Chen, Jilan Xu, Mingfang Zhang 0002, Lijin Yang, Baoqi Pei, Hongjie Zhang, Lu Dong, Yali Wang, Limin Wang, Yu Qiao	EgoExoLearn: A Dataset for Bridging Asynchronous Ego- and Exo-centric View of Procedural Activities in Real World.	CoRR	2024	DBLP DOI BibTeX RDF