Search results for "methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Md. Mahbubur Rahim, Afzaal H. Seyal, Mohd. Noah Abd. Rahman, Sophiana Chua Abdullah	Adoption of systems development methods and techniques: experiences of Bruneian organizations.	ISCNZ	1996	DBLP DOI BibTeX RDF	systems development methods, Bruneian organizations, information systems development process, IS development methods, survey approach, Bruneian IS personnel, small country, SSADM, information engineering method, in-house methods, information systems, object oriented design, structured methods
30	Adam B. Levy	Constraint incorporation in optimization.	Math. Program.	2007	DBLP DOI BibTeX RDF	Penalty methods, Barrier methods, Penalty-multiplier methods, Constrained optimization, Numerical optimization, Trust region methods, Sequential quadratic programming, Variational analysis
28	Sanja Fidler, Danijel Skocaj, Ales Leonardis	Combining Reconstructive and Discriminative Subspace Methods for Robust Classification and Regression by Subsampling.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	reconstructive methods, discriminative methods, robust classification, high-breakdown point classification, PCA, occlusion, outlier detection, LDA, Subspace methods, CCA, subsampling, robust regression
27	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
27	Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto	Introduction: Symbolic Algebraic Methods and Verification Methods.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
27	David W. Paglieroni, Sidney M. Petersen	Height distributional distance transform methods for height field ray tracing.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	parameter plane transform, parametric/nonparametric HDDT methods, ray tracing, distance transform, terrain, height field, hierarchical methods, incremental methods
26	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
26	T. M. H. Chan, Robert P. K. Chan	A Simplified Approach to the Order Conditions of Integration Methods.	Computing	2006	DBLP DOI BibTeX RDF	real-valued functions on trees, the elementary weight function, series, two-step Runge-Kutta methods, two-derivative Runge-Kutta methods, linear multi-step methods, Rooted trees
26	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
26	Colin B. Macdonald, Sigal Gottlieb, Steven J. Ruuth	A Numerical Study of Diagonally Split Runge-Kutta Methods for PDEs with Discontinuities.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Diagonally split Runge-Kutta methods, Unconditional contractivity, Order reduction, Hyperbolic PDEs, Runge-Kutta methods, Time discretization, Strong stability preserving
25	Ladislav Luksan, Ctirad Matonoha, Jan Vlcek	Algorithm 896: LSA: Algorithms for large-scale optimization.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	discrete Newton methods, large-scale nonlinear least squares, large-scale nonlinear minimax, large-scale nonsmooth optimization, large-scale systems of nonlinear equations, limited-memory methods, partially separable problems, primal interior-point methods, sparse problems, quasi-Newton methods, Large-scale optimization
25	Wei Qian, D. M. Titterington	Bayesian Image Restoration: An Application to Edge-Preserving Surface Recovery.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian image restoration, 2D surface recovery, parametric methods, edge-preserving surface recovery, image processing, parameter estimation, parameter estimation, Markov random field, image reconstruction, Markov processes, iterative methods, Bayes methods, image texture, textural image, nonparametric methods
25	Karol Gajda, Malgorzata A. Jankowska, Andrzej Marciniak, Barbara Szyszka	A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem.	PPAM	2007	DBLP DOI BibTeX RDF	the initial value problem, one-step interval methods, symplectic interval methods, multistep interval methods, floating-point interval arithmetic
25	Emilio Spedicato, Zun-Quan Xia, Liwei Zhang	ABS Algorithms for Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	ABS methods, Feasible direction methods, KT equations, Optimization, Linear programming, Interior point methods, Linear equations, Quasi-Newton methods
24	J. Ramón Gil-García, Theresa A. Pardo	Multiple methods and multiple paradigms for digital government research: understanding the promises and challenges.	DG.O	2005	DBLP BibTeX RDF	combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods
24	Scott D. Booth, Jeffrey A. Fessler	Combined diagonal/Fourier preconditioning methods for image reconstruction in emission tomography.	ICIP	1995	DBLP DOI BibTeX RDF	Hessian matrices, diagonal/Fourier preconditioning methods, gradient based iterations, emission tomography, PET reconstruction, near circulant Hessian matrices, nonuniform Poisson noise variance, circulant approximation, image reconstruction, fast Fourier transforms, iterative methods, least squares approximations, positron emission tomography, PET, conjugate gradient methods, conjugate gradient method, convergence rates, weighted least squares, tomographic image reconstruction
23	Jens-Peter M. Zemke	How Orthogonality is Lost in Krylov Methods.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
23	Stepan Shakhno	Some Numerical Methods for Nonlinear Least Squares Problems.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
23	Markus Neher 0001	Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
23	Ioannis Z. Emiris	Matrix Methods for Solving Algebraic Systems.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
23	Paul Houston, Max Jensen, Endre Süli	hp-Discontinuous Galerkin Finite Element Methods with Least-Squares Stabilization.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	hp-finite element methods, least-squares finite element methods, first order systems of PDEs, discontinuous Galerkin methods
23	Noura Abbas, Andrew M. Gravell, Gary B. Wills	Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?.	XP	2008	DBLP DOI BibTeX RDF	Foundations and Conceptual Studies of Agile Methods, Software Development, Agile Methods
23	John C. Butcher	High Order A-stable Numerical Methods for Stiff Problems.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	Stiff differential equations, A-stable methods, general linear methods, inherent RK stability
22	Hartmut Schwandt	Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	almost linear parabolic problems, enclosure methods, Newton-like methods, Krawczyk operator, Schwarz Alternating Procedure, parallel methods, domain decomposition, nonlinear systems of equations
22	Atul K. Chhabra, Timothy A. Grogan	On Poisson Solvers and Semi-Direct Methods for Computing Area Based Optical Flow.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	semi-direct methods, area based optical flow, iterative application, Dirichlet boundary conditions, velocity vectors, image sequences, convergence, iterative methods, smoothness, convergence of numerical methods, Poisson solvers
22	Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu	High Order Strong Stability Preserving Time Discretizations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
22	Christophe Roland, R. Varadhan, C. E. Frangakis	Squared polynomial extrapolation methods with cycling: an application to the positron emission tomography problem.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Fixed-point methods, Polynomial extrapolation methods, Nonlinear systems, Linear systems, Squaring
22	Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev	An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.	FM	2008	DBLP DOI BibTeX RDF	Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
21	Hans-Peter Kriegel, Michael Schiwietz	Performance Comparison of Point and Spatial Access Methods.	SSD	1989	DBLP DOI BibTeX RDF	spatial database systems, access methods, performance comparison
21	M. Sabry Hassouna, Aly A. Farag	MultiStencils Fast Marching Methods: A Highly Accurate Solution to the Eikonal Equation on Cartesian Domains.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Multi-stencils fast marching methods, monotonically advancing fronts, level set methods, fast marching methods, Eikonal equation
21	Thomas Rauber, Gudula Rünger	Iterated Runge-Kutta methods on distributed memory multiprocessors.	PDP	1995	DBLP DOI BibTeX RDF	iterated Runge-Kutta, predictor-corrector scheme, embedded formulae, parallel algorithms, performance analysis, iterative methods, iteration method, distributed memory systems, differential equations, ordinary differential equations, Runge-Kutta methods, Runge-Kutta methods, distributed memory multiprocessors
21	Joel M. Tendler, Theodore A. Bickart, Zdenek Picel	A Stiffly Stable Integration Process Using Cyclic Composite Methods.	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	Fortran code STINT, composite multistep methods, cyclic methods, multistep formulas, numerical integration program, stiff differential equations, stiffly stable methods, numerical integration, ordinary differential equations, initial value problems
21	Robert Jenssen, Torbjørn Eltoft, Deniz Erdogmus, José C. Príncipe	Some Equivalences between Kernel Methods and Information Theoretic Methods.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	Mercel kernel methods, information theoretic methods, Parzen window
21	Wendy E. Mackay	The interactive thread: exploring methods for multi-disciplinary design.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	interactive thread, storytable, participatory design, scenario, design methods, user-centred design, empirical methods, storyboard, technology probe, interdisciplinary design, multidisciplinary design
21	Lars Michael Kristensen, Thomas Mailund	A Generalised Sweep-Line Method for Safety Properties.	FME	2002	DBLP DOI BibTeX RDF	explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
21	Stephan Kleuker, Hermann Tjabben	The Incremental Development of Correct Specifications for Distributed Systems.	FME	1996	DBLP DOI BibTeX RDF	extension of existing formal methods, combination of methods, incremental development
21	Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans	Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	J. Paul Gibson	Weaving a Formal Methods Education with Problem-Based Learning.	ISoLA	2008	DBLP DOI BibTeX RDF	Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
21	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
20	Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup	Open multi-methods for c++.	GPCE	2007	DBLP DOI BibTeX RDF	open-methods, object oriented programming, C++, generic programming, multiple dispatch, multi-methods
20	Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr	A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	optic flow, partial differential equations, variational methods, multigrid methods
20	Kwang Ik Seo, Eun Man Choi	Comparison of Five Black-box Testing Methods for Object-Oriented Software.	SERA	2006	DBLP DOI BibTeX RDF	Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test
20	Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr	Discontinuity-Preserving Computation of Variational Optic Flow in Real-Time.	Scale-Space	2005	DBLP DOI BibTeX RDF	computer vision, optical flow, partial differential equations, variational methods, multigrid methods, differential techniques
20	Emilio Spedicato, Elena Bodon, Antonino Del Popolo, Nezam Mahdavi-Amiri	ABS methods and ABSPACK for linear systems and optimization: A review.	4OR	2003	DBLP DOI BibTeX RDF	ABS methods, linear algebraic systems, feasible direction methods, ABSPACK, simplex method, Diophantine equations
20	Shaoying Liu, Yong Sun	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.	ICECCS	1995	DBLP DOI BibTeX RDF	structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
20	William B. Frakes, Thomas P. Pole	An Empirical Study of Representation Methods for Reusable Software Components.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	representation methods, UNIX tools, Proteus, reuse library system, component indexing, enumerated classification, component understanding, database, knowledge representation, software reuse, experimentation, software reusability, keyword searching, subroutines, empirical methods, keyword, information storage and retrieval, multiple representation, faceted classification, reusable software components, attribute-value, reuse libraries
20	Teruya Minamoto	Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Annie A. M. Cuyt	Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear Algebra.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Uwe Schäfer	The Linear Complementarity Problem with Interval Data.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Christian Jansson	Quasi Convex-Concave Extension.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	David M. Gay	Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Reinhold Heckmann	Translation of Taylor Series into LFT Expansions.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Götz Alefeld, Vladik Kreinovich, Günter Mayer	Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Deepak Kapur	Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Robert M. Corless	Symbolic-Numeric Algorithms for Polynomials: Some recent Results.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Michael Plum	Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Andreas Frommer	A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Günter Mayer, Ingo Warnke	On the Shape of the Fixed Points of [f]([c])=[A][x]+[b].	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Bruno Lang	Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Thomas Decker 0001, Werner Krandick	On the Isoefficiency of the Parallel Descartes Method.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Tetsuro Yamamoto	A New Insight of the Shortley-Weller Approximation for Dirichlet Problems.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Jürgen Garloff, Andrew P. Smith 0001	Solution of Systems of Polynomial Equation by Using Bernstein Expansion.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Rudolf F. Albrecht	Topological Concepts for Hierarchies of variables, Types and Controls.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Kurt Mehlhorn, Stefan Schirra	Exact Computation with leda_real - Theory and geometric Applications.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Siegfried M. Rump	Fast Verification Algorithms in MATLAB.	Symbolic Algebraic Methods and Verification Methods	2001	DBLP DOI BibTeX RDF
20	Donna C. Stidolph, E. James Whitehead Jr.	Managerial Issues for the Consideration and Use of Formal Methods.	FME	2003	DBLP DOI BibTeX RDF	schedule, formal methods, specification, requirements, cost, Program management
20	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
20	Matthias Templ, Bernhard Meindl	Robustification of Microdata Masking Methods and the Comparison with Existing Methods.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	numerical data protection methods, simulation, robustness, Statistical disclosure control
20	Sheridan Jeary, Keith Phalp, Jonathan Vincent	An evaluation of the utility of web development methods.	Softw. Qual. J.	2009	DBLP DOI BibTeX RDF	Web development methods, Web development projects, Web development
19	Anna Oganian, Alan F. Karr	Combinations of SDC Methods for Microdata Protection.	Privacy in Statistical Databases	2006	DBLP DOI BibTeX RDF	Statistical disclosure control (SDC), disclosure control methods, data utility, combinations of SDC methods, microdata, disclosure risk
19	Josef Stoer	High Order Long-Step Methods for Solving Linear Complementarity Problems.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	long-step methods, high order convergence, interior-point methods, complementarity problems
19	Nguyen Huu Cong, Karl Strehmel, Rüdiger Weiner, Helmut Podhaisky	Runge-Kutta-Nyström-type parallel block predictor-corrector methods.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	Runge-Kutta-Nyström methods, predictor-corrector methods, 65M20, parallelism, stability, 65M12
19	Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger	How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?	TOOLS (32)	1999	DBLP DOI BibTeX RDF	pragmatical class methods, static type safety, language design, covariance, binary methods
19	Kyusik Chung, Jongmin Yoon	Performance comparison of several feature selection methods based on node pruning in handwritten character recognition.	ICDAR	1997	DBLP DOI BibTeX RDF	feature selection methods, neural network node pruning, 3 layered perceptron classifier, input nodes, node saliency method, node sensitivity method, interactive pruning methods, contribution measures, left right hole concavity features, handwritten English alphabet, feature selection algorithms, feature extraction, handwriting recognition, statistical method, performance comparison, handwritten character recognition, principle component analysis, digit recognition, neural network training
19	Michel Cosnard, Pierre Fraigniaud	Analysis of Asynchronous Polynomial Root Finding Methods on a Distributed Memory Multicomputer.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	poles and zeros, distributed memorysystems, asynchronous polynomial root finding, iterative polynomial root finding, locally convergent, asynchronous methods, synchronous, convergence, polynomials, convergence of numerical methods, distributed memory multicomputer, hypercube multicomputer, polynomial zeros
19	Bernd Krieg-Brückner, Jan Peleska 0001, Ernst-Rüdiger Olderog, Alexander Baer	The UniForM Workbench, a Universal Development Environment for Formal Methods.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
19	Peter Frolkovic, Jürgen Geiser	Discretization Methods with Discrete Minimum and Maximum Property for Convection Dominated Transport in Porous Media.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
19	Kyle A. Gallivan, Ahmed H. Sameh, Zahari Zlatev	Comparison of Ten Methods for the Solution of Large and Sparse Linear Algebraic Systems.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
19	Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita	Formal Specification and Validation of a Vital Communication Protocol.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
19	David von Oheimb	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.	FM	2006	DBLP DOI BibTeX RDF	security, models, evaluation, software engineering, Formal methods
19	Roland Potthast	Sampling and Probe Methods - An Algorithmical View.	Computing	2005	DBLP DOI BibTeX RDF	reconstruction of physical parameters, survey article sampling- and probe methods, fixed wave number, shape reconstruction, Inverse scattering
19	Napsu Haarala, Kaisa Miettinen, Marko M. Mäkelä	Globally convergent limited memory bundle method for large-scale nonsmooth optimization.	Math. Program.	2007	DBLP DOI BibTeX RDF	Nondifferentiable programming, Variable metric methods, Limited memory methods, Global convergence, Large-scale optimization, Bundle methods
19	Ken D. Sauer, Sean Borman, Charles A. Bouman	Parallel computation of sequential pixel updates in statistical tomographic reconstruction.	ICIP	1995	DBLP DOI BibTeX RDF	emission tomography, sequential pixel updates, statistical tomographic reconstruction, iterative optimization problems, Gauss-Seidel iterations, theoretical speed up, parallel algorithms, parallel computation, optimisation, convergence, statistical analysis, image reconstruction, iterative methods, medical image processing, processors, parallel implementations, Bayesian methods, convergence of numerical methods, computerised tomography, parallel computing architectures, convergence speed
19	Joel M. Tendler, Theodore A. Bickart, Zdenek Picel	Algorithm 534: STINT: STiff (differential equations) INTegrator [D2].	ACM Trans. Math. Softw.	1978	DBLP DOI BibTeX RDF	Fortran code STINT, composite multistep methods, cyclic methods, multistep formulas, numerical integration program, stiff differential equations, stiffly stable methods, numerical integration, ordinary differential equations, initial value problems
19	Vladimir Slavov, Stefka Dimova	Phase-Field Versus Level Set Method for 2D Dendritic Growth.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF	phase-field method, dendritic solidification, level set method, finite difference methods
18	Jonathan P. Bowen, Michael G. Hinchey	Seven More Myths of Formal Methods.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
18	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
18	Beata Czarnacka-Chrobot	Analysis of the Functional Size Measurement Methods Usage by Polish Business Software Systems Providers.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	software development and enhancement projects, business software systems, effort estimation methods, software functional size measurement methods, ISO/IEC standards, IFPUG method, COSMIC method, benchmarking data, software engineering
18	Martin Burger 0001, Christina Stöcker, Axel Voigt	Finite Element-Based Level Set Methods for Higher Order Flows.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Higher-order geometric flows, Semi-implicit time stepping, Finite element methods, Level set methods, Energy dissipation
18	Jan Erik Solem, Niels Chr. Overgaard	A Geometric Formulation of Gradient Descent for Variational Problems with Moving Surfaces.	Scale-Space	2005	DBLP DOI BibTeX RDF	surface and curve evolution, geometric flows, functionals, level set methods, variational methods, differential geometry, gradient
18	Jeffrey A. Fessler	Preconditioning Methods for Shift-Variant Image Reconstruction.	ICIP (1)	1997	DBLP DOI BibTeX RDF	preconditioning methods, shift-variant image reconstruction, gradient-based iterative methods, circulant preconditioners, diagonal preconditioners, Hessian matrices, Fourier-based preconditioners, nonuniform noise variance, weighted least-squares objective function, nonquadratic penalty functions, unconstrained conjugate-gradient iteration, position emission tomography, convergence, image reconstruction, image restoration, inverse problems, tomographic image reconstruction, edge-preserving regularization
18	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
18	Jürgen Geiser	Weighted Iterative Operator-Splitting Methods: Stability-Theory.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
18	Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.	FM	2008	DBLP DOI BibTeX RDF	Loadable Software Parts, Security, Formal Methods, Safety
18	Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell	Technology Transfer Issues for Formal Methods of Software Specification.	CSEE&T	2000	DBLP DOI BibTeX RDF	SE education, SE pedagogy, SE Curriculum, Formal methods, specification
18	Angelo Lucia	Successive Quadratic Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lagrangian function, Kuhn-Tucker conditions, Quadratic programming subproblem, Hessian matrix of a Lagrangian function, Range and null space decomposition, Full space methods, Interior point methods, Line searching, Trust region, Active set methods, Successive quadratic programming
18	Tugrul Dayar	Analyzing Large Sparse Markov Chains of Kronecker Products.	QEST	2009	DBLP DOI BibTeX RDF	block iterative methods, preconditioned projection methods, Markov chains, grouping, reordering, multilevel methods, Kronecker products, lumping
18	Vicki L. Almstrum, Orit Hazzan, Mark Guzdial, Marian Petre	Challenges to computer science education research.	SIGCSE	2005	DBLP DOI BibTeX RDF	research in computer science education, research methods, qualitative methods, quantitative methods
18	E. Michael Gertz	A quasi-Newton trust-region method.	Math. Program.	2004	DBLP DOI BibTeX RDF	Line-search methods, Unconstrained optimization, Quasi-Newton methods, Trust-region methods
18	E. Michael Gertz, Philip E. Gill	A primal-dual trust region algorithm for nonlinear optimization.	Math. Program.	2004	DBLP DOI BibTeX RDF	interior methods, nonlinear optimization, trust-region methods, primal-dual methods, constrained minimization