The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for methods with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1952-1957 (16) 1958-1959 (21) 1960 (17) 1961-1962 (36) 1963-1964 (34) 1965-1966 (33) 1967 (40) 1968 (34) 1969 (29) 1970 (37) 1971 (28) 1972 (32) 1973 (89) 1974 (68) 1975 (81) 1976 (81) 1977 (80) 1978 (99) 1979 (90) 1980 (103) 1981 (86) 1982 (89) 1983 (125) 1984 (125) 1985 (174) 1986 (192) 1987 (290) 1988 (357) 1989 (490) 1990 (591) 1991 (577) 1992 (775) 1993 (972) 1994 (1139) 1995 (1456) 1996 (1459) 1997 (1746) 1998 (2090) 1999 (2668) 2000 (3165) 2001 (3492) 2002 (4701) 2003 (5409) 2004 (7544) 2005 (8894) 2006 (10414) 2007 (11489) 2008 (11394) 2009 (8680) 2010 (4663) 2011 (4183) 2012 (4708) 2013 (4912) 2014 (5304) 2015 (4991) 2016 (5106) 2017 (5398) 2018 (5849) 2019 (853) 2020 (3)
Publication types (Num. hits)
article(44265) book(382) incollection(1991) inproceedings(88623) phdthesis(1651) proceedings(689)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 81425 occurrences of 17214 keywords

