Search results for "continuation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	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
26	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
26	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
26	Jan Verschelde	Numerical algebraic geometry and symbolic computation.	ISSAC	2004	DBLP DOI BibTeX RDF	irreducible decomposition, numerical homotopy continuation, polynomial systems, approximate factorization
26	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
26	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
26	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
26	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
26	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
26	Liang-Seng Koh, Ming T. Liu	A wireless multiple access control protocol for voice-data integration.	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
26	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
23	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
23	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
23	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
23	Giancarlo Tretola, Eugenio Zimeo	Extending Web Services Semantics to Support Asynchronous Invocations and Continuation	ICWS	2007	DBLP DOI BibTeX RDF
23	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
23	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
23	Giancarlo Tretola, Eugenio Zimeo	Workflow fine-grained concurrency with automatic continuation.	IPDPS	2006	DBLP DOI BibTeX RDF
23	Adriano N. Raposo, Abel João Padrão 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
23	Qian Wang 0024, Gopal Gupta 0001, Michael Leuschel	Towards Provably Correct Code Generation via Horn Logical Continuation Semantics.	PADL	2005	DBLP DOI BibTeX RDF
23	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard and Continuation Optimization for Occurrence Representations of CHR.	ICLP	2005	DBLP DOI BibTeX RDF
23	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.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
23	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
23	Hayo Thielecke	Answer Type Polymorphism in Call-by-Name Continuation Passing.	ESOP	2004	DBLP DOI BibTeX RDF
23	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
23	Xin Chen, Paul Tseng	Non-Interior continuation methods for solving semidefinite complementarity problems.	Math. Program.	2003	DBLP DOI BibTeX RDF
23	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
23	Qian Wang 0024, Gopal Gupta 0001	Continuation Semantics as Horn Clauses.	LOPSTR	2003	DBLP DOI BibTeX RDF
23	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog Trace Models with a Continuation Semantics.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
23	Zhong Shao, Valery Trifonov	Type-Directed Continuation Allocation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
23	Ichiro Ogata	Cut Elimination for Classical Proofs as Continuation Passing Style Computation.	ASIAN	1998	DBLP DOI BibTeX RDF
23	Paul Tarau	BinProlog: a Continuation Passing Style Prolog Engine.	PLILP	1992	DBLP DOI BibTeX RDF
23	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
23	Mikael Pettersson	Generating Efficient Code from Continuation Semantics.	CC	1990	DBLP DOI BibTeX RDF
23	Arie de Bruin, Erik P. de Vink	Continuation Semantics for PROLOG with Cut.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
23	Andrew W. Appel, Trevor Jim	Continuation-Passing, Closure-Passing Style.	POPL	1989	DBLP DOI BibTeX RDF	ML
23	Margaret Montenyohl, Mitchell Wand	Correct Flow Analysis in Continuation Semantics.	POPL	1988	DBLP DOI BibTeX RDF
18	Dongshu Yan, Jintao Zhang, Bo Yu 0003, Changtong Luo, Shaoliang Zhang	A Genetic Algorithm for Finding Minimal Multi-homogeneous Bézout Number.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	minimal multi-homogeneous Bezout number, genetic algorithm, heuristics, polynomial equations
18	Lianjie Huang, Youli Quan, Cuiping Li 0005, Neb Duric, Kenneth M. Hanson	Ultrasound Pulse-Echo Imaging with an Optimized Propagator.	BMEI (2)	2008	DBLP DOI BibTeX RDF	pulse-echo, reflectivity, ultrasound, scattering, Breast imaging
18	José Niño-Mora	Computing an index policy for bandits with switching penalties.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	bandits, restless, switching delays, Markov decision processes, switching costs, index policies
18	Nadia Ranaldo, Eugenio Zimeo	Analysis of Different Future Objects Update Strategies in ProActive.	IPDPS	2007	DBLP DOI BibTeX RDF
18	Xiao-lei Wei, Yong-an Zheng, Zhan-zhong Cui, Quan-li Wang	SAR Images Denoising Based on Rough Set Theory in Contourlet Domain.	FSKD (1)	2007	DBLP DOI BibTeX RDF
18	Anton Leykin, Jan Verschelde, Yan Zhuang	Parallel Homotopy Algorithms to Solve Polynomial Systems.	ICMS	2006	DBLP DOI BibTeX RDF
18	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
18	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
18	Sarosh Talukdar	Low Intelligence Agents for Market Testing.	HICSS	2006	DBLP DOI BibTeX RDF
18	Zena M. Ariola, Hugo Herbelin	Minimal Classical Logic and Control Operators.	ICALP	2003	DBLP DOI BibTeX RDF
18	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
18	Mayukh Bhattacharya, Pinaki Mazumder	Augmentation of SPICE for simulation of circuits containingresonant tunneling diodes.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
18	George Metakides	Challenges for a human-centered information society.	ICIP (1)	2001	DBLP DOI BibTeX RDF
18	Olivier Danvy	Many Happy Returns.	TLCA	2001	DBLP DOI BibTeX RDF
18	Christian Queinnec	The influence of browsers on evaluators or, continuations to program web servers.	ICFP	2000	DBLP DOI BibTeX RDF	WEB
18	Jon G. Riecke, Hayo Thielecke	Typed Exeptions and Continuations Cannot Macro-Express Each Other.	ICALP	1999	DBLP DOI BibTeX RDF
18	Olivier Danvy, Karoline Malmkjær, Jens Palsberg	Eta-Expansion Does The Trick.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization
18	Carl Bruggeman, Oscar Waddell, R. Kent Dybvig	Representing Control in the Presence of One-Shot Continuations.	PLDI	1996	DBLP DOI BibTeX RDF
18	Luc Moreau 0001, Christian Queinnec	Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators.	PLILP	1994	DBLP DOI BibTeX RDF
18	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
18	Alan R. Champneys, Alastair Spence	Hunting for homoclinic orbits in reversible systems: A shooting technique.	Adv. Comput. Math.	1993	DBLP DOI BibTeX RDF	Subject classification (AMS) 34C37, 58F05, 65L10
18	Andrew P. Tolmach, Andrew W. Appel	Debugging Standard ML Without Reverse Engineering.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
18	Olivier Danvy, Andrzej Filinski	Abstracting Control.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
18	Makoto Amamiya, Rin-Ichiro Taniguchi	Datarol: a massively parallel architecture for functional languages.	SPDP	1990	DBLP DOI BibTeX RDF
18	William D. Clinger, Anne Hartheimer, Eric Ost	Implementation Strategies for Continuations.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
18	Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, Bruce F. Duba	Abstract Continuations: A Mathematical Semantics for Handling Full Jumps.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
17	Jürgen Guddat, Francisco Guerra Vázquez, Dieter Nowack	Parametric Optimization: Embeddings, Path Following and Singularities.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Generic singularities, Embedding, Path following, Parametric optimization, Continuation method, Homotopy method
17	Layne T. Watson	Globally Convergent Homotopy Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Probability-one homotopy, Continuation, Homotopy, Globally convergent, Nonlinear equations
17	Leo Liberti, Carlile Lavor, Nelson Maculan, Fabrizio Marinelli 0001	Double variable neighbourhood search with smoothing for the molecular distance geometry problem.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Global continuation, Variable neighbourhood search, Global optimization, Smoothing, Distance geometry, Molecular conformation
17	Ezra Cooper, Philip Wadler	The RPC calculus.	PPDP	2009	DBLP DOI BibTeX RDF	location-aware language, trampolined style, programming languages, web programming, continuation-passing style, defunctionalization
17	Yun Guan, Jan Verschelde	Parallel Implementation of a Subsystem-by-Subsystem Solver.	HPCS	2008	DBLP DOI BibTeX RDF	subsystem-by-subsystem solver, polynomial systems, homotopy continuation
17	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
17	Jérémy Buisson, Fabien Dagnat	Introspecting Continuations in Order to Update Active Code.	HotSWUp	2008	DBLP DOI BibTeX RDF	DSU, dynamic update of active code, introspection of execution states, typing, continuation, language construct, control operator
17	Anton Leykin	Numerical primary decomposition.	ISSAC	2008	DBLP DOI BibTeX RDF	polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation
17	David A. Schmidt	State-transition machines, revisited.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Krivine machine, Lambda-calculus, Denotational semantics, Continuation-passing style, Defunctionalization
17	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
17	Kenichi Asai, Yukiyoshi Kameyama	Polymorphic Delimited Continuations.	APLAS	2007	DBLP DOI BibTeX RDF	Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator
17	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
17	David Van Horn, Harry G. Mairson	Relating complexity and precision in control flow analysis.	ICFP	2007	DBLP DOI BibTeX RDF	eta expansion, proofnet, complexity, static analysis, continuation, normalization, linear logic, control flow analysis, geometry of interaction
17	Charles W. Wampler II	Numerical algebraic geometry and kinematics.	SNC	2007	DBLP DOI BibTeX RDF	robotics, kinematics, numerical algebraic geometry, homotopy continuation
17	Derek Justice, Alfred O. Hero III	A Binary Linear Programming Formulation of the Graph Edit Distance.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	continuation (homotopy) methods, linear programming, similarity measures, Graph algorithms, graphs and networks, structural pattern recognition
17	Pascal Van Hentenryck, Laurent Michel	Nondeterministic Control for Hybrid Search.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language
17	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
17	Jan Verschelde, Yan Zhuang	Parallel Implementation of the Polyhedral Homotopy Method.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	polyhedral homotopies, load balancing, parallel computation, polynomial systems, path following, Continuation methods
17	Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi, Matthias Felleisen	Continuations from generalized stack inspection.	ICFP	2005	DBLP DOI BibTeX RDF	A-normal form, scheme, continuations, web programming, continuation-passing style, stack inspection, defunctionalization
17	Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen	Automatically Restructuring Programs for the Web.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	lambda lifting, Web programming, continuation-passing style, CGI, closure conversion
17	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
17	Mitchell Wand, Dale Vaillancourt	Relating models of backtracking.	ICFP	2004	DBLP DOI BibTeX RDF	two-continuation semantics, streams, monads, logical relations, adequacy
17	Jan Verschelde, Yusong Wang	Computing Feedback Laws for Linear Systems with a Parallel Pieri Homotopy.	ICPP Workshops	2004	DBLP DOI BibTeX RDF	control of linear systems, feedback laws, numerical Schubert calculus, Pieri homotopies, pole placement, load balancing, continuation methods, path tracking
17	Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen	Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation
17	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
17	Jaijeet S. Roychowdhury	A time-domain RF steady-state method for closely spaced tones.	DAC	2002	DBLP DOI BibTeX RDF	MPDE, RF switching mixers, analog/RF simulation, artificial time scales, difference-frequency time scales, multi-time PDEs, shooting, analog, homotopy, mixed-signal, envelope, continuation methods, harmonic balance
17	Wei Feng, Masashi Kowada, Kouichi Adachi	A two-queue model with Bernoulli service schedule and switching times.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	two parallel queues, Bernoulli service schedule, Riemann boundary value problem, analytic continuation, waiting time, generating function, stationary distribution
17	J. W. Cohen	On the asymmetric clocked buffered switch.	Queueing Syst. Theory Appl.	1998	DBLP DOI BibTeX RDF	nearest-neighbour random walk, two-dimensional meromorphic functions, analytic continuation, two-server queueing model
17	Hervé Lamure, Dominique Michelucci	Solving Geometric Constraints By Homotopy.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	numerical resolution, constaints-based modeling, Geometric constraints, homotopy, continuation methods
17	Steven Gold, Anand Rangarajan 0001	A Graduated Assignment Algorithm for Graph Matching.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	Graduated assignment, graph matching, weighted graphs, relaxation labeling, attributed relational graphs, model matching, continuation method, softassign
17	Paul Tarau, Ulrich Neumerkel	A Novel Term Compression Scheme and Data Representation in the BinWAM.	PLILP	1994	DBLP DOI BibTeX RDF	implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM
17	Robert D. Tennent	Mathematical Semantics of Snobol 4.	POPL	1973	DBLP DOI BibTeX RDF	SNOBOL4, mathematical semantics, store, pattern matching, continuation, environment, abstract syntax
15	Tiezhu Wang, Shanshan Wang, Shicong Ma, Jianbo Guo, Xiaoxin Zhou	An Extended Continuation Power Flow Method for Static Voltage Stability Assessment of Renewable Power Generation-Penetrated Power Systems.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
15	Thanh T. Banh, Qui X. Lieu, Joowon Kang, Youngkyu Ju, Soomi Shin, Dongkyu Lee	A novel robust stress-based multimaterial topology optimization model for structural stability framework using refined adaptive continuation method.	Eng. Comput.	2024	DBLP DOI BibTeX RDF
15	Peerasait Prachaseree, Saeed Mohammadzadeh, Berkin Dortdivanlioglu, Emma Lejeune	FEniCS-arclength: A numerical continuation package in FEniCS for nonlinear problems in solid mechanics.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
15	André Von-Held Soares, Housam Binous, Fernando Cunha Peixoto, Ahmed Bellagi	Solving boundary value problems in heterogeneous catalysis with orthogonal collocation and arc-length continuation.	Comput. Appl. Eng. Educ.	2024	DBLP DOI BibTeX RDF
15	Erik Burman, Mingfei Lu, Lauri Oksanen	Solving the unique continuation problem for Schrödinger equations with low regularity solutions using a stabilized finite element method.	CoRR	2024	DBLP DOI BibTeX RDF