Search results for "flowchart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Mingsheng Ying, Yuan Feng	A Flowchart Language for Quantum Programming.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	Quantum programming, flowchart language, while-language, structured programming
2	Seok-Ju Chun, Jungwoo Ryoo	Development and application of a web-based programming learning system with LED display kits.	SIGCSE	2010	DBLP DOI BibTeX RDF	led display kit, programming, web-based learning, flowchart
2	Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück	Reversible Flowchart Languages and the Structured Reversible Program Theorem.	ICALP	2008	DBLP DOI BibTeX RDF
2	Zhen-ming Yuan, Hong Pan, Liang Zhang	A Novel Pen-Based Flowchart Recognition System for Programming Teaching.	WBL	2008	DBLP DOI BibTeX RDF	teaching system, SVM, HMM, ICA, sketch recognition
2	Bintu G. Vasudevan, Sorawish Dhanapanichkul, Rajesh Balakrishnan	Flowchart knowledge extraction on image processing.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Sukhamay Kundu	A Modern Graphic Flowchart Layout Tool.	ICDCIT	2004	DBLP DOI BibTeX RDF
2	D. Sarkar, S. C. De Sarkar	Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
2	David A. Scanlan	A factor analytic study of structured flowchart preference.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
2	Hartmut Schmeck	Algebraic Semantics of Recursive Flowchart Schemes.	ICALP	1982	DBLP DOI BibTeX RDF
2	Jean H. Gallier	Semantics and Correctness of Nondeterministic Flowchart Programs with Recursive Procedures.	ICALP	1978	DBLP DOI BibTeX RDF
2	Robert J. Rossheim	Report on proposed American standard flowchart symbols for information processing.	Commun. ACM	1963	DBLP DOI BibTeX RDF
1	Robert Glück	A self-applicable online partial evaluator for recursive flowchart languages.	Softw., Pract. Exper.	2012	DBLP DOI BibTeX RDF
1	Yang Jin, Zhi-yong Hao	An Improved Flowchart for Gabor Order Tracking with Gaussian Window as the Analysis Window.	EURASIP J. Adv. Sig. Proc.	2011	DBLP DOI BibTeX RDF
1	Xiang-Hu Wu, Ming-Cheng Qu, Zhi-Qiang Liu, Jian-Zhong Li	Research and Application of Code Automatic Generation Algorithm Based on Structured Flowchart.	JSEA	2011	DBLP DOI BibTeX RDF
1	Ahmad Naebi, Farhad Khalegi, Farhood Hosseinpour, Ali Ghaleban Zanjanab, Hamed Khoshravan, Aghil Esmaeili Kelishomi, Bahram Rahmatdoustbeilankouh	A New Flowchart and Programming Technique Using Bond Graph for Mechatronic Systems.	UKSim	2011	DBLP DOI BibTeX RDF
1	Ahmad-Montaser Awal, Guihuan Feng, Harold Mouchère, Christian Viard-Gaudin	First experiments on a new online handwritten flowchart database.	DRR	2011	DBLP DOI BibTeX RDF
1	Boris Skoric, Marc X. Makkes	Flowchart description of security primitives for controlled physical unclonable functions.	Int. J. Inf. Sec.	2010	DBLP DOI BibTeX RDF
1	Vojtech Huser, Scott P. Narus, Roberto A. Rocha	Evaluation of a flowchart-based EHR query system: A case study of RetroGuide.	Journal of Biomedical Informatics	2010	DBLP DOI BibTeX RDF
1	Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord	Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs.	SAS	2010	DBLP DOI BibTeX RDF
1	Boris Skoric, Marc X. Makkes	Flowchart description of security primitives for Controlled Physical Unclonable Functions.	IACR Cryptology ePrint Archive	2009	DBLP BibTeX RDF
1	Mamadou K. Traoré	A graphical notation for DEVS.	SpringSim	2009	DBLP DOI BibTeX RDF	state/event chart, business process, DEVS, flowchart, graphical notation
1	Bei Hu, Rongzhi Liu	An Empirical Analysis on the Peasant Entrepreneurs Influence on the Industrial Cluster in Rural China.	NCM	2009	DBLP DOI BibTeX RDF	flowchart approach, rural China development, entrepreneurship, industrial cluster
1	Liming Wu, Yingmin Zhang, Yaohua Deng, Xiuchun Tang	Stroke Segmentation of Reconstruct Offline Handwriting Diagram Based on Continuous Hidden Markov Model.	NCM	2009	DBLP DOI BibTeX RDF	Continuous Density Hidden Markov Model (CHMM), offline handwriting diagram, stroke segmentation, flowchart diagram, electric circuit diagram
1	Yu Cheng, Tao Zhang, Song Chen	VisionSynaptics: a system convert hand-writing and image symbol into computer symbol.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	graphics segmenting, human-computer interaction, intelligent system, symbol recognition
1	Chin Soon Lee	Ranking functions for size-change termination.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis
1	Mustafa Ali Türker, Burak Sandiraz	Can Learning Path Visualisation Serve as Extrasomatic Memory?	ICALT	2009	DBLP DOI BibTeX RDF
1	Patricia Lopes Fujita, Carla Galvão Spinillo	The Importance of Information in the Process of Acquisition and Usage of a Medicine for Patient Safety: A Study of the Brazilian Context.	HCI	2009	DBLP DOI BibTeX RDF	information, task analysis, Medicines
1	Fei-Hui Huang, Ying-Lien Lee, Sheue-Ling Hwang	E-Shopping Behavior and User-Web Interaction for Developing a Useful Green Website.	HCI	2009	DBLP DOI BibTeX RDF	User-Web Interaction, Green product, E-commerce, User-centered design
1	Anna Trujillo	Paper to Electronic Questionnaires: Effects on Structured Questionnaire Forms.	HCI	2009	DBLP DOI BibTeX RDF	Electronic questionnaires, Cooper-Harper controllability rating, questionnaire formats
1	J. Walter Larson	Graphical Notation for Diagramming Coupled Systems.	ICCS	2009	DBLP DOI BibTeX RDF
1	Chuanyi Liu, Xiangshi Ren	Making Pen-Based Operation More Seamless and Continuous.	INTERACT	2009	DBLP DOI BibTeX RDF	twist angle, continuous, pressure, Pen-based system, seamless
1	Jaak Henno	High-Level Specification of Games.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	game programming system, Game, specification, emergence, event-driven architecture, formal description
1	Chris J. Turner, Ashutosh Tiwari, Jörn Mehnen	A genetic programming approach to business process mining.	GECCO	2008	DBLP DOI BibTeX RDF	business process mining, graph based representation, genetic programming
1	Ruhan He, Kaiming Liu, Naixue Xiong, Yong Zhu	Garment Image Retrieval on the Web with Ubiquitous Camera-Phone.	APSCC	2008	DBLP DOI BibTeX RDF
1	Zhenming Yuan, Guichao Jin	Sketch Recognition Based Intelligent Whiteboard Teaching System.	CSSE	2008	DBLP DOI BibTeX RDF
1	Hu Junping, Jin Yuhui, Dou Liang	A Time-based Cluster-Head Selection Algorithm for LEACH.	ISCC	2008	DBLP DOI BibTeX RDF
1	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
1	Karen Marie Lyng, Thomas T. Hildebrandt, Raghava Rao Mukkamala	From Paper Based Clinical Practice Guidelines to Declarative Workflow Management.	Business Process Management Workshops	2008	DBLP DOI BibTeX RDF
1	Hailong Zhang, Weimin Guan, Genzhi Guan	On-Line Diagnosis of Faulty Insulators Based on Improved ART2 Neural Network.	ISNN	2008	DBLP DOI BibTeX RDF
1	Dexter Kozen, Wei-Lung Dustin Tseng	The Böhm-Jacopini Theorem Is False, Propositionally.	MPC	2008	DBLP DOI BibTeX RDF
1	Gamal Said, Angel Smrikarov, Todor Delikostov, Dimitar Stanchev	Computer system for research of the fuel economy of mobile machines.	CompSysTech	2007	DBLP DOI BibTeX RDF	fuel economy, mobile machines, computer system
1	Thomas J. Cortina	An introduction to computer science for non-majors using principles of computation.	SIGCSE	2007	DBLP DOI BibTeX RDF	computer science education, curriculum, computational thinking, non-majors
1	Haitao Yu, Mohamed Al-Hussein, Reza Nasseri	Process flowcharting and simulation of house structure components production process.	Winter Simulation Conference	2007	DBLP DOI BibTeX RDF
1	Mingyi Mao, Zhicheng Chen, Qian Mo	The Architecture of CAR Component Web Service.	SNPD	2007	DBLP DOI BibTeX RDF	CAR component, Web service, Architecture, Component technology
1	Samson W. Tu	Guideline Models, Process Specification, and Workflow.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
1	Philip J. Scott	Traces, Feedback, and the Geometry of Computation (Abstract).	FCT	2007	DBLP DOI BibTeX RDF
1	PingHua Zhang, GuiJie Yang, TieCai Li	Study on the Vector Control Method of IM for Variable Speed Drive Based on DSP.	IROS	2006	DBLP DOI BibTeX RDF
1	Shu-Chang Kuo, Tzu-Chien Hung, Wei-Bin Yang	The new improved pseudo fractional-N clock generator with 50% duty cycle.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Qing K. Zhu, Paige Kolze	Metal Fix and Power Network Repair for SOC.	ISVLSI	2006	DBLP DOI BibTeX RDF
1	Tsair-Fwu Lee, Pei-Ju Chao, Fu-Min Fang, Eng-Yen Huang, Ying-Chen Chang	Intensity Modulated Radiotherapy Target Volume Definition by Means of Wavelet Segmentation.	KES	2006	DBLP DOI BibTeX RDF
1	Klaus Weihrauch	Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming.	CCA	2005	DBLP BibTeX RDF
1	Mark Doernhoefer	Surfing the net for software engineering notes.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Martin Szummer	Learning Diagram Parts with Hidden Random Fields.	ICDAR	2005	DBLP DOI BibTeX RDF
1	Alina Beygelzimer, Mark Brodie, Sheng Ma, Irina Rish	Test-based diagnosis: tree and matrix representations.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
1	Andruid Kerne, Steven M. Smith	The information discovery framework.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	berrypicking, divergent thinking, mental models, information seeking, information foraging, working memory
1	Niels H. Christensen, Robert Glück	Offline partial evaluation can be as accurate as online partial evaluation.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
1	Yong-Fa Qin, Ming-Yang Zhao	Research on optimization method for hybrid assembly line design.	ICARCV	2004	DBLP DOI BibTeX RDF
1	Md. Waselul Haque Sadid, Md. Nazrul Islam Mondal, Md. Shamsul Alam, Abu Sayeed Md. Sohail, Boshir Ahmed	Progressive Boosting for Classifier Committee Learning.	AACC	2004	DBLP DOI BibTeX RDF
1	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
1	Daniel Fu, Randy Jensen, Ryan T. Houlette	Human systems modeling: specifying the behavior of computer-generated forces without programming.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Roberto Fresco, Andrea Pederiva	An Approach to the Process Maps Based on Semantic Web Methodologies.	OTM Workshops	2003	DBLP DOI BibTeX RDF
1	Chris W. Johnson	Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	Sukhamay Kundu	Finite-State Modeling in Software Design: Some Fundamental Techniques.	APSEC	2002	DBLP DOI BibTeX RDF
1	Ting-Fang Wu, Ling Fu Meng, Hwa-Pey Wang, Wu-Tien Wu, Tien-Yu Li	Computer Access Assessment for Persons with Physical Disabilities: A Guide to Assistive Technology Interventions.	ICCHP	2002	DBLP DOI BibTeX RDF
1	Daniel Buck, Andreas Rau	On Modelling Guidelines: Flowchart Patterns for STATEFLOW.	Softwaretechnik-Trends	2001	DBLP BibTeX RDF
1	Yong Tang, Chengjie Mao, Hai-xiang Ou, Xue-liang Yang, Xianji Li	Research on Adaptive IP QoS Management Framework.	CSCWD	2001	DBLP DOI BibTeX RDF
1	Ari Korhonen, Erkki Sutinen, Jorma Tarhio	Understanding Algorithms by Means of Visualized Path Testing.	Software Visualization	2001	DBLP DOI BibTeX RDF
1	Bernd Kühl, Axel-Tobias Schreiner	An object-oriented LL(1) parser generator.	SIGPLAN Notices	2000	DBLP DOI BibTeX RDF
1	Victor Maojo, Luis M. Laita, Eugenio Roanes-Lozano, José Crespo, Juan Rodríguez-Pedrosa	A New Computerized Method to Verify and Disseminate Medical Appropriateness Criteria.	ISMDA	2000	DBLP DOI BibTeX RDF
1	Guozhu Dong, Richard Hull, Bharat Kumar, Jianwen Su, Gang Zhou	A Framework for Optimizing Distributed Workflow Executions.	DBPL	1999	DBLP DOI BibTeX RDF
1	L. Bernátsky, Zoltán Ésik	Semantics on Flowchart Programs and the Free Conway Theories.	ITA	1998	DBLP BibTeX RDF
1	John Hatcliff	An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language.	Partial Evaluation	1998	DBLP DOI BibTeX RDF
1	Pasquale Malacaria, Chris Hankin	Generalised Flowcharts and Games.	ICALP	1998	DBLP DOI BibTeX RDF
1	Jan Jannink	Implementing Deletion in B+-Trees.	SIGMOD Record	1995	DBLP DOI BibTeX RDF
1	Thomas Noll	On the First-Order Equivalence of Call-by-Name and Call-by-Value.	CAAP	1994	DBLP DOI BibTeX RDF
1	Phillip C.-Y. Sheu, Song Bong Yoo	A Knowledge-based Program Transformation System	CAiSE	1994	DBLP DOI BibTeX RDF
1	Jan A. Bergstra, Gheorghe Stefanescu	Translations Between Flowchart Schemes and Process Graphs.	FCT	1993	DBLP DOI BibTeX RDF
1	Virgil Emil Cazanescu, Gheorghe Stefanescu	A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
1	Chris Hankin	Static Analysis of Term Graph Rewriting Systems.	PARLE	1991	DBLP DOI BibTeX RDF
1	Virgil Emil Cazanescu, Gheorghe Stefanescu	A note on axiomatizing flowchart schemes.	Acta Cybern.	1990	DBLP BibTeX RDF
1	Miklós Bartha	Interpretations of Synchronous Flowchart Schemes.	FCT	1989	DBLP BibTeX RDF
1	David A. Scanlan	The structured flowchart niche: strenth of preference.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
1	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
1	K. C. Waddel, James H. Cross	Survey of empirical studies of graphical representations for algorithms.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
1	Terry Flaherty	A simple technique to motivate structured programming.	SIGCSE	1988	DBLP DOI BibTeX RDF	BASIC
1	Miklós Bartha	A finite axiomatization of flowchart schemes.	Acta Cybern.	1987	DBLP BibTeX RDF
1	Gheorghe Stefanescu	On Flowchart Theories: Part II. The Nondeterministic Case.	Theor. Comput. Sci.	1987	DBLP DOI BibTeX RDF
1	Gheorghe Stefanescu	On Flowchart Theories. I. The Deterministic Case.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
1	David A. Scanlan	A niche for structured flowcharts (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
1	Gheorghe Stefanescu	An Algebraic Theory of Flowchart Schemes.	CAAP	1986	DBLP DOI BibTeX RDF
1	Robert J. K. Jacob	A Specification Language for Direct-Manipulation User Interfaces.	ACM Trans. Graph.	1986	DBLP DOI BibTeX RDF
1	Bogdan D. Czejdo, Ludwik Kolkowski	Models in teaching programming languages (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
1	Maria Zamfir, David Martin	On the Syntax and Semantics of Concurrent Computing.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
1	E. M. J. C. Van Oost	DUIF: A Data-Oriented Flowchart Environmemnt.	SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
1	Hartmut Schmeck	Algebraic Semantics of Recursive Flowchart Schemes	Information and Control	1983	DBLP DOI BibTeX RDF
1	M. Howard Williams	Flowchart Schemata and the Problem of Nomenclature.	Comput. J.	1983	DBLP DOI BibTeX RDF
1	Richard J. Lorentz, David B. Benson	Deterministic and Nondeterministic Flowchart Interpretations.	J. Comput. Syst. Sci.	1983	DBLP DOI BibTeX RDF
1	Arol Ambler, Robert Trawick	Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes.	SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
1	Raphael A. Finkel	Run-time Print Values.	SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
1	Manfred Jackel	Context Senitive Formatting.	SIGPLAN Notices	1983	DBLP DOI BibTeX RDF