Search results for "second-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
54	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing schema mappings: Second-order dependencies to the rescue.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	computational complexity, data integration, composition, dependencies, Data exchange, schema mapping, conjunctive queries, chase, query answering, certain answers, second-order logic, metadata model management, universal solution
51	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential Second-Order Logic over Graphs: Charting the Tractability Frontier.	FOCS	2000	DBLP DOI BibTeX RDF	existential second-order logic, existential second-order formula, prefix class, first-order quantifiers, polynomial-time solvable problem, computational complexity, computational complexity, graph theory, graphs, directed graphs, NP-complete problems, formal logic, undirected graphs, descriptive complexity, tractability
50	Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick	Existential second-order logic over graphs: Charting the tractability frontier.	J. ACM	2004	DBLP DOI BibTeX RDF	Existential second-order logic, graph constraints, prefix classes, graph coloring, NP-complete problems, finite model theory
45	Michael Unser, Akram Aldroubi, Murray Eden	Recursive Regularization Filters: Design, Properties, and Applications.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	causal recursive filters, first-order difference operators, highpass stabilizing kernels, discrete regularization filters, R-filters, stable symmetric lowpass filters, adjustable scale factor, anticausal recursive filtering, second-order difference operators, two-dimensional signals, optimal Canny edge detector, separable second-order R-filter, pattern recognition, edge detection, filtering and prediction theory, least squares approximation, least squares approximations, low-pass filters, impulse response, z-transform, Z transforms, decomposition theorems
42	Antoine du Chéné, Chohong Min, Frédéric Gibou	Second-Order Accurate Computation of Curvatures in a Level Set Framework Using Novel High-Order Reinitialization Schemes.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Second-order accurate curvature, Reinitialization equation, Level set method, Adaptive mesh refinement
42	Dov M. Gabbay, Andrzej Szalas	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.	Stud Logica	2007	DBLP DOI BibTeX RDF	second-order quantifier elimination, higher-order relations, conditionals
42	Flávio L. C. de Moura, Fairouz Kamareddine, Mauricio Ayala-Rincón	Second-Order Matching via Explicit Substitutions.	LPAR	2004	DBLP DOI BibTeX RDF	Higher-Order Unification, Second-Order Matching, Explicit Substitutions
41	Yu Xia	A Note on the Simplex Method for 2-Dimensional Second-Order Cone Programming.	International Conference on Computational Science (1)	2006	DBLP DOI BibTeX RDF	linear programming, sensitivity analysis, simplex method, Second-order cone programming, basis
41	Emmanuelle Dottax, Christophe Giraud 0001, Matthieu Rivain, Yannick Sierra	On Second-Order Fault Analysis Resistance for CRT-RSA Implementations.	WISTP	2009	DBLP DOI BibTeX RDF	Second Order, CRT-RSA, Fault Attacks, Countermeasure
40	Jens Lagergren	Efficient Parallel Algorithms for Tree-Decomposition and Related Problems	FOCS	1990	DBLP DOI BibTeX RDF	sequential time complexity, monadic second order properties, linear extended monadic second order extremum problems, concurrent-read, concurrent-write parallel random access machine, enumeration problems, parallel algorithms, graphs, tree-decomposition, tree width, CRCW PRAM
40	Xuyan Xiang, Yingchun Deng, Xiangqun Yang	Second order spiking perceptrons.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Renewal process input, Second order statistics, Non-linear discrimination, Integrate-and-fire
39	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001, Wang Chiew Tan	Composing Schema Mappings: Second-Order Dependencies to the Rescue. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
38	Katta G. Murty	Second Order Optimality Conditions for Nonlinear Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Convex and nonconvex programming problems, Regularity condition, Mangasarian-Fromovitz constraint qualification, Sufficient optimality conditions, KKT conditions, First order and second order optimality conditions, Constraint qualification, Global minimum, Stationary point, Necessary optimality conditions, Local minimum, Nonlinear optimization problem
38	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
37	Katsuyuki Okeya, Kouichi Sakurai	A Second-Order DPA Attack Breaks a Window-Method Based Countermeasure against Side Channel Attacks.	ISC	2002	DBLP DOI BibTeX RDF	Higher-Order DPA Attack, Second-Order DPA Attack, Möller's Countermeasure, Side Channel Attacks, Differential Power Analysis, Elliptic Curve Cryptosystems
36	Jein-Shan Chen, Xin Chen, Paul Tseng	Analysis of nonsmooth vector-valued functions associated with second-order cones.	Math. Program.	2004	DBLP DOI BibTeX RDF	Second-order cone, Vector-valued function, Semismooth function, Nonsmooth analysis, Complementarity
36	Thomas Eiter, Yuri Gurevich, Georg Gottlob	Existential second-order logic over strings.	J. ACM	2000	DBLP DOI BibTeX RDF	S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
36	Hirofumi Notsu, Masahisa Tabata	A Single-Step Characteristic-Curve Finite Element Scheme of Second Order in Time for the Incompressible Navier-Stokes Equations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Characteristic-curve, Second order in time, The Navier-Stokes equations, Finite Element Method
36	Xizhong Shen, Guang Meng	MIMO Instantaneous Blind Identification Based on Second-Order Temporal Structure and Newton's Method.	AICI	2009	DBLP DOI BibTeX RDF	instantaneous blind identification, second order temporal statistics, Newton’s method, nonlinear, homogeneous system
36	Marco Gribaudo, Daniele Manini, Bruno Sericola, Miklós Telek	Second order fluid models with general boundary behaviour.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Second order fluid models, Matrix exponent, Numerical analysis, Stationary distribution
36	Ching-Nung Yang	Efficient Encoding Algorithm for Second-Order Spectral-Null Codes Using Cyclic Bit Shift.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Second-order spectral-null code, High-order spectral-null code, 1-EC/AUED code, Balanced code
36	Marcelo P. Fiore	Second-Order and Dependently-Sorted Abstract Syntax.	LICS	2008	DBLP DOI BibTeX RDF	second-order syntax, dependently-sorted syntax, alpha-equivalence, metavariable, meta-substitution, categorical algebra, substitution, abstract syntax, variable binding
36	Benjamin R. George	Second-Order Characterizable Cardinals and Ordinals.	Stud Logica	2006	DBLP DOI BibTeX RDF	Cardinal Characterizability, Ordinal Characterizability, Fraenkel-Carnap Question, Second-order Logic
36	Armin Heindl, Gábor Horváth 0002, Karsten Gross	Explicit Inverse Characterizations of Acyclic MAPs of Second Order.	EPEW	2006	DBLP DOI BibTeX RDF	Acyclic Markovian arrival processes of second order, inverse characterization, moment and correlation bounds
36	Rameswar Debnath, Masakazu Muramatsu, Haruhisa Takahashi	An Efficient Support Vector Machine Learning Method with Second-Order Cone Programming for Large-Scale Problems.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	support vector machine, quadratic programming, Cholesky factorization, second-order cone programming, eigenvalue decomposition
36	Stephan Kepser	Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	query, Complexity theory, monadic second-order logic, treebank
36	Petr Hlinený	Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids.	STACS	2003	DBLP DOI BibTeX RDF	representable matroid, fixed-parameter complexity, Classification: parametrized complexity and logic in computer science. (Math subjects 05B35, 68R05, 03D05.), monadic second-order logic, branch-width
36	W. Sarlet, G. Thompson	Complex Second-Order Differential Equations and Separability.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Second-order equations, Complex equations, Separability
35	Anne Gelb, Zdzislaw Jackiewicz, Bruno D. Welfert	Absorbing Boundary Conditions of the Second Order for the Pseudospectral Chebyshev Methods for Wave Propagation.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	pseudospectral Chebyshev method, absorbing boundary conditions of the second order, eigenvalue stability, spectra and pseudospectra, Runge-Kutta methods, wave equation, hyperbolic systems
34	Bruno Courcelle	Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.	RTA	1999	DBLP DOI BibTeX RDF
34	Herman Geuvers	Extending Models of Second Order Predicate Logic to Models of Second Dependent Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
34	Z. Husain, Izhar Ahmad, Sarita Sharma	Second order duality for minmax fractional programming.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Minmax programming, Second order duality, ?-bonvexity, Fractional programming
34	Keita Yokoyama	Complex analysis in subsystems of second order arithmetic.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Second order arithmetic, Cauchy’s integral theorem, Reverse mathematics
34	Dominikus Noll, Pierre Apkarian	Spectral bundle methods for non-convex maximum eigenvalue functions: second-order methods.	Math. Program.	2005	DBLP DOI BibTeX RDF	Eigenvalue optimization, first and second-order spectral bundle method, ?-subgradients, superlinear and quadratic convergence, bilinear matrix inequality (BMI), semidefinite programming (SDP), linear matrix inequality (LMI)
33	Shan Ouyang 0001	Bi-iterative least squares algorithms for blind channel identification and equalization with second-order statistics.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	intersymbol interference, blind identification and equalization, subspace tracking, second-order statistics, inverse QR iteration, bi-iteration, SIMO, interference, QR-decomposition, low-rank approximation
33	Z. Husain, Anurag Jayswal, Izhar Ahmad	Second order duality for nondifferentiable minimax programming problems with generalized convexity.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Nondifferentiable programming, Minimax programming, Second order duality, Generalized convexity
33	Kazimierz Malanowski	Second-order conditions in stability analysis for state constrained optimal control.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Parametric optimal control, Nonlinear ODEs, State constraints, Second order sufficient conditions, Lipschitz stability of the solutions
33	Elsayed M. E. Elbarbary	Efficient Chebyshev-Petrov-Galerkin Method for Solving Second-Order Equations.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Petrov-Galerkin method, Second-order elliptic equations, Sparse matrices, Chebyshev polynomials, Direct solvers
33	Gerold Jäger, Paul Molitor	Algorithms and Experimental Study for the Traveling Salesman Problem of Second Order.	COCOA	2008	DBLP DOI BibTeX RDF	Traveling Salesman Problem of Second Order, Heuristic, Traveling Salesman Problem, Exact Algorithm, Assignment Problem
33	Takako Nemoto	Complete Determinacy and Subsystems of Second Order Arithmetic.	CiE	2008	DBLP DOI BibTeX RDF	complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
33	Hirokazu Kato 0002, Masao Fukushima	An SQP-type algorithm for nonlinear second-order cone programs.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Nonlinear second-order cone programming problem, SQP method, Global convergence, Quadratic convergence
33	Xunkai Wei, Yinghong Li 0003, Yue Feng, Guangbin Huang	Solving Mahalanobis Ellipsoidal Learning Machine Via Second Order Cone Programming.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Mahalanobis ellipsoidal learning machine, support vector machines, One class classification, reproducing kernel Hilbert space, second order cone programming
33	Shefeng Yan, Yuanliang Ma	Optimal design and verification of temporal and spatial filters using second-order cone programming approach.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	beamformer design, spatial filter design, filter design, second-order cone programming
33	Nikolai P. Osmolovskii, Helmut Maurer	Second Order Optimality Conditions for Controls with Continuous and Bang-Bang Components.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	bang-bang control, Pontryagin minimum principle, second order necessary and sufficient conditions, critical cone, strengthened Legendre condition, quadratic form
33	Klaus Aehlig, Jan Johannsen	An elementary fragment of second-order lambda calculus.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Elementary recursive functions, complexity, lambda calculus, second order logic
33	Donald Goldfarb, Katya Scheinberg	Product-form Cholesky factorization in interior point methods for second-order cone programming.	Math. Program.	2005	DBLP DOI BibTeX RDF	Product-form Cholesky factorization, Interior point methods, Second-order cone programming
33	Nobuyuki Sakamoto, Kazuyuki Tanaka	The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Second order arithmetic, Algebraically closed fields, Hilberts Nullstellensatz, Reverse mathematics, Real closed fields
33	Rudolf Berghammer, Birgit Elbl, Ulf R. Schmerl	Proving Total Correctness of Programs in Weak Second-Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	Imperative programming language, weak second-order logic, normal form theorem, nondeterminism, weakest preconditions, guarded commands
31	Andrew Selle, Ronald Fedkiw, ByungMoon Kim, Yingjie Liu, Jarek Rossignac	An Unconditionally Stable MacCormack Method.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Semi-Lagrangian, CIR, MacCormak, Second order, Advection
31	Jörg Flum, Markus Frick, Martin Grohe	Query evaluation via tree-decompositions.	J. ACM	2002	DBLP DOI BibTeX RDF	Acyclic conjunctive queries, combined complexity, hypergraphs, monadic second-order logic, tree-width
31	Ching-Nung Yang, Chih-Yang Chiu, Gen-Cheng Wu	Efficient Encoding/Decoding for Second-Order Spectral-Null Codes by Reducing Random Walks.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Second-order spectral-null code, dc-free code, 1-EC/AUED code, balanced code
31	Stephan Kreutzer, Siamak Tazari	Lower Bounds for the Complexity of Monadic Second-Order Logic.	LICS	2010	DBLP DOI BibTeX RDF	Parameterized Intractability, Graph Structure Theory, Treewidth, Parameterized Complexity, Finite Model Theory, Monadic Second-Order Logic
31	Rainer Hettich, Georg Still	Semi-infinite Programming: Second Order Optimality Conditions.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Semi-infinite optimization, Second order necessary and sufficient optimality conditions, Reduced problem in semi-infinite programming
31	Z. Husain, Izhar Ahmad	Note on Mond-Weir type nondifferentiable second order symmetric duality.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Nondifferentiable programming, Second order symmetric duality, Multiobjective programming
31	Leszek Pacholski, Wieslaw Szwast	The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality	FOCS	1989	DBLP DOI BibTeX RDF	prenex first-order sentences, second order Godel sentences, 0-1 law, Bernays-Schonfinkel, Ackermann prefix classes, decidable cases
30	Boyuan Yan, Sheldon X.-D. Tan, Pu Liu, Bruce McGaughy	SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits.	DAC	2007	DBLP DOI BibTeX RDF
30	Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer	Children's Application of Theory of Mind in Reasoning and Language.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	False belief, Second-order reasoning, Sentence comprehension, Theory of Mind, Strategic game
30	Nicholas Kolokotronis, Konstantinos Limniotis, Nicholas Kalouptsidis	Efficient Computation of the Best Quadratic Approximations of Cubic Boolean Functions.	IMACC	2007	DBLP DOI BibTeX RDF	second order nonlinearity, low-order approximations, Boolean functions, Reed-Muller codes, covering radius, bent functions
29	Etienne Grandjean, Frédéric Olive	Monadic Logical Definability of NP-Complete Problems.	CSL	1994	DBLP DOI BibTeX RDF	Computational complexity, NP-complete problem, nondeterminism, finite model theory, monadic second-order logic, linear time, random access machine
28	Michael Felsberg	On second order operators and quadratic operators.	ICPR	2008	DBLP DOI BibTeX RDF
28	Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans	On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).	SOQE@KR	2021	DBLP BibTeX RDF
28	Leopoldo E. Bertossi	Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract).	SOQE@KR	2021	DBLP BibTeX RDF
28	Christoph Wernhard	Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.	SOQE@KR	2021	DBLP BibTeX RDF
28	Zhiguang Zhao	Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper).	SOQE@KR	2021	DBLP BibTeX RDF
27	Régis Barbanchon, Etienne Grandjean	The Minimal Logically-Defined NP-Complete Problem.	STACS	2004	DBLP DOI BibTeX RDF	Computational complexity, NP-completeness, descriptive complexity, finite model theory, parsimony, second-order logic
27	Viktor Kuncak, Martin C. Rinard	Existential Heap Abstraction Entailment Is Undecidable.	SAS	2003	DBLP DOI BibTeX RDF	Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem
27	Yangfeng Su, Jian Wang, Xuan Zeng 0001, Zhaojun Bai, Charles C. Chiang, Dian Zhou	SAPOR: second-order Arnoldi method for passive order reduction of RCS circuits.	ICCAD	2004	DBLP DOI BibTeX RDF
27	Sébastien Limet, Pierre Pillot	Deciding Satisfiability of Positive Second Order Joinability Formulae.	LPAR	2006	DBLP DOI BibTeX RDF
27	Agnieszka Lisowska	Efficient Denoising of Images with Smooth Geometry.	SCIA	2009	DBLP DOI BibTeX RDF	wedgelets, second order wedgelets, smooth edges, multiresolution, Image denoising
26	Jason C. Derenick, John R. Spletzer, M. Ani Hsieh	An Optimal Approach to Collaborative Target Tracking with Performance Guarantees.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Optimal target tracking, Multi-agent systems, Semidefinite programming, Convex optimization, Second-order cone programming
26	Dov M. Gabbay, Andrzej Szalas	Annotation Theories over Finite Graphs.	Stud Logica	2009	DBLP DOI BibTeX RDF	labeled graphs, semantics of logic programs, second-order quantifier elimination, annotations, argumentation theory
26	Cong Liu, Wangge Wan, Youyong Wu	Image based reconstruction using hybrid optimization of simulated annealing and genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	image based reconstruction (ibr), second-order priors, genetic algorithm, simulated annealing, hybrid optimization
26	Mark A. Serva, John Benamati, Mark A. Fuller	Trustworthiness in B2C e-commerce: an examination of alternative models.	Data Base	2005	DBLP DOI BibTeX RDF	benevolence, second order factors, world wide web, trust, integrity, electronic commerce, trustworthiness, ability
25	Christoph Wernhard	Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas.	SOQE	2017	DBLP BibTeX RDF
25	Yiqin Lin, Liang Bao, Yiming Wei 0001	Model-order reduction of large-scale second-order MIMO dynamical systems via a block second-order Arnoldi method.	Int. J. Comput. Math.	2007	DBLP DOI BibTeX RDF
25	Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret	Bounded Second-Order Unification Is NP-Complete.	RTA	2006	DBLP DOI BibTeX RDF
25	Kouichi Hirata, Takeshi Ogawa, Masateru Harao	Generalization Algorithms for Second-Order Terms.	ILP	2004	DBLP DOI BibTeX RDF
25	Giovanni Fasano, Stefano Lucidi	A nonmonotone truncated Newton-Krylov method exploiting negative curvature directions, for large scale unconstrained optimization.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Truncated Newton methods, Conjugate directions, Negative curvatures, Nonmonotone stabilization technique, Second order necessary conditions
25	Qingzhong Liu, Andrew H. Sung, Mengyu Qiao	Novel stream mining for audio steganalysis.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	mel-cepstrum, second order derivative, signal complexity, SVM, steganography, audio, steganalysis, spectrum, markov
25	Amit Bhaya, Fernando Agustin Pazos, Eugenius Kaszkurewicz	Comparative Study of the CG and HBF ODEs Used in the Global Minimization of Nonconvex Functions.	ICANN (1)	2009	DBLP DOI BibTeX RDF	Control Liapunov Functions, Nonconvex Functions, Second Order ODEs, Global Minimization
25	Juha Kontinen, Jakub Szymanik	A Remark on Collective Quantification.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability
25	Abbas Edalat	Weak Topology and a Differentiable Operator for Lipschitz Maps.	LICS	2008	DBLP DOI BibTeX RDF	Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric
25	Inés Couso, Luciano Sánchez	Defuzzification of Fuzzy p-Values.	SMPS	2008	DBLP DOI BibTeX RDF	Fuzzy p-value, Second-order possibility measure, Hypothesis testing, Imprecise probabilities
25	Ali Mansour, Nabih Benchekroun, Cédric Gervaise	Blind Separation of Underwater Acoustic Signals.	ICA	2006	DBLP DOI BibTeX RDF	Underwater acoustic applications, passive acoustic Tomography, second order statistics in frequency domain, sparseness or non-stationary signals, multipath channel
25	Jung Yeon Ma, Jong Soo Choi	Augmented Reality as Perceptual Reality.	VSMM	2006	DBLP DOI BibTeX RDF	perceptual reality, second-order reality, possible world theory, Augmented Reality, virtuality, reality
25	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
25	Olivier Ly	Compositional Verification: Decidability Issues Using Graph Substitutions.	MFCS	2004	DBLP DOI BibTeX RDF	Tree Automata, Compositional Verification, Monadic Second-Order Logic
25	Felix Klaedtke	Decision Procedure for an Extension of WS1S.	CSL	2001	DBLP DOI BibTeX RDF	word languages, weak monadic second-order logic of one successor, WS1S, tree automata
25	Stefan Dieker, Ralf Hartmut Güting	Plug and Play with Query Algebras: SECONDO-A Generic DBMS Development Environment.	IDEAS	2000	DBLP DOI BibTeX RDF	plug-and-play, SECONDO, generic DBMS development environment, database systems implementation, second-order signature, query language definitions, algebra modules, type constructors, system frame, type registration, user commands, extensible system architecture, extensible query processing, database management systems, query languages, data models, extensibility, operators, query algebras, support functions, data definitions, system functionality
25	Feng-Shr Jiang, Shi-Jinn Horng, Tzong-Wann Kao	Embedding of Generalized Fibonacci Cubes in Hypercubes with Faulty Nodes.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Direct embedding, generalized Fibonacci cubes, second-order Fibonacci cube, fault-tolerant, hypercubes, faulty hypercube
24	Agnieszka Lisowska	Geometrical Multiscale Noise Resistant Method of Edge Detection.	ICIAR	2008	DBLP DOI BibTeX RDF	second order wedgelets, noise resistance, edge detection, multiresolution
24	Stephen A. Cook, Antonina Kolokolova	A Second-Order Theory for NL.	LICS	2004	DBLP DOI BibTeX RDF
24	Thomas Eiter, Georg Gottlob, Thomas Schwentick	Second-Order Logic over Strings: Regular and Non-regular Fragments.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
24	Jordi Levy	Decidable and Undecidable Second-Order Unification Problems.	RTA	1998	DBLP DOI BibTeX RDF
23	Rodolfo García-Rodríguez, Vicente Parra-Vega	A Neuro-Sliding Mode Control Scheme for Constrained Robots with Uncertain Jacobian.	J. Intell. Robotic Syst.	2009	DBLP DOI BibTeX RDF	Constrained motion, Second order sliding mode, Chattering free, Jacobian uncertainty, Neural networks, Robot control
23	Sven Ove Hansson	Measuring Uncertainty.	Stud Logica	2009	DBLP DOI BibTeX RDF	second-order probability, readjustment, subjective probability, objective probability, dispersion measure, robustness measure, uncertainty measure
23	C. Bharathy, Pratima Sachdeva, Harish Parthasarthy, Akash Tayal	An Introduction to Volterra Series and Its Application on Mechanical Systems.	ICIC (3)	2008	DBLP DOI BibTeX RDF	Volterra series, first and second order systems, kernels
23	Frank Neven, Thomas Schwentick, Victor Vianu	Finite state machines for strings over infinite alphabets.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	infinite alphabets, XML, Automata, first-order logic, expressiveness, pebbles, monadic second-order logic, registers
23	Helmut Seidl, Thomas Schwentick, Anca Muscholl	Numerical document queries.	PODS	2003	DBLP DOI BibTeX RDF	querying XML documents, XML, automata, monadic second order logic, Presburger arithmetic
23	Andreas A. Müller	Pictorial Statistics - Visualization of High Dimensional Statistical Distributions.	IEEE Visualization	1995	DBLP DOI BibTeX RDF	pictorial statistics, high-dimensional statistical distributions, high-dimensional pattern samples, anthropometrical research, morphometrical, second order moments, visualization, animations, statistical analysis, computation, computer animation, data visualisation, mathematics computing, statistical properties