|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 339 occurrences of 288 keywords
|
|
|
Results
Found 1398 publication records. Showing 1398 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
114 | Aleksandar Ignjatovic, Arun Sharma 0001 |
Some applications of logic to feasibility in higher types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(2), pp. 332-350, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(3), pp. 265-273, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000, pp. 77-83, 2000, IEEE Computer Society, 0-7695-0725-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 54-68, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
67 | Michael E. Zervakis, Aggelos K. Katsaggelos, Taek Mu Kwon |
A class of robust entropic functionals for image restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 4(6), pp. 752-773, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings, pp. 109-128, 2006, Springer, 3-540-45182-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Mads Nielsen |
Surface Reconstruction: GNCs and MFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Procedings of the Fifth International Conference on Computer Vision (ICCV 95), Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, June 20-23, 1995, pp. 344-, 1995, IEEE Computer Society, 0-8186-7042-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 20(3), pp. 533-539, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
56 | Samuel R. Buss, Bruce M. Kapron |
Resource-bounded continuity and sequentiality for type-two functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(3), pp. 402-417, 2002. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 342-347, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 4501-4504, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Daniel Leivant |
Implicit Computational Complexity for Higher Type Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 367-381, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
46 | Margarita V. Korovina, Oleg V. Kudinov |
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, pp. 146-168, 2000, Springer, 3-540-42197-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Charles Kervrann, Mark Hoebeke, Alain Trubuil |
Level Lines as Global Minimizers of Energy Functionals in Image Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II, pp. 241-256, 2000, Springer, 3-540-67686-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
46 | Karl-Heinz Niggl |
A restricted computation model on Scott domains and its partial primitive recursive functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(7), pp. 443-481, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 373-388, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
45 | Xinyu Zhang, Seth E. Watts, Yaohang Li, Daniel A. Tortorelli |
Minkowski Functionals Study of Random Number Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 550-559, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 202-216, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(11), pp. 1101-1105, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, pp. 27-38, 2010, ACM, 978-1-4503-0033-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
higher-order queries |
42 | Hua Li 0003, Anthony J. Yezzi |
Local or Global Minima: Flexible Dual-Front Active Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(1), pp. 1-14, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 188-197, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(5), pp. 988-1047, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space and PDE Methods in Computer Vision, 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, pp. 419-430, 2005, Springer, 3-540-25547-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 3-5 March 2004, Papeete, Tahiti, pp. 227-236, 2004, IEEE Computer Society, 0-7695-2076-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 467-475, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 32(2), pp. 201-232, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007, Proceedings, pp. 34-48, 2007, Springer, 978-3-540-75224-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Xun Liang 0001 |
Mathematical Analysis of Classifying Convex Clusters Based on Support Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications, First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings, pp. 761-768, 2005, Springer, 3-540-27894-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Adam B. Levy |
Second-Order Epi-Derivatives of Composite Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 101(1-4), pp. 267-281, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMMCVPR ![In: Energy Minimization Methods in Computer Vision and Pattern Recognition, Third International Workshop, EMMCVPR 2001, Sophia Antipolis, France, September 3-5, 2001, Proceedings, pp. 267-282, 2001, Springer, 3-540-42523-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Alex K. Simpson |
Lazy Functional Algorithms for Exact Real Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 456-464, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVD ![In: Seventh International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2010, Quebec, Canada, June 28-30, 2010, pp. 235-243, 2010, IEEE Computer Society, 978-0-7695-4112-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Delaunay Tessellations, Minkowski Functionals, cosmology |
35 | Riho Lepp |
Approximation of Extremum Problems with Probability Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 77-83, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Discrete approximation, Probability functionals |
35 | Axel Klar |
Computation of Nonlinear Functionals in Particle Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 55(3), pp. 207-222, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(10), pp. 1074-1079, 1993. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 72-81, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 154-159, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 31(3), pp. 458-474, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Gabriele Steidl, Simon Setzer, B. Popilka, Bernhard Burgeth |
Restoration of matrix fields by second-order cone programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 81(2-3), pp. 161-178, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCTA ![In: 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 5-7 March 2007, Kolkata, India, pp. 698-704, 2007, IEEE Computer Society, 978-0-7695-2770-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Elif Tosun, Yotam I. Gingold, Jason Reisman, Denis Zorin |
Shape optimization using reflection lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Geometry Processing ![In: Proceedings of the Fifth Eurographics Symposium on Geometry Processing, Barcelona, Spain, July 4-6, 2007, pp. 193-202, 2007, Eurographics Association, 978-3-905673-46-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Marco Loog, François Lauze |
Blur Invariant Image Priors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings, pp. 665-674, 2007, Springer, 978-3-540-72822-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Tryphon T. Georgiou |
Relative entropy and the multivariable multidimensional moment problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(3), pp. 1052-1066, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Hua Li 0003, Anthony J. Yezzi |
Local or Global Minima: Flexible Dual-Front Active Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVBIA ![In: Computer Vision for Biomedical Image Applications, First International Workshop, CVBIA 2005, Beijing, China, October 21, 2005, Proceedings, pp. 356-366, 2005, Springer, 3-540-29411-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Markus Grasmair, Frank Lenzen, Andreas Obereder, Otmar Scherzer, Matthias Fuchs |
A Non-convex PDE Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space and PDE Methods in Computer Vision, 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005, Proceedings, pp. 303-315, 2005, Springer, 3-540-25547-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSM ![In: Variational, Geometric, and Level Set Methods in Computer Vision, Third International Workshop, VLSM 2005, Beijing, China, October 16, 2005, Proceedings, pp. 332-343, 2005, Springer, 3-540-29348-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 9(6), pp. 419-440, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Alexander Kadyrov, Maria Petrou |
The Trace Transform and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 23(8), pp. 811-828, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (3) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 852-855, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Hui Xie 0001, Hong Qin 0001 |
Automatic Knot Determination of NURBS for Interactive Geometric Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2001 International Conference on Shape Modeling and Applications (SMI 2001), 7-11 May 2001, Genoa, Italy, pp. 267-, 2001, IEEE Computer Society, 0-7695-0853-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Constraints, Interactive Techniques, Deformable Models, NURBS, Energy Optimization, CAGD |
31 | Mads Nielsen |
Graduated Nonconvexity by Functional Focusing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 19(5), pp. 521-525, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 36(6), pp. 445-460, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Norman Danner, James S. Royer |
Two Algorithms in Search of a Type-System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 787-821, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 30(3), pp. 465-491, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(4), pp. 747-793, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Systems, Control, Modeling and Optimization ![In: Systems, Control, Modeling and Optimization, Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy, pp. 249-259, 2006, Springer, 0-387-33881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 3-30, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 278-283, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 364, pp. 1-35, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Petra Weidner |
Gerstewitz Functionals on Linear Spaces and Functionals with Uniform Sublevel Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 173(3), pp. 812-827, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 18(1-4), pp. 11-16, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.4543, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2006, pp. 70835:1-70835:19, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Marc Bezem |
Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 50(3), pp. 652-660, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
25 | Lin Yu |
Extension of Stochastic Dynamical System Involving Generalized Brownian Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 46-51, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(1-3), pp. 273-297, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 5312-5317, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Didier Dubois, Hélène Fargier, Barbara Vantaggi |
An Axiomatization of Conditional Possibilistic Preference Functionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, pp. 803-815, 2007, Springer, 978-3-540-75255-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Leonardo Pacifici, Leonardo Arteconi, Antonio Laganà |
FITTING: A Portal to Fit Potential Energy Functionals to ab initio Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 358-365, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 76(1-2), pp. 135-148, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 18(1), pp. 49-68, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 13(1), pp. 51-77, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (2) ![In: Computer Vision - ECCV 2000, 6th European Conference on Computer Vision, Dublin, Ireland, June 26 - July 1, 2000, Proceedings, Part II, pp. 212-223, 2000, Springer, 3-540-67686-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 36(4-5), pp. 269-287, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Jerzy W. Jaromczyk, Grzegorz Swiatek |
A Theory of Even Functionals and Their Algorithmic Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings, pp. 126-136, 1993, Springer, 3-540-56939-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | James Laird |
Nondeterminism and Observable Sequentiality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings, pp. 379-393, 2009, Springer, 978-3-642-04026-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 48(1-3), pp. 213-235, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1089-1091, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Jarek Krajewski, Anton Batliner, Rainer Wieland |
Multiple classifier applied on predicting microsleep from speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Alejandro Melchor-Aguilar, Vladimir Kharitonov, Rogelio Lozano |
Stability and robust stability of integral delay systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4640-4645, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4646-4651, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Qingguo Zeng, Yunmei Chen |
Accurate Inverse Consistent Non-rigid Image Registration and Its Application on Automatic Re-contouring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBRA ![In: Bioinformatics Research and Applications, Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings, pp. 293-304, 2008, Springer, 978-3-540-79449-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2008 , 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part I, pp. 185-194, 2008, Springer, 978-3-540-87535-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Pock, Michael Pock, Horst Bischof |
Algorithmic Differentiation: Application to Variational Problems in Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(7), pp. 1180-1193, 2007. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, pp. 165-173, 2007, Springer, 978-3-540-93850-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Nan Liu 0003, Han Wang 0001 |
Classification of transformed face images with majority voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2860-2864, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sahand Haji Ali Ahmad, Aleksandar Jovicic, Pramod Viswanath |
On outer bounds to the capacity region of wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 52(6), pp. 2770-2776, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 69(1), pp. 27-42, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings, pp. 654-674, 2006, Springer, 3-540-34021-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Jan Erik Solem, Niels Chr. Overgaard, Markus Persson, Anders Heyden |
Fast Variational Segmentation using Partial Extremal Initialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (1) ![In: 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2006), 17-22 June 2006, New York, NY, USA, pp. 1099-1105, 2006, IEEE Computer Society, 0-7695-2597-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Anthony Man-Cho So, Jiawei Zhang 0006, Yinyu Ye 0001 |
Stochastic Combinatorial Optimization with Controllable Risk Aversion Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006, Proceedings, pp. 224-235, 2006, Springer, 3-540-38044-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 564-571, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jian Li 0022, Shaohua Kevin Zhou, Rama Chellappa |
Appearance Modeling Under Geometric Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: 10th IEEE International Conference on Computer Vision (ICCV 2005), 17-20 October 2005, Beijing, China, pp. 1252-1259, 2005, IEEE Computer Society, 0-7695-2334-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Margarita V. Korovina, Oleg V. Kudinov |
Towards Computability of Higher Type Continuous Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings, pp. 235-241, 2005, Springer, 3-540-26179-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Lidia Jackowska-Strumillo, Jan Sokolowski, Antoni Zochowski |
Topological Derivative and Training Neural Networks for Inverse Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (2) ![In: Artificial Neural Networks: Formal Models and Their Applications - ICANN 2005, 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II, pp. 391-396, 2005, Springer, 3-540-28755-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 4(2), pp. 121-156, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(10), pp. 1291-1302, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 1729-1734, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1398 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|