Results
Found 137601 publication records. Showing 137601 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
37Md. Mahbubur Rahim, Afzaal H. Seyal, Mohd. Noah Abd. Rahman, Sophiana Chua Abdullah Adoption of systems development methods and techniques: experiences of Bruneian organizations. Search on Bibsonomy ISCNZ The full citation details ... 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
32Adam B. Levy Constraint incorporation in optimization. Search on Bibsonomy Math. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Penalty methods, Barrier methods, Penalty-multiplier methods, Constrained optimization, Numerical optimization, Trust region methods, Sequential quadratic programming, Variational analysis
30Sanja Fidler, Danijel Skocaj, Ales Leonardis Combining Reconstructive and Discriminative Subspace Methods for Robust Classification and Regression by Subsampling. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
30Lars Michael Kristensen, Karsten Schmidt 0004, Antti Valmari Question-guided stubborn set methods for state properties. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Stubborn set methods, Petri nets, Partial-order reduction, State space methods, State explosion problem
29Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto Introduction: Symbolic Algebraic Methods and Verification Methods. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
29Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray A Specification and Validation Technique Based on STATEMATE and FNLOG. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
29David W. Paglieroni, Sidney M. Petersen Height distributional distance transform methods for height field ray tracing. Search on Bibsonomy ACM Trans. Graph. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF parameter plane transform, parametric/nonparametric HDDT methods, ray tracing, distance transform, terrain, height field, hierarchical methods, incremental methods
29Colin B. Macdonald, Sigal Gottlieb, Steven J. Ruuth A Numerical Study of Diagonally Split Runge-Kutta Methods for PDEs with Discontinuities. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Diagonally split Runge-Kutta methods, Unconditional contractivity, Order reduction, Hyperbolic PDEs, Runge-Kutta methods, Time discretization, Strong stability preserving
27T. M. H. Chan, R. P. K. Chan A Simplified Approach to the Order Conditions of Integration Methods. Search on Bibsonomy Computing The full citation details ... 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
27Wing Lok Yeung, Karl R. P. H. Leung A Synergistic Interweaving of Formal and Informal Methods. Search on Bibsonomy COMPSAC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
26Karol Gajda, Malgorzata A. Jankowska, Andrzej Marciniak, Barbara Szyszka A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem. Search on Bibsonomy PPAM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF the initial value problem, one-step interval methods, symplectic interval methods, multistep interval methods, floating-point interval arithmetic
26Ladislav Luksan, Ctirad Matonoha, Jan Vlcek Algorithm 896: LSA: Algorithms for large-scale optimization. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 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
26Wei Qian, D. M. Titterington Bayesian Image Restoration: An Application to Edge-Preserving Surface Recovery. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
25Markus Neher 0001 Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
25Stepan Shakhno Some Numerical Methods for Nonlinear Least Squares Problems. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
25Jens-Peter M. Zemke How Orthogonality is Lost in Krylov Methods. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
25Ioannis Z. Emiris Matrix Methods for Solving Algebraic Systems. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
25José Ramón Gil-García, Theresa A. Pardo Multiple methods and multiple paradigms for digital government research: understanding the promises and challenges. Search on Bibsonomy DG.O The full citation details ... 2005 DBLP  BibTeX  RDF combination of methods, muti-method approaches, philosophical assumptions, research methods, mixed methods
25Scott D. Booth, Jeffrey A. Fessler Combined diagonal/Fourier preconditioning methods for image reconstruction in emission tomography. Search on Bibsonomy ICIP The full citation details ... 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
25Noura Abbas, Andrew M. Gravell, Gary B. Wills Historical Roots of Agile Methods: Where Did "Agile Thinking" Come From?. Search on Bibsonomy XP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Foundations and Conceptual Studies of Agile Methods, Software Development, Agile Methods
25John C. Butcher High Order A-stable Numerical Methods for Stiff Problems. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Stiff differential equations, A-stable methods, general linear methods, inherent RK stability
25Hans-Peter Kriegel, Michael Schiwietz Performance Comparison of Point and Spatial Access Methods. Search on Bibsonomy SSD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF spatial database systems, access methods, performance comparison
25Emilio Spedicato, Zun-Quan Xia, Liwei Zhang ABS Algorithms for Optimization. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ABS methods, Feasible direction methods, KT equations, Optimization, Linear programming, Interior point methods, Linear equations, Quasi-Newton methods
24Paul Houston, Max Jensen, Endre Süli hp-Discontinuous Galerkin Finite Element Methods with Least-Squares Stabilization. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF hp-finite element methods, least-squares finite element methods, first order systems of PDEs, discontinuous Galerkin methods
24Christophe Roland, R. Varadhan, C. E. Frangakis Squared polynomial extrapolation methods with cycling: an application to the positron emission tomography problem. Search on Bibsonomy Numerical Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fixed-point methods, Polynomial extrapolation methods, Nonlinear systems, Linear systems, Squaring
24Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu High Order Strong Stability Preserving Time Discretizations. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
23Hector Ouilhet Google Sky Map: using your phone as an interface. Search on Bibsonomy Mobile HCI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
23Eric 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. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
23Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23J. Paul Gibson Weaving a Formal Methods Education with Problem-Based Learning. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
23John McLean Formal methods in security engineering: where we've been, where we are, where we need to go. Search on Bibsonomy FMSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, computer security
23Hartmut Schwandt Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE. Search on Bibsonomy ICCSA (3) The full citation details ... 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
23Atul K. Chhabra, Timothy A. Grogan On Poisson Solvers and Semi-Direct Methods for Computing Area Based Optical Flow. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
23Sheridan Jeary, Keith Phalp, Jonathan Vincent An evaluation of the utility of web development methods. Search on Bibsonomy Software Quality Journal The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Web development methods, Web development projects, Web development
23Jonathan P. Bowen, Michael G. Hinchey Seven More Myths of Formal Methods. Search on Bibsonomy IEEE Software The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Robert Jenssen, Torbjørn Eltoft, Deniz Erdogmus, José C. Príncipe Some Equivalences between Kernel Methods and Information Theoretic Methods. Search on Bibsonomy VLSI Signal Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mercel kernel methods, information theoretic methods, Parzen window
22Wendy E. Mackay The interactive thread: exploring methods for multi-disciplinary design. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 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
22Lars Michael Kristensen, Thomas Mailund A Generalised Sweep-Line Method for Safety Properties. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF explicit state space exploration methods, state space reduction methods, practical use and tool support, reachability analysis, theoretical foundations
22Stephan Kleuker, Hermann Tjabben The Incremental Development of Correct Specifications for Distributed Systems. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF extension of existing formal methods, combination of methods, incremental development
22Matthias Templ, Bernhard Meindl Robustification of Microdata Masking Methods and the Comparison with Existing Methods. Search on Bibsonomy Privacy in Statistical Databases The full citation details ... 2008 DBLP  DOI  BibTeX  RDF numerical data protection methods, simulation, robustness, Statistical disclosure control
22Peter Frolkovic, Jürgen Geiser Discretization Methods with Discrete Minimum and Maximum Property for Convection Dominated Transport in Porous Media. Search on Bibsonomy Numerical Methods and Application The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Kyle A. Gallivan, Ahmed H. Sameh, Zahari Zlatev Comparison of Ten Methods for the Solution of Large and Sparse Linear Algebraic Systems. Search on Bibsonomy Numerical Methods and Application The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita Formal Specification and Validation of a Vital Communication Protocol. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Tetsuro Yamamoto A New Insight of the Shortley-Weller Approximation for Dirichlet Problems. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Christian Jansson Quasi Convex-Concave Extension. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Robert M. Corless Symbolic-Numeric Algorithms for Polynomials: Some recent Results. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Jürgen Garloff, Andrew P. Smith Solution of Systems of Polynomial Equation by Using Bernstein Expansion. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Bruno Lang Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Annie A. M. Cuyt Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear Algebra. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Deepak Kapur Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Teruya Minamoto Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22David M. Gay Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Götz Alefeld, Vladik Kreinovich, Günter Mayer Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Rudolf F. Albrecht Topological Concepts for Hierarchies of variables, Types and Controls. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Reinhold Heckmann Translation of Taylor Series into LFT Expansions. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Uwe Schäfer The Linear Complementarity Problem with Interval Data. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Thomas Decker 0001, Werner Krandick On the Isoefficiency of the Parallel Descartes Method. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Kurt Mehlhorn, Stefan Schirra Exact Computation with leda_real - Theory and geometric Applications. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Andreas Frommer A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Günter Mayer, I. Warnke On the Shape of the Fixed Points of [f]([c])=[A][x]+[b]. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Siegfried M. Rump Fast Verification Algorithms in MATLAB. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22Michael Plum Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems. Search on Bibsonomy Symbolic Algebraic Methods and Verification Methods The full citation details ... 2001 DBLP  BibTeX  RDF
22M. Sabry Hassouna, Aly A. Farag MultiStencils Fast Marching Methods: A Highly Accurate Solution to the Eikonal Equation on Cartesian Domains. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Multi-stencils fast marching methods, monotonically advancing fronts, level set methods, fast marching methods, Eikonal equation
22Thomas Rauber, Gudula Rünger Iterated Runge-Kutta methods on distributed memory multiprocessors. Search on Bibsonomy PDP The full citation details ... 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
22Joel M. Tendler, Theodore A. Bickart, Zdenek Picel A Stiffly Stable Integration Process Using Cyclic Composite Methods. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 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
21Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup Open multi-methods for c++. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF open-methods, object oriented programming, C++, generic programming, multiple dispatch, multi-methods
21Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 2006 DBLP  DOI  BibTeX  RDF optic flow, partial differential equations, variational methods, multigrid methods
21Kwang Ik Seo, Eun Man Choi Comparison of Five Black-box Testing Methods for Object-Oriented Software. Search on Bibsonomy SERA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test
21Andrés Bruhn, Joachim Weickert, Timo Kohlberger, Christoph Schnörr Discontinuity-Preserving Computation of Variational Optic Flow in Real-Time. Search on Bibsonomy Scale-Space The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computer vision, optical flow, partial differential equations, variational methods, multigrid methods, differential techniques
21Emilio Spedicato, Elena Bodon, Antonino Del Popolo, Nezam Mahdavi-Amiri ABS methods and ABSPACK for linear systems and optimization: A review. Search on Bibsonomy 4OR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ABS methods, linear algebraic systems, feasible direction methods, ABSPACK, simplex method, Diophantine equations
21Shaoying Liu, Yong Sun Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. Search on Bibsonomy ICECCS The full citation details ... 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
21William B. Frakes, Thomas P. Pole An Empirical Study of Representation Methods for Reusable Software Components. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
21Roland Potthast Sampling and Probe Methods - An Algorithmical View. Search on Bibsonomy Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF reconstruction of physical parameters, survey article sampling- and probe methods, fixed wave number, shape reconstruction, Inverse scattering
21Jianwei Niu 0003, Zhizhong Li, Gavriel Salvendy Mathematical Methods for Shape Analysis and form Comparison in 3D Anthropometry: A Literature Review. Search on Bibsonomy HCI (12) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF form comparison, 3D anthropometry
21S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
21Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
21Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
21Donna C. Stidolph, E. James Whitehead Jr. Managerial Issues for the Consideration and Use of Formal Methods. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF schedule, formal methods, specification, requirements, cost, Program management
21Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Byte Code Verification, Formal Methods, B Method
21Bernd Krieg-Brückner, Jan Peleska 0001, Ernst-Rüdiger Olderog, Alexander Baer The UniForM Workbench, a Universal Development Environment for Formal Methods. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Jürgen Geiser Weighted Iterative Operator-Splitting Methods: Stability-Theory. Search on Bibsonomy Numerical Methods and Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Anna Oganian, Alan F. Karr Combinations of SDC Methods for Microdata Protection. Search on Bibsonomy Privacy in Statistical Databases The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Statistical disclosure control (SDC), disclosure control methods, data utility, combinations of SDC methods, microdata, disclosure risk
20Josef Stoer High Order Long-Step Methods for Solving Linear Complementarity Problems. Search on Bibsonomy Annals OR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF long-step methods, high order convergence, interior-point methods, complementarity problems
20Nguyen Huu Cong, Karl Strehmel, Rüdiger Weiner, Helmut Podhaisky Runge-Kutta-Nyström-type parallel block predictor-corrector methods. Search on Bibsonomy Adv. Comput. Math. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Runge-Kutta-Nyström methods, predictor-corrector methods, 65M20, parallelism, stability, 65M12
20Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? Search on Bibsonomy TOOLS (32) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF pragmatical class methods, static type safety, language design, covariance, binary methods
20Kyusik Chung, Jongmin Yoon Performance comparison of several feature selection methods based on node pruning in handwritten character recognition. Search on Bibsonomy ICDAR The full citation details ... 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
20Michel Cosnard, Pierre Fraigniaud Analysis of Asynchronous Polynomial Root Finding Methods on a Distributed Memory Multicomputer. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 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
20Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell Technology Transfer Issues for Formal Methods of Software Specification. Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SE education, SE pedagogy, SE Curriculum, Formal methods, specification
20Vladimir Slavov, Stefka Dimova Phase-Field Versus Level Set Method for 2D Dendritic Growth. Search on Bibsonomy Numerical Methods and Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF phase-field method, dendritic solidification, level set method, finite difference methods
20Ricky W. Butler Formal Methods at NASA Langley. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20David von Oheimb Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF security, models, evaluation, software engineering, Formal methods
20Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton Formal Methods for Extensions to CAS. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Ion Chryssoverghi Discrete Methods for Optimal Control Problems. Search on Bibsonomy Numerical Methods and Application The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Beata Czarnacka-Chrobot Analysis of the Functional Size Measurement Methods Usage by Polish Business Software Systems Providers. Search on Bibsonomy IWSM/Mensura The full citation details ... 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
19Martin Burger 0001, Christina Stöcker, Axel Voigt Finite Element-Based Level Set Methods for Higher Order Flows. Search on Bibsonomy J. Sci. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order geometric flows, Semi-implicit time stepping, Finite element methods, Level set methods, Energy dissipation
19Jan Erik Solem, Niels Chr. Overgaard A Geometric Formulation of Gradient Descent for Variational Problems with Moving Surfaces. Search on Bibsonomy Scale-Space The full citation details ... 2005 DBLP  DOI  BibTeX  RDF surface and curve evolution, geometric flows, functionals, level set methods, variational methods, differential geometry, gradient
19Jeffrey A. Fessler Preconditioning Methods for Shift-Variant Image Reconstruction. Search on Bibsonomy ICIP (1) The full citation details ... 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
Displaying result #1 - #100 of 137601 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license