Search results for "Methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	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
5	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
5	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
5	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
5	Hartmut Schwandt	Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE.	ICCSA	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
5	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
5	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
5	T. M. H. Chan, R. 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
5	Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari	Question-guided stubborn set methods for state properties.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
5	José 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 DOI BibTeX RDF	combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods
5	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
5	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
5	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
5	Scott D. Booth, Jeffrey A. Fessler	Combined diagonal/Fourier preconditioning methods for image reconstruction in emission tomography. (PDF / PS)	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
5	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
5	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
5	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
4	Rajeswar R. Gattupalli, Angelo Lucia	Molecular conformation of n -alkanes using terrain/funneling methods.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Multi-scale global optimization, Terrain methods, Funneling methods, n-alkane molecular conformation, Fuel oils
4	Prabhu Ramachandran, M. Ramakrishna	An Object-Oriented Design for Two-Dimensional Vortex Particle Methods.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	vortex methods, Object-orientation, particle methods
4	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
4	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
4	Martin Burger, 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
4	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
4	Stefan Siersdorfer, Sergej Sizov	Meta methods for model sharing in personal information systems.	ACM Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF	meta methods, restrictive methods, clustering, Classification, peer-to-peer, personal information management
4	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
4	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
4	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
4	Fleur Mougin, Anita Burgun, Olivier Bodenreider, Julie Chabalier, Olivier Loréal, Pierre Le Beux	Automatic Methods for Integrating Biomedical Data Sources in a Mediator-Based System.	DILS	2008	DBLP DOI BibTeX RDF	mediator-based approach, schema-level mapping methods, instance-level mapping methods, data integration, biomedicine
4	Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Blandford	Internalization, qualitative methods, and evaluation.	BELIV	2008	DBLP DOI BibTeX RDF	evaluation, usability, information visualization, qualitative methods
4	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
4	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
4	Ch. Roland, R. Varadhan, C. E. Frangakis	Squared polynomial extrapolation methods with cycling: an application to the positron emission tomography problem.	Numerical Algorithms	2007	DBLP DOI BibTeX RDF	Fixed-point methods, Polynomial extrapolation methods, Nonlinear systems, Linear systems, Squaring
4	Patricia A. Chalmers	Software Usability Metrics and Methods.	INTERACT	2007	DBLP DOI BibTeX RDF	usability stakeholders, usability experiment, usability consultation, tracking technolog, evaluation, usability, metrics, usability evaluation, usability evaluation, usability test, methods, ROI, stakeholders, return on investment, usability methods, usability metrics
4	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
4	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
4	Anne Elisabeth Haxthausen, Jan Peleska	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
4	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
4	Robert Jenssen, Torbjørn Eltoft, Deniz Erdogmus, Jose C. Principe	Some Equivalences between Kernel Methods and Information Theoretic Methods.	VLSI Signal Processing	2006	DBLP DOI BibTeX RDF	Mercel kernel methods, information theoretic methods, Parzen window
4	Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr	A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods.	International Journal of Computer Vision	2006	DBLP DOI BibTeX RDF	optic flow, partial differential equations, variational methods, multigrid methods
4	Jürgen Geiser	Weighted Iterative Operator-Splitting Methods: Stability-Theory.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	Ivan Georgiev, Johannes Kraus, Svetozar Margenov	Multilevel Preconditioning of 2D Rannacher-Turek FE Problems; Additive and Multiplicative Methods.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	Jürgen Geiser, Christos Kravvaritis	Weighted Iterative Operator-Splitting Methods and Applications.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	István Faragó	New Operator Splitting Methods and Their Analysis.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	Per Grove Thomsen, Zahari Zlatev	Studying the Properties of Variational Data Assimilation Methods by Applying a Set of Test-Examples.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
4	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
4	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
4	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
4	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
4	S. Faure, J. Laminie, R. Temam	Finite Volume Discretization and Multilevel Methods in Flow Problems.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	incremental unknowns two-dimensional Burgers equations, finite volume methods, Multilevel methods
4	J. 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
4	Nicolas Chevaugeon, Jianguo Xin, P. Hu, Xiangrong Li, D. Cler, Joseph E. Flaherty, Mark S. Shephard	Discontinuous Galerkin Methods Applied to Shock and Blast Problems.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	Discountinuous Galerkin methods, Hyperbolic conservation problems blast, Shock detection, anisotropic mesh refinement, adaptive methods
4	Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
4	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
4	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
4	Niels Chr. Overgaard, Jan Erik Solem	An Analysis of Variational Alignment of Curves in Images.	Scale-Space	2005	DBLP DOI BibTeX RDF	edge integration, alignment, level set methods, variational methods, curve evolution
4	Weifu Fang, Yi Wang, Yuesheng Xu	An Implementation of Fast Wavelet Galerkin Methods for Integral Equations of the Second Kind.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	wavelet Galerkin methods, logarithmic singularity, multiscale iteration methods, boundary integral equations, Fredholm integral equations
4	Gavin C. Cawley, Nicola L. C. Talbot, Gareth J. Janacek, Michael Peck	Bayesian Kernel Learning Methods for Parametric Accelerated Life Survival Analysis.	Deterministic and Statistical Methods in Machine Learning	2004	DBLP DOI BibTeX RDF
4	Petra Kudová, Roman Neruda	Kernel Based Learning Methods: Regularization Networks and RBF Networks.	Deterministic and Statistical Methods in Machine Learning	2004	DBLP DOI BibTeX RDF
4	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
4	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
4	Michael Backes, Catherine Meadows, John C. Mitchell	Relating cryptography and formal methods: a panel.	FMSE	2003	DBLP DOI BibTeX RDF	formal methods, cryptography, security protocols
4	Hugo D. Scolnik, N. Echebest, M. T. Guardarucci, M. C. Vacchino	Acceleration Scheme for Parallel Projected Aggregation Methods for Solving Large Linear Systems.	Annals OR	2002	DBLP DOI BibTeX RDF	projected aggregation methods, row partition strategies, parallel iterative methods
4	Bo Liu, Behrouz Fathi, Vassil N. Alexandrov	Numerical Experiments with Monte Carlo Methods and SPAI Preconditioner for Solving System of Linear Equations.	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF	Preconditioned iterative methods, approximate inverse, SPAI, Monte Carlo methods, Sparse Linear Systems
4	Lyudmila Mihaylova, Tine Lefebvre, Herman Bruyninckx, Klaas Gadeyne, Joris De Schutter	A Comparison of Decision Making Criteria and Optimization Methods for Active Robotic Sensing.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
4	Kyle 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
4	Ion Chryssoverghi	Discrete Methods for Optimal Control Problems.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
4	Vassil N. Alexandrov, Bo Liu	Hybrid Monte Carlo Methods for Matrix Computation.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	Solution of sytem of Linear Equations, Diagonal Dominant Matrices, SPAI, Markov Chain, Monte Carlo Method, Matrix Decomposition, Matrix Inversion
4	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
4	Anton Antonov	Galerkin and Control Volume Finite Element Methods for Large Scale Air Pollution Simulations: A Comparison.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF
4	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
4	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
4	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
4	Josef Stoer	High Order Long-Step Methods for Solving Linear Complementarity Problems.	Annals OR	2001	DBLP DOI BibTeX RDF	long-step methods, high order convergence, interior-point methods, complementarity problems
4	Ulrich Herzog	Formal Methods for Performance Evaluation.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
4	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
4	Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger	How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe?	TOOLS	1999	DBLP DOI BibTeX RDF	pragmatical class methods, static type safety, language design, covariance, binary methods
4	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
4	Bernd Krieg-Brückner, Jan Peleska, 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
4	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
4	P. J. van der Houwen, J. J. B. de Swart	Parallel linear system solvers for Runge-Kutta methods.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	convergence of iteration methods, parallelism, numerical analysis, Runge-Kutta methods
4	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
4	Colin J. Hardy, Helen M. Edwards, J. Barrie Thompson	Trends and developments in CASE and structured methods: a European perspective. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	metaCASE tools, CASE tools, computer aided software engineering, computer-aided software engineering, CASE, methods engineering, holistic approach, structured methods
4	Jeffrey A. Fessler	Preconditioning Methods for Shift-Variant Image Reconstruction. (PDF / PS)	ICIP	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
4	Paul M. Antoszczyszyn, John M. Hannah, Peter M. Grant	A Comparison of Detailed Automatic Wire-Frame Fitting Methods. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	detailed automatic wire-frame fitting methods, semantic wire-frame fitting methods, extremely low bit-rate model-based moving image communication systems, lips, nose, transmitted scene, facial code-book, Candide wire-frame model, videophone scene, head-and-shoulders, MIT facial data-base, reconstruction, eyes, facial features, videotelephony
4	Patrice Godefroid, Doron Peled, Mark G. Staskauskas	Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Formal methods, validation, concurrent programs, reachability analysis, automatic verification, partial-order methods
4	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
4	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
4	K. Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
4	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
4	Ken D. Sauer, S. Borman, Charles A. Bouman	Parallel computation of sequential pixel updates in statistical tomographic reconstruction. (PDF / PS)	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, statistical analysis, convergence, image reconstruction, iterative methods, medical image processing, processors, parallel implementations, Bayesian methods, convergence of numerical methods, computerised tomography, parallel computing architectures, convergence speed
4	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
4	Michel Cosnard, Pierre Fraigniaud	Analysis of Asynchronous Polynomial Root Finding Methods on a Distributed Memory Multicomputer.	IEEE Trans. Parallel Distrib. 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
4	Gerald C. Gannod, Betty H. C. Cheng	A Two-Phase Approach to Reverse Engineering Using Formal Methods.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
4	Jadranka Alilovic-Curgus	Analytic methods in coverage testing of communications software.	CASCON	1992	DBLP DOI BibTeX RDF	communication protocols testing, metric models, reliability, formal methods, quality assurance, computer communications, software engineering methods
4	Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron	What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
4	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
4	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
3	Gabriella Dellino, M. Fedele, Carlo Meloni	Dynamic Objectives Aggregation Methods in Multi-objective Evolutionary Optimization.	Innovative Computing Methods and Their Applications to Engineering Problems	2011	DBLP DOI BibTeX RDF
3	Slawomir Koziel, David Echeverría Ciaurri, Leifur Þ. Leifsson	Surrogate-Based Methods.	Computational Optimization, Methods and Algorithms	2011	DBLP DOI BibTeX RDF
3	Slawomir Koziel, Stanislav Ogurtsov	Simulation-Driven Design in Microwave Engineering: Methods.	Computational Optimization, Methods and Algorithms	2011	DBLP DOI BibTeX RDF