Search results for "functionals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Aleksandar Ignjatovic, Arun Sharma 0001	Some applications of logic to feasibility in higher types.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	higher-order complexity, second-order theories, functionals, bounded arithmetic
76	Rui J. P. de Figueiredo	Processing fuzzy set membership functionals as vectors.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Zadeh, Alzheimer’s, Neural networks, Fuzzy, Functionals, Nonlinear, Sets, Membership, Analytic, Hilbert space
76	Samuel R. Buss, Bruce M. Kapron	Resource-Bounded Continuity and Sequentiality for Type-Two Functionals.	LICS	2000	DBLP DOI BibTeX RDF	type-two functionals, higher-type complexity, continuity, sequentiality
67	Stefano Berardi, Ugo de'Liguoro	Total Functionals and Well-Founded Strategies.	TLCA	1999	DBLP DOI BibTeX RDF
67	Michael E. Zervakis, Aggelos K. Katsaggelos, Taek Mu Kwon	A class of robust entropic functionals for image restoration.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
63	Dmytro Chibisov, Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov	On the Provably Tight Approximation of Optimal Meshing for Non-convex Regions.	CASC	2006	DBLP DOI BibTeX RDF
62	Mads Nielsen	Surface Reconstruction: GNCs and MFA.	ICCV	1995	DBLP DOI BibTeX RDF	GNCs, MFA, noise corrupted surfaces, quadratic data term, non convex functional minimisation, approximating functional, fully automatic methods, Gaussian convolution, Blake-Zisserman Graduated Non Convexity, graduated non convexity, image reconstruction, surface reconstruction, Bayes methods, convexity, minimum description length, Bayesian estimation, convex functionals, variational techniques, mean field annealing, variational approach
56	Xian-Ming Zhang, Qing-Long Han	New Lyapunov-Krasovskii Functionals for Global Asymptotic Stability of Delayed Neural Networks.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
56	Samuel R. Buss, Bruce M. Kapron	Resource-bounded continuity and sequentiality for type-two functionals.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Higher-order complexity, decision trees, sequential computation
55	Bruce M. Kapron, Stephen A. Cook	A New Characterization of Mehlhorn's Polynomial Time Functionals (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	polytime operators, Mehlhorn's polynomial time functionals, machine-independent characterization, computational feasibility, type 2 functionals, feasibility, inductive definition
46	Björn W. Schuller, Matthias Wimmer, Lorenz Mösenlechner, Christian Kern, Dejan Arsic, Gerhard Rigoll	Brute-forcing hierarchical functionals for paralinguistics: A waste of feature space?	ICASSP	2008	DBLP DOI BibTeX RDF
46	Daniel Leivant	Implicit Computational Complexity for Higher Type Functionals.	CSL	2002	DBLP DOI BibTeX RDF
46	Margarita V. Korovina, Oleg V. Kudinov	Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.	CCA	2000	DBLP DOI BibTeX RDF
46	Charles Kervrann, Mark Hoebeke, Alain Trubuil	Level Lines as Global Minimizers of Energy Functionals in Image Segmentation.	ECCV (2)	2000	DBLP DOI BibTeX RDF
46	Karl-Heinz Niggl	A restricted computation model on Scott domains and its partial primitive recursive functionals.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991):03D15, 03D65, 03D99, 68Q99, 68Q15, 68Q10, 68Q55, 68Q05, 03D20
46	Elena Pezzoli	On the Computational Complexity of Type 2 Functionals.	CSL	1997	DBLP DOI BibTeX RDF
45	Xinyu Zhang, Seth E. Watts, Yaohang Li, Daniel A. Tortorelli	Minkowski Functionals Study of Random Number Sequences.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Minkowski functionals, point pattern, random number, random number test
45	Andrej Bauer, Lars Birkedal	Continuous Functionals of Dependent Types and Equilogical Spaces.	CSL	2000	DBLP DOI BibTeX RDF	dependent type theory, equilogical spaces, domain theory, continuous functionals
45	Eric J. Pauwels, Peter Fiddelaers, Luc Van Gool	Enhancement of Planar Shape Through Optimization of Functionals for Curves.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	Nordström-Wen diffusion, geometry-driven diffusion, elasticae, shape, Curve-evolution, Mumford-Shah functionals
42	Michael Benedikt, Gabriele Puppis, Huy Vu	Positive higher-order queries.	PODS	2010	DBLP DOI BibTeX RDF	higher-order queries
42	Hua Li 0003, Anthony J. Yezzi	Local or Global Minima: Flexible Dual-Front Active Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	dual front evolution, morphological dilation, global minima, minimal path technique, fast sweeping methods, image segmentation, Active contours, level set methods, curve evolution, local minima
41	Martín Hötzel Escardó	Computability of Continuous Solutions of Higher-Type Equations.	CiE	2009	DBLP DOI BibTeX RDF	Higher-type computability, Kleene-Kreisel spaces of continuous functionals, exhaustible set
41	Raymond T. Boute	Functional declarative language design and predicate calculus: a practical approach.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics
41	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
41	G. Robert Redinbo, Cung Nguyen	Protecting Wavelet Lifting Transforms.	PRDC	2004	DBLP DOI BibTeX RDF	weighted sum parity, real number codes, error gain matrices, dual space functionals, bi-orthogonality, Wavelet transforms, concurrent error detection, algorithm-based fault tolerance
35	Dag Normann	Internal Density Theorems for Hierarchies of Continuous Functionals.	CiE	2008	DBLP DOI BibTeX RDF	Limit space, Probabilistic selection, Density theorem, Continuous functional
35	Bernardo Cockburn, Ryuhei Ichikawa	Adjoint Recovery of Superconvergent Linear Functionals from Galerkin Approximations. The One-dimensional Case.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	post-processing, discontinuous Galerkin methods, Superconvergence
35	John Case, Timo Kötzing, Todd Paddock	Feasible Iteration of Feasible Learning Functionals.	ALT	2007	DBLP DOI BibTeX RDF
35	Xun Liang 0001	Mathematical Analysis of Classifying Convex Clusters Based on Support Functionals.	ADMA	2005	DBLP DOI BibTeX RDF
35	Adam B. Levy	Second-Order Epi-Derivatives of Composite Functionals.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	second-order epi-derivative, twice Mosco epi-differentiability, convex-C 2 composite function
35	Christian Schellewald, Jens Keuchel, Christoph Schnörr	Image Labeling and Grouping by Minimizing Linear Functionals over Cones.	EMMCVPR	2001	DBLP DOI BibTeX RDF
35	Alex K. Simpson	Lazy Functional Algorithms for Exact Real Functionals.	MFCS	1998	DBLP DOI BibTeX RDF
35	Miguel A. Aragon-Calvo, Sergei F. Shandarin, Alexander S. Szalay	Geometry of the Cosmic Web: Minkowski Functionals from the Delaunay Tessellation.	ISVD	2010	DBLP DOI BibTeX RDF	Delaunay Tessellations, Minkowski Functionals, cosmology
35	Riho Lepp	Approximation of Extremum Problems with Probability Functionals.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Discrete approximation, Probability functionals
35	Axel Klar	Computation of Nonlinear Functionals in Particle Methods.	Computing	1995	DBLP DOI BibTeX RDF	discrepancy estimates, Particle methods, nonlinear functionals
35	Christoph Schnörr	On Functionals with Greyvalue-Controlled Smoothness Terms for Determining Optical Flow.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	greyvalue-controlled smoothness terms, local motion information, constraint equation, image sequences, optical flow, functionals, uniqueness
35	Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron	Parallel computable higher type functionals (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	recursion-theoretic characterisations, parallel computable higher type functionals, parallel complexity classes, higher type classes, machine-theoretic characterisations, proof-theoretic characterisations
35	Stephen A. Cook, Bruce M. Kapron	Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	finite type functional, simple typed while-programming language, mu -recursion, feasible functionals, length-bounded, bounded typed loop program, run times
31	Rodrigo Palma Amestoy, Edoardo Provenzi, Marcelo Bertalmío, Vicent Caselles	A Perceptually Inspired Variational Framework for Color Enhancement.	IEEE Trans. Pattern Anal. Mach. Intell.	2009	DBLP DOI BibTeX RDF
31	Gabriele Steidl, Simon Setzer, B. Popilka, Bernhard Burgeth	Restoration of matrix fields by second-order cone programming.	Computing	2007	DBLP DOI BibTeX RDF	AMS Subject Classifications 90C25, 90C30, 65K10, 49M29, 65M06
31	Amol V. Patil, Soumyo Mukherji, Uday B. Desai	Optimal Objective Functional Selection for Image Reconstruction in Diffuse Optical Tomography.	ICCTA	2007	DBLP DOI BibTeX RDF
31	Elif Tosun, Yotam I. Gingold, Jason Reisman, Denis Zorin	Shape optimization using reflection lines.	Symposium on Geometry Processing	2007	DBLP DOI BibTeX RDF
31	Marco Loog, François Lauze	Blur Invariant Image Priors.	SSVM	2007	DBLP DOI BibTeX RDF
31	Tryphon T. Georgiou	Relative entropy and the multivariable multidimensional moment problem.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
31	Hua Li 0003, Anthony J. Yezzi	Local or Global Minima: Flexible Dual-Front Active Contours.	CVBIA	2005	DBLP DOI BibTeX RDF
31	Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs	A Non-convex PDE Scale Space.	Scale-Space	2005	DBLP DOI BibTeX RDF	Morphological regularization, equivalence relations, diffusion filtering
31	Jan Erik Solem, Niels Chr. Overgaard	A Gradient Descent Procedure for Variational Dynamic Surface Problems with Constraints.	VLSM	2005	DBLP DOI BibTeX RDF
31	Joel L. Horowitz, Charles F. Manski, Maria Ponomareva, Jürg Stoye	Computation of Bounds on Population Parameters When the Data Are Incomplete.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
31	Alexander Kadyrov, Maria Petrou	The Trace Transform and Its Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	2001	DBLP DOI BibTeX RDF	image database search, change detection, Radon transform, invariant features, Trace transform
31	Alexander Kadyrov, Maria Petrou	Features invariant to affine distortions from the trace transform.	ICIP (3)	2001	DBLP DOI BibTeX RDF
31	Hui Xie 0001, Hong Qin 0001	Automatic Knot Determination of NURBS for Interactive Geometric Design.	Shape Modeling International	2001	DBLP DOI BibTeX RDF	Constraints, Interactive Techniques, Deformable Models, NURBS, Energy Optimization, CAGD
31	Mads Nielsen	Graduated Nonconvexity by Functional Focusing.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Graduated nonconvexity, functional minimization, mean field annealing, Bayesian reconstruction
31	Andreas Weiermann	A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
31	Norman Danner, James S. Royer	Two Algorithms in Search of a Type-System.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Higher-type computation, Higher-type complexity, Basic feasible functionals, Compositional semantics, Implicit computational complexity
31	Igor Mozolevski, Endre Süli, Paulo Rafael Bösing	hp -Version a priori Error Analysis of Interior Penalty Discontinuous Galerkin Finite Element Approximations to the Biharmonic Equation.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	High-order elliptic equations, a priori error analysis, finite element methods, discontinuous Galerkin methods, linear functionals
31	Raymond T. Boute	Calculational semantics: Deriving programming theories from equations by functional predicate calculus.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
31	Kristian Bredies, Dirk A. Lorenz, Peter Maass	An Optimal Control Problem in Medical Image Processing.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	generalized conditional gradient method, surrogate functionals, optimal control of PDEs, image processing
31	Ulrich Berger 0001	Density Theorems for the Domains-with-Totality Semantics of Dependent Types.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	totality, dependent types, universes, domains, continuous functionals
31	Clyde F. Martin, Carroll Nunn, Carroll Schovanec	Problems of Optimization with Application to Prosthetic Design and Stress Fracture Prediction.	CBMS	1995	DBLP DOI BibTeX RDF	stress analysis, elastic constants, prosthetic design, stress fracture prediction, optimal form, collageneous tissue, interfacial interactions, augmented Lagrange techniques, nonlinear conjugate gradient methods, optimization, optimisation, deformation, functionals, geometry, geometry, compliance, differential equations, differential equation, conjugate gradient methods, biomechanics, fracture, bone, bone, strain energy, functional equations, prosthetics, extreme values, material properties
28	Bernhard Schmelzer	Multivariate capacity functionals vs. capacity functionals on product spaces.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
28	Petra Weidner	Gerstewitz Functionals on Linear Spaces and Functionals with Uniform Sublevel Sets.	J. Optim. Theory Appl.	2017	DBLP DOI BibTeX RDF
28	Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama	Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support.	Formaliz. Math.	2010	DBLP DOI BibTeX RDF
28	Timur R. Seifullin	Determination of the basis of the space of all root functionals of a system of polynomial equations and of the basis of its ideal by the operation of the extension of bounded root functionals.	CoRR	2008	DBLP BibTeX RDF
28	M. Sghaier, Jilani Alaya	Building some symmetric Laguerre-Hahn functionals of class two at most through the sum of symmetric functionals as pseudofunctions with a Dirac measure at origin.	Int. J. Math. Math. Sci.	2006	DBLP DOI BibTeX RDF
28	Marc Bezem	Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals.	J. Symb. Log.	1985	DBLP DOI BibTeX RDF
25	Lin Yu	Extension of Stochastic Dynamical System Involving Generalized Brownian Functionals.	ISNN (1)	2009	DBLP DOI BibTeX RDF	White noise calculus, U-functional, Generalized Brownian functional, Wick product
25	Paolo Gronchi, Marco Longinetti	Affinely Regular Polygons as Extremals of Area Functionals.	Discret. Comput. Geom.	2008	DBLP DOI BibTeX RDF	Affinely regular polygons, Geometric tomography, Affine length
25	Iasson Karafyllis, Zhong-Ping Jiang	Control Lyapunov Functionals and robust stabilization of nonlinear time-delay systems.	CDC	2008	DBLP DOI BibTeX RDF
25	Didier Dubois, Hélène Fargier, Barbara Vantaggi	An Axiomatization of Conditional Possibilistic Preference Functionals.	ECSQARU	2007	DBLP DOI BibTeX RDF
25	Leonardo Pacifici, Leonardo Arteconi, Antonio Laganà	FITTING: A Portal to Fit Potential Energy Functionals to ab initio Points.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	webportal, ab initio calculations, potential energy surfaces, fitting, multiscale simulations
25	Gabriele Steidl	A Note on the Dual Treatment of Higher-Order Regularization Functionals.	Computing	2006	DBLP DOI BibTeX RDF	Rudin-Osher-Fatemi model, higher order regularization, dual optimization methods, G-norm, convex optimization, support vector regression
25	Xiyu Liu 0001, John H. Frazer, Ming Xi Tang	Visualization and Genetic Algorithms in Minimax Theory for Nonlinear Functionals.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	minimax theory, genetic algorithm, Visualization, nonlinear
25	I. Ben Salah, Pascal Maroni	The connection between self-associated two-dimensional vector functionals and third degree forms.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF	Stieltjes functions, third degree forms, Laguerre-Hahn polynomials, 2-orthogonal polynomials, integral representations, 42C05, 33C45
25	Laurent Younes	Calibrating Parameters of Cost Functionals.	ECCV (2)	2000	DBLP DOI BibTeX RDF	Bayesian image models, Learning, parameter estimation, image reconstruction, variational method
25	Dag Normann	Closing the gap between the continuous functionals and recursion in 3E.	Arch. Math. Log.	1997	DBLP DOI BibTeX RDF
25	Jerzy W. Jaromczyk, Grzegorz Swiatek	A Theory of Even Functionals and Their Algorithmic Applications.	ICALP	1993	DBLP DOI BibTeX RDF
21	James Laird	Nondeterminism and Observable Sequentiality.	CSL	2009	DBLP DOI BibTeX RDF
21	Steven B. Damelin	A walk through energy, discrepancy, numerical integration and group invariant measures on measurable subsets of euclidean space.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 41A05, Secondary 41A15, 41A63
21	Alexander Wong	Illumination invariant active contour-based segmentation using complex-valued wavelets.	ICIP	2008	DBLP DOI BibTeX RDF
21	Jarek Krajewski, Anton Batliner, Rainer Wieland	Multiple classifier applied on predicting microsleep from speech.	ICPR	2008	DBLP DOI BibTeX RDF
21	Daniel Alejandro Melchor-Aguilar, Vladimir Kharitonov, Rogelio Lozano	Stability and robust stability of integral delay systems.	CDC	2008	DBLP DOI BibTeX RDF
21	Juan Eduardo Velázquez-Velázquez, Vladimir Kharitonov, Sabine Mondié	Robust stability analysis of a class of neutral type time delay equations.	CDC	2008	DBLP DOI BibTeX RDF
21	Qingguo Zeng, Yunmei Chen	Accurate Inverse Consistent Non-rigid Image Registration and Its Application on Automatic Re-contouring.	ISBRA	2008	DBLP DOI BibTeX RDF
21	Daniel Cremers, Frank R. Schmidt, Frank Barthel	Shape priors in variational image segmentation: Convexity, Lipschitz continuity and globally optimal solutions.	CVPR	2008	DBLP DOI BibTeX RDF
21	Luís M. Silva, Mark J. Embrechts, Jorge M. Santos, Joaquim Marques de Sá	The Influence of the Risk Functional in Data Classification with MLPs.	ICANN (1)	2008	DBLP DOI BibTeX RDF
21	Thomas Pock, Michael Pock, Horst Bischof	Algorithmic Differentiation: Application to Variational Problems in Computer Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Evaluating derivatives, algorithmic differentiation, optimization, variational methods, energy functional
21	Carlos Müller, Antonio Ruiz Cortés, Pablo Fernandez 0001	Temporal-Awareness in SLAs: Why Should We Be Concerned?	ICSOC Workshops	2007	DBLP DOI BibTeX RDF
21	Nan Liu 0003, Han Wang 0001	Classification of transformed face images with majority voting.	SMC	2007	DBLP DOI BibTeX RDF
21	Sahand Haji Ali Ahmad, Aleksandar Jovicic, Pramod Viswanath	On outer bounds to the capacity region of wireless networks.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	cut-set bounds, isometric embedding, ad hoc wireless networks, multihop, transport capacity, capacity region
21	Marie Rochery, Ian H. Jermyn, Josiane Zerubia	Higher Order Active Contours.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	geometric, quadratic, remote sensing, polynomial, active contour, road network, shape prior, higher-order
21	Lars Kristiansen, Paul J. Voda	The Trade-Off Theorem and Fragments of Gödel's T.	TAMC	2006	DBLP DOI BibTeX RDF
21	Jan Erik Solem, Niels Chr. Overgaard, Markus Persson, Anders Heyden	Fast Variational Segmentation using Partial Extremal Initialization.	CVPR (1)	2006	DBLP DOI BibTeX RDF
21	Anthony Man-Cho So, Jiawei Zhang 0006, Yinyu Ye 0001	Stochastic Combinatorial Optimization with Controllable Risk Aversion Level.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
21	Vladimir Kolmogorov, Yuri Boykov	What Metrics Can Be Approximated by Geo-Cuts, Or Global Optimization of Length/Area and Flux.	ICCV	2005	DBLP DOI BibTeX RDF
21	Jian Li 0022, Shaohua Kevin Zhou, Rama Chellappa	Appearance Modeling Under Geometric Context.	ICCV	2005	DBLP DOI BibTeX RDF
21	Margarita V. Korovina, Oleg V. Kudinov	Towards Computability of Higher Type Continuous Data.	CiE	2005	DBLP DOI BibTeX RDF
21	Lidia Jackowska-Strumillo, Jan Sokolowski, Antoni Zochowski	Topological Derivative and Training Neural Networks for Inverse Problems.	ICANN (2)	2005	DBLP DOI BibTeX RDF
21	Erich Novak, Ian H. Sloan, Henryk Wozniakowski	Tractability of Approximation for Weighted Korobov Spaces on Classical and Quantum Computers.	Found. Comput. Math.	2004	DBLP DOI BibTeX RDF	Korobov spaces, Approximation, Randomized algorithms, Quantum computation, Tractability
21	G. Robert Redinbo, Cung Nguyen	Concurrent Error Detection in Wavelet Lifting Transforms.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
21	Cailian Chen, Xinping Guan, Gang Feng 0001	Robust stability analysis for uncertain time-delay systems based on polyhedral Lyapunov-Krasovskii functional.	ICARCV	2004	DBLP DOI BibTeX RDF