|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 771 occurrences of 533 keywords
|
|
|
Results
Found 1579 publication records. Showing 1579 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Denis Jouvin |
Continuations and Behavior Components Engineering in Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings, pp. 147-158, 2006, Springer, 3-540-45376-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 31(1), pp. 95-119, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 40-53, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset |
26 | Jan Verschelde |
Numerical algebraic geometry and symbolic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 3, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 25(4), pp. 401-417, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 8-19, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2003, Drexel University, Philadelphia, Pennsylvania, USA, August 3-6, 2003, Proceedings, pp. 74-79, 2003, ACM, 1-58113-641-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 28(1), pp. 1-21, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 11-18, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 206-213, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(6), pp. 617-634, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(2), pp. 12:1-12:34, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 83(2-3), pp. 109-133, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 65H10, 65H15, 90B99 |
23 | Raffaella Bernardi, Michael Moortgat |
Continuation Semantics for Symmetric Categorial Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings, pp. 53-71, 2007, Springer, 978-3-540-73443-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Giancarlo Tretola, Eugenio Zimeo |
Extending Web Services Semantics to Support Asynchronous Invocations and Continuation ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 208-215, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-10, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLAT ![In: Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 1, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Giancarlo Tretola, Eugenio Zimeo |
Workflow fine-grained concurrency with automatic continuation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 399-406, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 98-112, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jon Sneyers, Tom Schrijvers, Bart Demoen |
Guard and Continuation Optimization for Occurrence Representations of CHR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 83-97, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 30(3), pp. 150-156, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 603-610, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hayo Thielecke |
Answer Type Polymorphism in Call-by-Name Continuation Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 279-293, 2004, Springer, 3-540-21313-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XVII Brazilian Symposium on Computer Graphics and Image Processing, (SIBGRAPI 2004) 17-20 October 2004, Curitiba, PR, Brazil, pp. 50-57, 2004, IEEE Computer Society, 0-7695-2227-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Xin Chen, Paul Tseng |
Non-Interior continuation methods for solving semidefinite complementarity problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 95(3), pp. 431-474, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Annick Dhooge, Willy Govaerts, Yuri A. Kuznetsov |
Numerical Continuation of Fold Bifurcations of Limit Cycles in MATCONT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 701-710, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Qian Wang 0024, Gopal Gupta 0001 |
Continuation Semantics as Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 176-177, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog Trace Models with a Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR (LNCS 2042: Selected Papers) ![In: Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers., pp. 165-182, 2000, Springer, 3-540-42127-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Zhong Shao, Valery Trifonov |
Type-Directed Continuation Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings, pp. 116-135, 1998, Springer, 3-540-64925-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Ichiro Ogata |
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN '98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings, pp. 61-78, 1998, Springer, 3-540-65388-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Paul Tarau |
BinProlog: a Continuation Passing Style Prolog Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings, pp. 479-480, 1992, Springer, 3-540-55844-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Amr Sabry, Matthias Felleisen |
Reasoning About Programs in Continuation-Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 288-298, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Mikael Pettersson |
Generating Efficient Code from Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings, pp. 165-178, 1990, Springer, 3-540-53669-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Arie de Bruin, Erik P. de Vink |
Continuation Semantics for PROLOG with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP'89), pp. 178-192, 1989, Springer, 3-540-50939-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
23 | Andrew W. Appel, Trevor Jim |
Continuation-Passing, Closure-Passing Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 293-302, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
ML |
23 | Margaret Montenyohl, Mitchell Wand |
Correct Flow Analysis in Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, USA, January 10-13, 1988, pp. 204-218, 1988, ACM Press, 0-89791-252-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 301-305, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 281-285, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 76, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, pp. 1-7, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 1, pp. 521-525, 2007, IEEE Computer Society, 0-7695-2874-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Anton Leykin, Jan Verschelde, Yan Zhuang |
Parallel Homotopy Algorithms to Solve Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 225-234, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Oleg Kiselyov, Chung-chieh Shan, Amr Sabry |
Delimited dynamic binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 26-37, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 401-414, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Zena M. Ariola, Hugo Herbelin |
Minimal Classical Logic and Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 871-885, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Dariusz Biernacki, Olivier Danvy |
From Interpreter to Logic Engine by Defunctionalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, pp. 143-159, 2003, Springer, 3-540-22174-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Mayukh Bhattacharya, Pinaki Mazumder |
Augmentation of SPICE for simulation of circuits containingresonant tunneling diodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(1), pp. 39-50, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | George Metakides |
Challenges for a human-centered information society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (1) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 1-2, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy |
Many Happy Returns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings., pp. 1, 2001, Springer, 3-540-41960-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Christian Queinnec |
The influence of browsers on evaluators or, continuations to program web servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 23-33, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
WEB |
18 | Jon G. Riecke, Hayo Thielecke |
Typed Exeptions and Continuations Cannot Macro-Express Each Other. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 635-644, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
Eta-Expansion Does The Trick. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(6), pp. 730-751, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 99-107, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Luc Moreau 0001, Christian Queinnec |
Partial Continuations as the Difference of Continuations - A Duumvirate of Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 182-197, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Andrzej Filinski |
Representing Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 446-457, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alan R. Champneys, Alastair Spence |
Hunting for homoclinic orbits in reversible systems: A shooting technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 1(1), pp. 81-108, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Subject classification (AMS) 34C37, 58F05, 65L10 |
18 | Andrew P. Tolmach, Andrew W. Appel |
Debugging Standard ML Without Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 1-12, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Danvy, Andrzej Filinski |
Abstracting Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 151-160, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Makoto Amamiya, Rin-Ichiro Taniguchi |
Datarol: a massively parallel architecture for functional languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 726-735, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | William D. Clinger, Anne Hartheimer, Eric Ost |
Implementation Strategies for Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 124-131, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Snowbird, Utah, USA, July 25-27, 1988, pp. 52-62, 1988, ACM, 0-89791-273-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Jürgen Guddat, Francisco Guerra Vázquez, Dieter Nowack |
Parametric Optimization: Embeddings, Path Following and Singularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2924-2930, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Generic singularities, Embedding, Path following, Parametric optimization, Continuation method, Homotopy method |
17 | Layne T. Watson |
Globally Convergent Homotopy Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1272-1277, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(2-3), pp. 207-218, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 231-242, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 22nd Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2008), June 9-11, 2008, Québec City, Canada, pp. 117-123, 2008, IEEE Computer Society, 978-0-7695-3250-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 239-254, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotSWUp ![In: Proceedings of the 1st ACM Workshop on Hot Topics in Software Upgrades, HotSWUp 2008, Nashville, TN, USA, October 20, 2008., 2008, ACM, 978-1-60558-304-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings, pp. 165-172, 2008, ACM, 978-1-59593-904-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polynomial homotopy continuation, primary decomposition, numerical algebraic geometry, deflation |
17 | David A. Schmidt |
State-transition machines, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 333-335, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(4), pp. 339-369, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Type system, Axiomatization, Delimited continuation, CPS translation, Control operator |
17 | Kenichi Asai, Yukiyoshi Kameyama |
Polymorphic Delimited Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 239-254, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Predicative/Impredicative Polymorphism, Type System, Delimited Continuation, CPS Translation, Control Operator |
17 | Andrew Kennedy |
Compiling with continuations, continued. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 177-190, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 85-96, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 29-32, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 28(8), pp. 1200-1214, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(4), pp. 353-373, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 295-307, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 481-488, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 216-227, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 11(4), pp. 337-364, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 165-174, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
17 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 54-65, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 15-18 August 2004, Montreal, Quebec, Canada, pp. 222-229, 2004, IEEE Computer Society, 0-7695-2198-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 16(3), pp. 253-285, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003, pp. 20-28, 2003, ACM, 1-58113-667-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 510-513, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 30(3-4), pp. 405-434, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 30(3-4), pp. 385-404, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 2(1), pp. 28-34, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(4), pp. 377-388, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, pp. 73-87, 1994, Springer, 3-540-58402-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973, pp. 95-107, 1973, ACM Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 71(2), pp. 892-896, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 40(2), pp. 677-713, April 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 9(94), pp. 5727, February 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 32(2), March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16914, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1579 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|