Search results for "continuation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Oliver Schütze, Adriana Lara, Carlos A. Coello Coello	Evolutionary continuation methods for optimization problems.	GECCO	2009	DBLP DOI BibTeX RDF	scalar optimization, multi-objective optimization, root finding, continuation method
3	Matthew Dobson, Mitchell Luskin	Iterative Solution of the Quasicontinuum Equilibrium Equations with Continuation.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Quasicontinuum, Atomistic to continuum, Continuation, Fracture
3	Joris van der Hoeven	On Effective Analytic Continuation.	Mathematics in Computer Science	2007	DBLP DOI BibTeX RDF	Analytic continuation, convolution equation, relaxed power series, algorithm, differential equation, error bound, Riemann surface
3	Weihai Yu, Jie Yang	Continuation-passing enactment of distributed recoverable workflows.	SAC	2007	DBLP DOI BibTeX RDF	decentralized workflow enactment, just-in-time distribution, continuation, automatic recovery
3	Satoshi Amamiya, Masaaki Izumi, Takanori Matsuzaki, Ryuzo Hasegawa, Makoto Amamiya	Fuce: the continuation-based multithreading processor.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	continuation-based multithread programming, multithreading, thread-level parallelism, chip multi-processor
3	Anton Leykin, Frank Sottile	Computing monodromy via parallel homotopy continuation.	PASCO	2007	DBLP DOI BibTeX RDF	Schubert problems, polynomial homotopy continuation monodromy, parallel processing, distributed computing, Galois group
3	T. Gunji, S. Kim, K. Fujisawa, M. Kojima	PHoMpara - Parallel Implementation of the Polyhedral Homotopy Continuation Method for Polynomial Systems.	Computing	2006	DBLP DOI BibTeX RDF	homotopy continuation methods, polyhedral homotopy, parallel computation, Polynomials, software package, equations, numerical experiments
3	Greg Reid, Jan Verschelde, Allan D. Wittkopf, Wenyuan Wu	Symbolic-numeric completion of differential systems by homotopy continuation.	ISSAC	2005	DBLP DOI BibTeX RDF	component of solutions, diagonal homotopy, differential elimination, hidden constraint, numerical jet geometry, witness set, polynomial system, path following, differential algebraic equation, numerical algebraic geometry, homotopy continuation
3	S. Kim, M. Kojima	Numerical Stability of Path Tracing in Polyhedral Homotopy Continuation Methods.	Computing	2004	DBLP DOI BibTeX RDF	polyhedral homotopy continuation methods, numerical stability, Polynomial system, path tracing
3	Takayuki Gunji, Sunyoung Kim, Masakazu Kojima, Akiko Takeda, Katsuki Fujisawa, Tomohiko Mizutani	PHoM - a Polyhedral Homotopy Continuation Method for Polynomial Systems.	Computing	2004	DBLP DOI BibTeX RDF	homotopy continuation method, polyhedral homotopy, Polynomial, software package, equation, numerical experiment
3	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
3	Jeff R. Cash, Gerald Moore, Ross W. Wright	An automatic continuation strategy for the solution of singularly perturbed nonlinear boundary value problems.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	automatic continuation, mesh selection, nonlinear boundary value problems, singular perturbation problem
3	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
3	Jan Verschelde	Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	Bézout number, Bernshtein's theorem, Schubert calculus, enumerative geometry, mixed volume, polyhedral homotopy, root count, start system, Ada, polynomial systems, homotopy continuation
3	P. K. Nanda, K. Sunil Kumar, S. Ghokale, Uday B. Desai	A multiresolution approach to color image restoration and parameter estimation using homotopy continuation method. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	multiresolution approach, color image restoration, homotopy continuation method, restoration algorithm, computational complexity, computational complexity, simulated annealing, parameter estimation, parameter estimation, Markov random field, Markov processes, image restoration, simulation results, image resolution, image colour analysis, random processes, energy function, MRF model, simulated annealing algorithm
2	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
2	Satoshi Amamiya, Makoto Amamiya, Ryuzo Hasegawa, Hiroshi Fujita	A continuation-based noninterruptible multithreading processor architecture.	The Journal of Supercomputing	2009	DBLP DOI BibTeX RDF	Parallel processing, Multithreading, Processor architecture, Thread level parallelism, Multithreaded programming
2	Stefano Guerrini, Andrea Masini	Proofs, tests and continuation passing style.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Minimal logic, call-by-name, intutionistic logic, linear logic, lambda calculus, continuations passing style, call-by-value
2	Weihai Yu	Scalable Services Orchestration with Continuation-Passing Messaging.	INTENSIVE	2009	DBLP DOI BibTeX RDF
2	Ruth Rosenholtz, Nathaniel R. Twarog, Nadja Schinkel-Bielefeld, Martin Wattenberg	An intuitive model of perceptual grouping for HCI design.	CHI	2009	DBLP DOI BibTeX RDF	contour integration, good continuation, similarity, grouping, proximity, perceptual organization, gestalt
2	Jan Midtgaard, Thomas P. Jensen	Control-flow analysis of function calls and returns by abstract interpretation.	ICFP	2009	DBLP DOI BibTeX RDF	direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis
2	Malgorzata Biernacka, Dariusz Biernacki	Context-based proofs of termination for typed delimited-control operators.	PPDP	2009	DBLP DOI BibTeX RDF	reducibility predicates, type system, continuation-passing style, delimited continuations, reduction semantics
2	Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose	Lazy continuations for Java virtual machines.	PPPJ	2009	DBLP DOI BibTeX RDF	stack frame, Java, optimization, performance, virtual machine, continuation, activation
2	Weihai Yu	Consistent and decentralized orchestration of BPEL processes.	SAC	2009	DBLP DOI BibTeX RDF	consistent orchestration, continuation-passing messaging, decentralized orchestration
2	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	Towards a Complete Scheme for Tabled Execution Based on Program Transformation.	PADL	2009	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
2	Weihai Yu	Decentralized Orchestration of BPEL Processes with Execution Consistency.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	Continuation-passing messaging, Dynamic process structure, Consistent orchestration, Decentralized orchestration
2	KangKang Yin, Stelian Coros, Philippe Beaudoin, Michiel van de Panne	Continuation methods for adapting simulated skills.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
2	Tsung-Lin Lee, Tien-Yien Li, Chih-Hsiung Tsai	HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method.	Computing	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65H10, 65H15, 90B99
2	Aliki D. Muradova	The spectral method and numerical continuation algorithm for the von Kármán problem with postbuckling behaviour of solutions.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 74K20, 35B32, 65T40, 65F10, 65N35, 65N25
2	Ruy Ley-Wild, Matthew Fluet, Umut A. Acar	Compiling self-adjusting programs with continuations.	ICFP	2008	DBLP DOI BibTeX RDF	memoization, continuation-passing style, self-adjusting computation
2	Gang Yu	Implementing Higher-Order Control in Java.	TASE	2008	DBLP DOI BibTeX RDF	FANF, transformation, exception handling, continuation
2	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.	ICLP	2008	DBLP DOI BibTeX RDF	Continuation-call tabling, Performance, Program transformation, Implementation, Tabled logic programming
2	Marc C. Robini, A. Lachal, Isabelle E. Magnin	A Stochastic Continuation Approach to Piecewise Constant Reconstruction.	IEEE Transactions on Image Processing	2007	DBLP DOI BibTeX RDF
2	José Espírito Santo, Ralph Matthes, Luis Pinto	Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi.	TLCA	2007	DBLP DOI BibTeX RDF
2	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
2	Shigeru Kusakabe, Satoshi Yamada, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	OS Mechanism for Continuation-based Fine-grained Threads on Dedicated and Commodity Processors.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Dempsey Chang, Keith V. Nesbitt, Kevin Wilkins	The Gestalt Principle of Continuation Applies to both the Haptic and Visual Grouping of Elements.	WHC	2007	DBLP DOI BibTeX RDF
2	Bram Adams, Kris De Schutter	An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters).	SPLAT	2007	DBLP DOI BibTeX RDF
2	Shigeru Kusakabe, Mitsuhiro Aono, Masaaki Izumi, Satoshi Amamiya, Yoshinari Nomura, Hideo Taniguchi, Makoto Amamiya	Scalability of continuation-based fine-grained multithreading in handling multiple I/O requests on FUCE.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	fine-grained multithreading, operating systems, I/O
2	Giancarlo Tretola, Eugenio Zimeo	Extending Web Services Semantics to Support Asynchronous Invocations and Continuation	ICWS	2007	DBLP DOI BibTeX RDF
2	Weihai Yu	Toward a Lightweight Process-Aware Middleware.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	peer-to-peer, workflow, Web services composition, continuation
2	Chung-chieh Shan	A static simulation of dynamic delimited control.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
2	C.-J. Richard Shi, Michael W. Tian, Guoyong Shi	Efficient DC fault simulation of nonlinear analog circuits: one-step relaxation and adaptive simulation continuation.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Jaijeet S. Roychowdhury, Robert C. Melville	Delivering global DC convergence for large mixed-signal circuits via homotopy/continuation methods.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Marcelo Bertalmío	Strong-Continuation, Contrast-Invariant Inpainting With a Third-Order Optimal PDE.	IEEE Transactions on Image Processing	2006	DBLP DOI BibTeX RDF
2	Giancarlo Tretola, Eugenio Zimeo	Workflow fine-grained concurrency with automatic continuation.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Adriano N. Raposo, Abel J. P. Gomes	Polygonization of multi-component non-manifold implicit surfaces through a symbolic-numerical continuation algorithm.	GRAPHITE	2006	DBLP DOI BibTeX RDF	symbolic factorization, implicit surfaces, polygonization, numerical methods
2	Olivier Chapelle, Mingmin Chi, Alexander Zien	A continuation method for semi-supervised SVMs.	ICML	2006	DBLP DOI BibTeX RDF
2	Denis Jouvin	Continuations and Behavior Components Engineering in Multi-Agent Systems.	MATES	2006	DBLP DOI BibTeX RDF	conversational multi-agent systems, behavioral component, continuation-based automatons, Continuations, agent oriented software engineering
2	Eugene L. Allgower, Derrick J. Bates, Andrew J. Sommese, Charles W. Wampler	Solution of Polynomial Systems Derived from Differential Equations.	Computing	2006	DBLP DOI BibTeX RDF	Differential equations, polynomial systems, boundary value problems, numerical algebraic geometry, homotopy continuation
2	Qian Wang, Gopal Gupta, Michael Leuschel	Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.	PADL	2005	DBLP DOI BibTeX RDF
2	Mark J. Friedman, Willy Govaerts, Yuri A. Kuznetsov, Bart Sautois	Continuation of Homoclinic Orbits in Matlab.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
2	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard and Continuation Optimization for Occurrence Representations of CHR.	ICLP	2005	DBLP DOI BibTeX RDF
2	Ohad Ben-Shahar, Steven W. Zucker	Good Continuation of General 2D Visual Features: Dual Harmonic Models and Computational Inference.	ICCV	2005	DBLP DOI BibTeX RDF
2	Fabio Dercole, Yuri A. Kuznetsov	SlideCont: An auto97 driver for bifurcation analysis of filippov systems.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	AUTO97, Filippov systems, numerical continuation, piecewise-smooth differential equations, sliding bifurcations
2	S. L. Skorokhodov	Symbolic Transformations in the Problem of Analytic Continuation of the Hypergeometric Function pFp-1(z) to the Neighborhood of the Point z = 1 in the Logarithmic Case.	Programming and Computer Software	2004	DBLP DOI BibTeX RDF
2	Pablo Guerrero-García, Ángel Santos-Palomo	A Direct Orthogonal Sparse Static Methodology for a Finite Continuation Hybrid LP Solver.	PARA	2004	DBLP DOI BibTeX RDF
2	Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov	Numerical Continuation of Branch Points of Limit Cycles in MATCONT.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
2	Masahito Hasegawa	Semantics of Linear Continuation-Passing in Call-by-Name.	FLOPS	2004	DBLP DOI BibTeX RDF
2	Célia A. Zorzo Barcelos, Marcos Aurélio Batista, Adriana M. Martins, Antônio Carlos Nogueira	Level Lines Continuation based Digital Inpainting.	SIBGRAPI	2004	DBLP DOI BibTeX RDF
2	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
2	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
2	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of continuations and prompts.	ICFP	2004	DBLP DOI BibTeX RDF	callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
2	Jan Verschelde	Numerical algebraic geometry and symbolic computation.	ISSAC	2004	DBLP DOI BibTeX RDF	irreducible decomposition, numerical homotopy continuation, polynomial systems, approximate factorization
2	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
2	Xin Chen, Paul Tseng	Non-Interior continuation methods for solving semidefinite complementarity problems.	Math. Program.	2003	DBLP DOI BibTeX RDF
2	Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov	Numerical Continuation of Fold Bifurcations of Limit Cycles in MATCONT.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Hayo Thielecke	From control effects to typed continuation passing.	POPL	2003	DBLP DOI BibTeX RDF	control effects, polymorphism, continuations, type and effect systems
2	Peter Thiemann	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
2	Qian Wang, Gopal Gupta	Continuation Semantics as Horn Clauses.	LOPSTR	2003	DBLP DOI BibTeX RDF
2	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
2	Ruchira S. Datta	Using computer algebra to find nash equilibria.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner bases, polyhedral homotopy continuation, game theory, polynomial systems
2	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
2	Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov	MATCONT: A MATLAB package for numerical bifurcation analysis of ODEs.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	numerical continuation, Dynamical system, bifurcation
2	Ohad Ben-Shahar, Steven W. Zucker	The Perceptual Organization of Texture Flow: A Contextual Inference Approach.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	Texture flow, social conformity of a line, good continuation, line discontinuities, point singularities, shading flow, local parallelism, orientation diffusion, tangential curvature, normal curvature, perceptual organization, texture segmentation, relaxation labeling
2	Olivier Danvy, Mayer Goldberg	There and back again.	ICFP	2002	DBLP DOI BibTeX RDF	Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection
2	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
2	Koen Engelborghs, Tatyana Luzyanina, Dirk Roose	Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	numerical stability and bifurcation analysis, Continuation, software package, delay differential equations
2	Simon St. James, Ulrich Ultes-Nitsche	Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.	PODC	2001	DBLP DOI BibTeX RDF	behaviour abstraction, satisfaction within fairness, weakly continuation-closed homomorphisms, partial-order methods, trace reduction
2	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog Trace Models with a Continuation Semantics.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
2	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
2	Philippe Audebaud, Elena Zucca	Deriving Proof Rules from Continuation Semantics.	Formal Asp. Comput.	1999	DBLP DOI BibTeX RDF	Hoare semantics, Continuations, Labels, Exceptions
2	Gerard Olivar, Enric Fossas, Carles Batlle	Non-smooth continuation of periodic orbits in a chaotic buck converter.	ISCAS	1999	DBLP DOI BibTeX RDF
2	Willy Govaerts, Yuri A. Kuznetsov, B. Sijnave	Implementation of Hopf and Double-Hopf Continuation Using Bordering Methods.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	bialternate product, dynamical system, CONTENT
2	Ichiro Ogata	Cut Elimination for Classical Proofs as Continuation Passing Style Computation.	ASIAN	1998	DBLP DOI BibTeX RDF
2	Zhong Shao, Valery Trifonov	Type-Directed Continuation Allocation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
2	Martin Hofmann, Thomas Streicher	Continuation Models are Universal for Lambda-Mu-Calculus.	LICS	1997	DBLP DOI BibTeX RDF
2	Liang-Seng Koh, Ming T. Liu	A wireless multiple access control protocol for voice-data integration. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	packet reservation multiple access, wireless multiple access control protocol, voice-data integration, Mini-Packets Reservation Multiple Access, MPRMA, microcellular wireless environments, continuation flag, overhead bandwidth, wireless LAN, data communication, voice communication, PRMA
2	Ching-Chih Han, Kang G. Shin	Message transmission with timing constraints in ring networks . (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	message transmission problem, unidirectional slotted ring networks, evacuation mode, continuation mode, system initialization, message scheduling policies, message deadlines, maximum delay, least-slack-time-first scheduling policy, optimal scheduling policy, farthest-destination-first policy, message passing, performance measures, timing constraints, average delay, operation modes
2	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
2	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
2	Koenraad De Bosschere, Paul Tarau	High performance continuation passing style Prolog-to-C mapping.	SAC	1994	DBLP DOI BibTeX RDF	binary logic programs, continuation based compilation, Prolog, program transformation
2	Andy Mück, Thomas Streicher	A Tiny Constrain Functional Logic Language and Its Continuation Semantics.	ESOP	1994	DBLP DOI BibTeX RDF
2	Olivier Danvy, John Hatcliff	On the Transformation between Direct and Continuation Semantics.	MFPS	1993	DBLP DOI BibTeX RDF
2	Julia L. Lawall, Olivier Danvy	Separating Stages in the Continuation-Passing Style Transformation.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
2	Frederic F. Leymarie, Martin D. Levine	Tracking Deformable Objects in the Plane Using an Active Contour Model.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	hierarchical filtering, noisy intensity image, nonrigid object, cell locomotion, terminating criterion, topographic features, discrete sale-space representation, optimization, image segmentation, image segmentation, segmentation, graph theory, tracking, tracking, optimisation, convergence, convergence, filtering and prediction theory, snake, deformable objects, active contour model, continuation method
2	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
2	Paul Tarau	BinProlog: a Continuation Passing Style Prolog Engine.	PLILP	1992	DBLP DOI BibTeX RDF
2	Olivier Danvy	Back to Direct Style.	ESOP	1992	DBLP DOI BibTeX RDF	Direct style transformation, continuation-passing style transformation, Scheme, calculus
2	Luc Moreau	An operational semantics for a parallel functional language with continuations.	PARLE	1992	DBLP DOI BibTeX RDF	metacontinuation, left expression, parallelism, Scheme, continuation, operational semantics, transparency