Search results for "higher-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Morten Rhiger	A foundation for embedded languages.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	phantom types, Haskell, completeness, Standard ML, type safety, higher-order abstract syntax, Embedded languages, type soundness
19	Dale Miller 0001, Alwen Fernanto Tiu	A Proof Theory for Generic Judgments: An extended abstract.	LICS	2003	DBLP DOI BibTeX RDF	reasoning about operational semantics, generic judgments, higher-order abstract syntax, proof search
19	Michael Norrish	Mechanising Hankin and Barendregt using the Gordon-Melham axioms.	MERLIN	2003	DBLP DOI BibTeX RDF	higher order abstract syntax, interactive theorem-proving
19	Alberto Momigliano, Jeff Polakow	A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines.	MERLIN	2003	DBLP DOI BibTeX RDF	continuation machines, ordered linear logic, logical frameworks, higher order abstract syntax
19	Makoto Hamana	Term rewriting with variable binding: an initial algebra approach.	PPDP	2003	DBLP DOI BibTeX RDF	abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics
19	Gopalan Nadathur, Xiaochu Qi	Explicit substitutions in the reduction of lambda terms.	PPDP	2003	DBLP DOI BibTeX RDF	beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages
19	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
19	Martin Hofmann 0001	The strength of non-size increasing computation.	POPL	2002	DBLP DOI BibTeX RDF	computational complexity, semantics, higher-order functions, finite model
19	Aleksandar Nanevski	Meta-programming with names and necessity.	ICFP	2002	DBLP DOI BibTeX RDF	modal lambda-calculus, higher-order abstract syntax
19	Mark H. Burstein, Drew V. McDermott, Douglas R. Smith	Derivation of glue code for agent interoperation.	Agents	2000	DBLP DOI BibTeX RDF	agents, translation, higher-order
19	Mauricio Ayala-Rincón, Fairouz Kamareddine	Unification via se-style of explicit substitution.	PPDP	2000	DBLP DOI BibTeX RDF	higher order unification, lambda-calculus, explicit substitution
19	Monica Nesi	Formalising a Value-Passing Calculus in HOL.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Meta-theoretic reasoning, Formal verification, Theorem proving, Higher order logic, Process calculi
19	Koichi Takahashi, Masami Hagiya	Proving as Editing HOL Tactics.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Tactic-Based Theorem Prover, User interface, Higher Order Logic, Emacs
19	Roberto Bruni, Ugo Montanari	Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.	LICS	1999	DBLP DOI BibTeX RDF	double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories
19	Christian Lengauer, Sergei Gorlatch, Christoph A. Herrmann	The Static Parallelization of Loops and Recursions.	J. Supercomput.	1997	DBLP DOI BibTeX RDF	polytope model, parallelization, skeletons, divide-and-conquer, homomorphism, SPMD, higher-order function, loop nest
19	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
19	Enno Scholz	Turning a functional data type into a concurrent programming language.	SAC	1995	DBLP DOI BibTeX RDF	concurrent programming language design, functional programming, continuations, higher-order programming
19	Ta-Tung Chow, Elizabeth Eskow, Robert B. Schnabel	Algorithm 738; a software package for unconstrained optimization using tensor methods.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	higher-order model, tensor method, unconstrained optimization
19	Suresh Jagannathan	Metalevel Building Blocks for Modular Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	modularity, reflection, higher-order programming
19	John Esch	Contexts, Canons and Coreferent Types.	ICCS	1994	DBLP DOI BibTeX RDF	Context, Concept, Conceptual Graph, Higher Order Logic, Canon
19	William R. Cook	Object-Oriented Programming Versus Abstract Data Types.	REX Workshop	1990	DBLP DOI BibTeX RDF	higher-order procedures, object-oriented programming, typing, extensibility, abstract data type, incremental programming
19	E. V. Krishnamurthy, Venu K. Murthy	Fast Iterative Division of p-adic Numbers.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	Hensel lemma, higher order convergence, p-adic numbers, iterate, reciprocal, Newton method, quadratic convergence, Hensel code
19	George W. Ernst	A Definition-Driven Theorem Prover.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	natural deduction systems, Artificial intelligence, heuristic search, higher order logic, mechanical theorem proving
19	Shan Jiang, Pengfei Zhang	Comprehensive and quantitative study of rank-4 order diffusion tensor imaging and positive definite rank-4 order diffusion tensor imaging: A higher order tensor imaging study.	Int. J. Imaging Syst. Technol.	2014	DBLP DOI BibTeX RDF
19	Maneesha Gupta, Pragya Varshney, G. S. Visweswaran	Digital fractional-order differentiator and integrator models based on first-order and higher order operators.	Int. J. Circuit Theory Appl.	2011	DBLP DOI BibTeX RDF
19	Shi Shu, Dudu Sun, Jinchao Xu	An Algebraic Multigrid Method for Higher-order Finite Element Discretizations.	Computing	2006	DBLP DOI BibTeX RDF	Algebraic multigrid methods, geometric-based, unstructured grids, high-order finite element
19	Christian Prehofer	Decidable Higher-Order Unification Problems.	CADE	1994	DBLP DOI BibTeX RDF
19	Frank Pfenning	Partial Polymorphic Type Inference and Higher-Order Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
19	Chang-Wen Hsu, Lin-Shan Lee	Higher Order Cepstral Moment Normalization for Improved Robust Speech Recognition.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
19	David Navratil	Higher Order Modulations and GSM/EDGE Radio Access Network Evolution.	VTC Spring	2006	DBLP DOI BibTeX RDF
19	Jue Yan, Chi-Wang Shu	Local Discontinuous Galerkin Methods for Partial Differential Equations with Higher Order Derivatives.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	partial differential equations with higher derivatives, stability, error estimate, post-processing, discontinuous Galerkin method
19	Raymond McDowell, Dale Miller 0001	A Logic for Reasoning with Higher-Order Abstract Syntax.	LICS	1997	DBLP DOI BibTeX RDF
19	Roland Axelsson, Martin Lange	Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic.	LPAR	2007	DBLP DOI BibTeX RDF
18	Dietmar Maringer, Panos Parpas	Global optimization of higher order moments in portfolio selection.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	G11, Jel Classification C61
18	Naoki Kobayashi 0001, C.-H. Luke Ong	A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.	LICS	2009	DBLP DOI BibTeX RDF
18	Naoki Kobayashi 0001	Types and Recursion Schemes for Higher-Order Program Verification.	APLAS	2009	DBLP DOI BibTeX RDF
18	Hudong Chen, Isaac Goldhirsch, Steven A. Orszag	Discrete Rotational Symmetry, Moment Isotropy, and Higher Order Lattice Boltzmann Models.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Moment isotropy, Discrete rotational symmetry, Fluid dynamics, Lattice Boltzmann method
18	Axel Huebner, Ralph Jordan	On higher order permutors for serially concatenated convolutional codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
18	Tokunbo Ogunfunmi	Realizing higher-order nonlinear Wiener adaptive systems [Wiener filter example].	ISCAS (3)	2005	DBLP DOI BibTeX RDF
18	Alexander van Zuijlen, Hester Bijl	Implicit and Explicit Higher Order Time Integration Schemes for Fluid-Structure Interaction Computations.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	Robert Gütig, Ad Aertsen, Stefan Rotter	Analysis of higher-order neuronal interactions based on conditional inference.	Biol. Cybern.	2003	DBLP DOI BibTeX RDF
18	David B. Tucker, Shriram Krishnamurthi	Pointcuts and advice in higher-order languages.	AOSD	2003	DBLP DOI BibTeX RDF
18	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
18	Hidema Tanaka, Chikashi Ishii, Toshinobu Kaneko	On the Strength of KASUMI without FL Functions against Higher Order Differential Attack.	ICISC	2000	DBLP DOI BibTeX RDF
18	Henrik Linnestad, Christian Prehofer, Olav Lysne	Higher-Order Proof by Consistency.	FSTTCS	1996	DBLP DOI BibTeX RDF
18	Mads Tofte	Principal Signatures for Higher-Order Program Modules.	POPL	1992	DBLP DOI BibTeX RDF	ML
18	Anders Bondorf	Automatic Autoprojection of Higher Order Recursive Equations.	ESOP	1990	DBLP DOI BibTeX RDF	semantics directed compiler generation, Partial evaluation, binding time analysis, self-application
18	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
18	Hans-Joachim Bungartz, Stefan Dirnstorfer	Higher Order Quadrature on Sparse Grids.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	Nicolas T. Courtois	Higher Order Correlation Attacks, XL Algorithm and Cryptanalysis of Toyocrypt.	ICISC	2002	DBLP DOI BibTeX RDF	overdefined systems of multivariate equations, MQ problem, Gröbner bases, ciphertext-only attacks, Toyocrypt-HR1, Toyocrypt-HS1, Cryptrec, stream ciphers, nonlinear filtering, pseudo-random generators, Multivariate cryptography, XL algorithm
18	Christopher H. Broadbent, C.-H. Luke Ong	On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
18	Kiyotaka Kohno, Yujiro Inouye, Mitsuru Kawamoto	Super-exponential Methods Incorporated with Higher-Order Correlations for Deflationary Blind Equalization of MIMO Linear Systems.	ICA	2004	DBLP DOI BibTeX RDF
17	Xiaoxia Tian, Kyung Hee Park, Qi Liu	Deep Learning Influences on Higher Education Students' Digital Literacy: The Meditating Role of Higher-order Thinking.	Int. J. Eng. Pedagog.	2023	DBLP DOI BibTeX RDF
17	Dongping Liu, Hai Zhang	Improving Students' Higher Order Thinking Skills and Achievement Using WeChat based Flipped Classroom in Higher Education.	Educ. Inf. Technol.	2022	DBLP DOI BibTeX RDF
17	Simon Becher, Gunar Matthies	Unified analysis for variational time discretizations of higher order and higher regularity applied to non-stiff ODEs.	Numer. Algorithms	2022	DBLP DOI BibTeX RDF
17	Simon Becher, Gunar Matthies	Unified Analysis for Variational Time Discretizations of Higher Order and Higher Regularity Applied to Non-stiff ODEs.	CoRR	2021	DBLP BibTeX RDF
17	Simon Becher, Gunar Matthies	Variational Time Discretizations of Higher Order and Higher Regularity.	CoRR	2020	DBLP BibTeX RDF
17	Andrew N. W. Hone, G. R. W. Quispel	Analogues of Kahan's method for higher order equations of higher degree.	CoRR	2019	DBLP BibTeX RDF
17	Witold Pedrycz	Algorithmic Developments of Information Granules of Higher Type and Higher Order and Their Applications.	WILF	2016	DBLP DOI BibTeX RDF
17	Witold Pedrycz, Rami Al-Hmouz, Abdullah Saeed Balamash, Ali Morfeq	Hierarchical Granular Clustering: An Emergence of Information Granules of Higher Type and Higher Order.	IEEE Trans. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
17	Stefan Holdermans, Jurriaan Hage	Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.	ICFP	2010	DBLP DOI BibTeX RDF
17	Rónán Daly, Kieron D. Edwards, John S. O'Neill, J. Stuart Aitken, Andrew J. Millar, Mark A. Girolami	Using Higher-Order Dynamic Bayesian Networks to Model Periodic Data from the Circadian Clock of Arabidopsis Thaliana.	PRIB	2009	DBLP DOI BibTeX RDF	Arabidopsis Thaliana, Gene Expression, Dynamic Bayesian Network, Gene Regulatory Network
17	Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss	Progress in the Development of Automated Theorem Proving for Higher-Order Logic.	CADE	2009	DBLP DOI BibTeX RDF
17	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
17	Adam Chlipala	Parametric higher-order abstract syntax for mechanized semantics.	ICFP	2008	DBLP DOI BibTeX RDF	type-theoretic semantics, dependent types, compiler verification, interactive proof assistants
17	Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
17	David Liu 0001, Gang Hua 0001, Paul A. Viola, Tsuhan Chen	Integrated feature selection and higher-order spatial feature extraction for object categorization.	CVPR	2008	DBLP DOI BibTeX RDF
17	Rodrigo I. Silveira, Marc J. van Kreveld	Optimal Higher Order Delaunay Triangulations of Polygons.	LATIN	2008	DBLP DOI BibTeX RDF
17	Mike Gordon	Twenty Years of Theorem Proving for HOLs Past, Present and Future.	TPHOLs	2008	DBLP DOI BibTeX RDF
17	Jon Oldevik, Øystein Haugen	Higher-Order Transformations for Product Lines.	SPLC	2007	DBLP DOI BibTeX RDF
17	Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger	Restricted Higher-Order Anti-Unification for Analogy Making.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
17	Allen Van Gelder, Geoff Sutcliffe	Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.	IJCAR	2006	DBLP DOI BibTeX RDF
17	Jaswinder Lota, Mohammed Al-Janabi, Izzet Kale	Stability analysis of higher-order delta-sigma modulators using the describing function method.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Bernhard Reus, Thomas Streicher	About Hoare Logics for Higher-Order Store.	ICALP	2005	DBLP DOI BibTeX RDF
17	Manfred Schmidt-Schauß	Decidable Variants of Higher-Order Unification.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
17	François-Xavier Standaert, Eric Peeters, Jean-Jacques Quisquater	On the Masking Countermeasure and Higher-Order Power Analysis Attacks.	ITCC (1)	2005	DBLP DOI BibTeX RDF
17	Michael Kreutzer, Martin Kähmer, Heiko Falk	Service Discovery with Higher Order Services in Mobile Hospitals.	CBMS	2004	DBLP DOI BibTeX RDF
17	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
17	Pedro B. Vasconcelos, Kevin Hammond	Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.	IFL	2003	DBLP DOI BibTeX RDF
17	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
17	Wai-Ki Ching, Eric S. Fung, Michael K. Ng 0001	Higher-Order Hidden Markov Models with Applications to DNA Sequences.	IDEAL	2003	DBLP DOI BibTeX RDF
17	Arnaud Carayol, Stefan Wöhrle	The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata.	FSTTCS	2003	DBLP DOI BibTeX RDF
17	Teodor Knapik, Damian Niwinski, Pawel Urzyczyn	Higher-Order Pushdown Trees Are Easy.	FoSSaCS	2002	DBLP DOI BibTeX RDF
17	Vlad Popovici, Jean-Philippe Thiran	Higher order autocorrelations for pattern classification.	ICIP (3)	2001	DBLP DOI BibTeX RDF
17	Carsten Schürmann	A Type-Theoretic Approach to Induction with Higher-Order Encodings.	LPAR	2001	DBLP DOI BibTeX RDF
17	Hidema Tanaka, Kazuyuki Hisamatsu, Toshinobu Kaneko	Strenght of MISTY1 without FL Function for Higher Order Differential Attack.	AAECC	1999	DBLP DOI BibTeX RDF
17	Hélène Kirchner, Peter D. Mosses	Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models.	AMAST	1998	DBLP DOI BibTeX RDF
17	Jianguo Lu, Masateru Harao, Masami Hagiya	Higher Order Generalization.	JELIA	1998	DBLP DOI BibTeX RDF
17	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
17	Koichi Nakahara, Aart Middeldorp, Tetsuo Ida	A Complete Narrowing Calculus for Higher-Order Functional Logic Programming	PLILP	1995	DBLP DOI BibTeX RDF
17	Martin Hofmann 0001, Donald Sannella	On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic.	TAPSOFT	1995	DBLP DOI BibTeX RDF
17	Sten Agerholm, Michael J. C. Gordon	Experiments with ZF Set Theory in HOL and Isabelle.	TPHOLs	1995	DBLP DOI BibTeX RDF
17	David B. MacQueen, Mads Tofte	A Semantics for Higher-Order Functors.	ESOP	1994	DBLP DOI BibTeX RDF
17	Olaf Müller, Franz Weber	Theory and Practice of Minimal Modular Higher-Order E-Unification.	CADE	1994	DBLP DOI BibTeX RDF
17	Zurab Khasidashvili	On Higher Order Recursive Program Schemes.	CAAP	1994	DBLP DOI BibTeX RDF
17	Daniel J. Dougherty, Patricia Johann	A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).	CADE	1992	DBLP DOI BibTeX RDF
17	David A. Wolfram	Rewriting, and Equational Unification: the Higher-Order Cases.	RTA	1991	DBLP DOI BibTeX RDF
17	Masami Hagiya	Programming by Example and Proving by Example Using Higher-order Unification.	CADE	1990	DBLP DOI BibTeX RDF
17	Matthias Felleisen, Daniel P. Friedman	A Reduction Semantics for Imperative Higher-Order Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
17	Soo-Chang Pei, Wen-Liang Hsue, Jian-Jiun Ding	Coefficient-truncated higher-order commuting matrices of the discrete fourier transform.	ICASSP	2008	DBLP DOI BibTeX RDF