Search results for "higher-order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Venanzio Capretta, Amy P. Felty	Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
22	Sameer Agarwal 0001, Kristin Branson, Serge J. Belongie	Higher order learning with graphs.	ICML	2006	DBLP DOI BibTeX RDF
22	João Saraiva	Component-Based Programming for Higher-Order Attribute Grammars.	GPCE	2002	DBLP DOI BibTeX RDF
22	Bruno Pagano	X.R.S : Explicit Reduction Systems - A First-Order Calculus for Higher-Order Calculi.	CADE	1998	DBLP DOI BibTeX RDF
21	Jorik Blaas, Charl P. Botha, Edward Grundy, Mark W. Jones, Robert S. Laramee, Frits H. Post	Smooth Graphs for Visual Exploration of Higher-Order State Transitions.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
21	Chanwoo Park, Jinbeom Lee, Younglok Kim	Modified Reduced Constellation PLL for Higher Order QAM.	ISCAS	2007	DBLP DOI BibTeX RDF
21	James Montgomery 0001	Higher Order Pheromone Models in Ant Colony Optimisation.	ANTS Workshop	2006	DBLP DOI BibTeX RDF
21	Brigitte Pientka	A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.	ICLP	2002	DBLP DOI BibTeX RDF
21	Jean Goubault-Larrecq	Ramified Higher-Order Unification.	LICS	1997	DBLP DOI BibTeX RDF
21	Amy P. Felty, Dale Miller 0001	Specifying Theorem Provers in a Higher-Order Logic Programming Language.	CADE	1988	DBLP DOI BibTeX RDF
20	Dimitris Mostrous, Nobuko Yoshida	Session-Based Communication Optimisation for Higher-Order Mobile Processes.	TLCA	2009	DBLP DOI BibTeX RDF
20	C.-H. Luke Ong	Verification of Higher-Order Computation: A Game-Semantic Approach.	ESOP	2008	DBLP DOI BibTeX RDF
20	Linna Li, Bingru Yang, Fan Zhang	Clustering for Complex Structured Data Based on Higher-Order Logic.	CSSE (4)	2008	DBLP DOI BibTeX RDF
20	Sutanu Chakraborti, Nirmalie Wiratunga, Robert Lothian, Stuart N. K. Watt	Acquiring Word Similarities with Higher Order Association Mining.	ICCBR	2007	DBLP DOI BibTeX RDF
20	Pieter W. M. Koopman, Rinus Plasmeijer	Automatic Testing of Higher Order Functions.	APLAS	2006	DBLP DOI BibTeX RDF
20	Ron Steinfeld, Josef Pieprzyk, Huaxiong Wang	Higher Order Universal One-Way Hash Functions from the Subset Sum Assumption.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF
20	Arnaud Carayol	Regular Sets of Higher-Order Pushdown Stacks.	MFCS	2005	DBLP DOI BibTeX RDF
20	Joshua Gluckman	Higher Order Whitening of Natural Images.	CVPR (2)	2005	DBLP DOI BibTeX RDF
20	Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer, Arjen van Weelden	Automatic Generation of Editors for Higher-Order Data Structures.	APLAS	2004	DBLP DOI BibTeX RDF
20	Stefan Gumhold, Rachida Amjoun	Higher Order Prediction for Geometry Compression.	Shape Modeling International	2003	DBLP DOI BibTeX RDF
20	Brigitte Pientka	Termination and Reduction Checking for Higher-Order Logic Programs.	IJCAR	2001	DBLP DOI BibTeX RDF
20	Jo Erskine Hannay	A Higher-Order Simulation Relation for System F.	FoSSaCS	2000	DBLP DOI BibTeX RDF
20	Martin Hofmann 0001	Semantical Analysis of Higher-Order Abstract Syntax.	LICS	1999	DBLP DOI BibTeX RDF
20	Melvin Fitting	Higher-Order Modal Logic - A Sketch.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
20	Aleksy Schubert	Linear Interpolation for the Higher-Order Matching Problem.	TAPSOFT	1997	DBLP DOI BibTeX RDF
20	Michael Hanus, Christian Prehofer	Higher-Order Narrowing with Definitional Trees.	RTA	1996	DBLP DOI BibTeX RDF
20	Alain Deutsch	On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.	POPL	1990	DBLP DOI BibTeX RDF
20	Benjamin Goldberg, Young Gil Park	Higher Order Escape Analysis: Optimizing Stack Allocation in Functional Program Implementations.	ESOP	1990	DBLP DOI BibTeX RDF
19	Martin Lettner, Robert Sablatnig	Higher order MRF for foreground-background separation in multi-spectral images of historical manuscripts.	Document Analysis Systems	2010	DBLP DOI BibTeX RDF	foreground-background separation, Markov random fields, document image analysis, multi-spectral images
19	R. Mahesh 0001, A. Prasad Vinod 0001	A New Common Subexpression Elimination Algorithm for Realizing Low-Complexity Higher Order Digital Filters.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
19	Linna Li, Wei Zhang	Higher-Order Logic Recommender System.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
19	Asem M. Ali, Aly A. Farag, Georgy L. Gimel'farb	Optimizing Binary MRFs with Higher Order Cliques.	ECCV (3)	2008	DBLP DOI BibTeX RDF
19	Bor-Shyh Lin, Bor-Shing Lin, Fok-Ching Chong, Feipei Lai	Higher-Order-Statistics-Based Radial Basis Function Networks for Signal Enhancement.	IEEE Trans. Neural Networks	2007	DBLP DOI BibTeX RDF
19	Rafael del Vado Vírseda	A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees.	ICTAC	2007	DBLP DOI BibTeX RDF
19	Dimitris Mostrous, Nobuko Yoshida	Two Session Typing Systems for Higher-Order Mobile Processes.	TLCA	2007	DBLP DOI BibTeX RDF
19	Munehiro Takimoto, Mayu Mizuno, Masato Kurio, Yasushi Kambayashi	Saving Energy Consumption of Multi-robots Using Higher-Order Mobile Agents.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	Dynamic software composition, Intelligent robot control, Mobile agent
19	Dugan Um	Sensor Based Randomized Diffusion Planner for Higher Order Manipulators in Unknown Environments.	IROS	2006	DBLP DOI BibTeX RDF
19	Xin Wang 0006, Ata Kabán	State Aggregation in Higher Order Markov Chains for Finding Online Communities.	IDEAL	2006	DBLP DOI BibTeX RDF
19	Zining Cao	More on Bisimulations for Higher Order pi-Calculus.	FoSSaCS	2006	DBLP DOI BibTeX RDF
19	Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Orderings for Normal Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
19	Xiangyang Lan, Stefan Roth 0001, Daniel P. Huttenlocher, Michael J. Black	Efficient Belief Propagation with Learned Higher-Order Markov Random Fields.	ECCV (2)	2006	DBLP DOI BibTeX RDF
19	Shenzhi Li, Tianhao Wu 0004, William M. Pottenger	Distributed higher order association rule mining using information extracted from textual data.	SIGKDD Explor.	2005	DBLP DOI BibTeX RDF	criminal justice, distributed association rule mining, data mining, machine learning, evaluation, artificial intelligence, text mining, knowledge discovery, association rule mining, privacy-preserving, distributed data mining, law enforcement, terrorism
19	Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida	A logical analysis of aliasing in imperative higher-order functions.	ICFP	2005	DBLP DOI BibTeX RDF	functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities
19	Kathrin Hoffmann, Till Mossakowski	Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.	WADT	2002	DBLP DOI BibTeX RDF
19	Herbert Kuchen, Jörg Striegnitz	Higher-order functions and partial applications for a C++ skeleton library.	Java Grande	2002	DBLP DOI BibTeX RDF
19	John W. Lloyd	Higher-Order Computational Logic.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
19	Tetsuo Ida, Mircea Marin, Taro Suzuki	Reducing Search Space in Solving Higher-Order Equations.	Progress in Discovery Science	2002	DBLP DOI BibTeX RDF
19	Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández 0001	Higher Order Applicative XML Documents.	RISSEF	2002	DBLP DOI BibTeX RDF
19	Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper	Refinement of Higher-Order Logic Programs.	LOPSTR	2002	DBLP DOI BibTeX RDF
19	Shuxiang Xu, Ming Zhang 0020	An Adaptive Activation Function for Higher Order Neural Networks.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF	neuron-adaptive activation function, financial data simulation, Neural network, function approximation
19	Andrew Cook, Andrew Ireland, Greg Michaelson	Higher Order Function Synthesis Through Proof Planning.	ASE	2001	DBLP DOI BibTeX RDF
19	Nobuko Yoshida, Matthew Hennessy	Suptyping and Locality in Distributed Higher Order Processes (extended abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
19	Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari	A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes.	AMAST	1998	DBLP DOI BibTeX RDF
19	Shiho Moriai, Takeshi Shimoyama, Toshinobu Kaneko	Higher Order Differential Attak of CAST Cipher.	FSE	1998	DBLP DOI BibTeX RDF
19	Monika Wierse	A new theoretically motivated higher order upwind scheme on unstructured grids of simplices.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	35L60, 35L65, 35L67, 65C20, 76N15, 65N30, conservation law, unstructured grid, adaptive mesh refinement, finite volume method, 65M12, 65M60
19	Vinod Chandran, Brett Carswell, Boualem Boashash, Steve Elgar	Pattern recognition using invariants defined from higher order spectra: 2-D image inputs.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
19	Christian Mossin	Higher-Order Value Flow Graphs.	PLILP	1997	DBLP DOI BibTeX RDF	polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
19	Herbert Kuchen, Josef Anastasiadis	Higher Order Babel: Language and Implementation.	ELP	1996	DBLP DOI BibTeX RDF
19	Bard Bloom	CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.	POPL	1994	DBLP DOI BibTeX RDF
19	Matthew Hennessy	Higher-Order Process and Their Models.	ICALP	1994	DBLP DOI BibTeX RDF
19	Andrew M. Pitts, Ian David Bede Stark	Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?	MFCS	1993	DBLP DOI BibTeX RDF
19	Frank Pfenning, Conal Elliott	Higher-Order Abstract Syntax.	PLDI	1988	DBLP DOI BibTeX RDF
19	Manfred Broy	Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).	MFCS	1986	DBLP DOI BibTeX RDF
19	Tomasz Pietrzykowski	A Complete Mechanization of Second-Order Type Theory.	J. ACM	1973	DBLP DOI BibTeX RDF
19	Radha Jagadeesan, Corin Pitcher, Julian Rathke, James Riely	Local Memory via Layout Randomization.	CSF	2011	DBLP DOI BibTeX RDF	memory layout randomization, deterministic allocation, probability, control, full abstraction, higher-order
19	Zhaoshui He, Andrzej Cichocki, Shengli Xie, Kyuwan Choi	Detecting the Number of Clusters in n-Way Probabilistic Clustering.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Multiway clustering, parallel factor analysis (PARAFAC), model order selection, multiway array, higher order tensor, supersymmetric tensors, affinity arrays, enumeration of clusters, estimation of PARAFAC components, principal components enumeration, hypergraph, probabilistic clustering
19	Andrei Popescu 0001, Elsa L. Gunter, Christopher J. Osborn	Strong Normalization for System F by HOAS on Top of FOAS.	LICS	2010	DBLP DOI BibTeX RDF	Higher-Order Abstract Syntax, Isabelle/HOL, System F
19	Vladimir F. Demyanov	Minimax: Directional Differentiability.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Max-function, Maxmin function, Higher-order derivatives, Hypodifferentiability, Support function, Minimax problem, Directional derivative
19	Jasmin Christian Blanchette	Proof Pearl: Mechanizing the Textbook Proof of Huffman's Algorithm.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Interactive theorem provers, Huffman coding, Higher-order logic
19	Xiaoling Ning, Zhong Liu, Ya-song Luo	Research on Variable Step-Size Blind Equalization Algorithm Based on Normalized RBF Neural Network in Underwater Acoustic Communication.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Underwater acoustic channel, higher-order squared error, RBF neural network, blind equalization
19	Rémi Dubroca, Christophe De Luigi, Eric Moreau	Adapted Deflation Approach for Referenced Contrast Optimization in Blind MIMO Convolutive Source Separation.	ICA	2009	DBLP DOI BibTeX RDF	Contrast Functions, Blind Source Separation, Higher Order Statistics, Tensor Decomposition
19	Alain Frisch, Giuseppe Castagna, Véronique Benzaken	Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.	J. ACM	2008	DBLP DOI BibTeX RDF	negation types, Subtyping, higher-order functions, intersection types, union types
19	Osman Hasan, Sofiène Tahar	Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover
19	Torben Æ. Mogensen	Semi-inversion of functional parameters.	PEPM	2008	DBLP DOI BibTeX RDF	semi-inversion, program transformation, inversion, higher-order functions
19	Fengjun Chen, Zhiliang Wang, Zhengguang Xu, Yujie Wang, Fang Liu	A Facial Expression Recognition Algorithm Based on Feature Fusion.	PACIIA (1)	2008	DBLP DOI BibTeX RDF	higher-order local auto-correlations (HLAC), weighted principal component analysis (WPCA), facial expression recognition, feature fusion
19	Adriaan Moors, Frank Piessens, Martin Odersky	Generics of a higher kind.	OOPSLA	2008	DBLP DOI BibTeX RDF	higher-kinded types, higher-order genericity, type constructor polymorphism, Scala
19	Iti Chaturvedi, Jagath C. Rajapakse	Fusion of Gene Regulatory and Protein Interaction Networks Using Skip-Chain Models.	PRIB	2008	DBLP DOI BibTeX RDF	Higher-order Markov chains, Dynamic Bayesian networks, Gene Regulatory networks, Protein-Protein interactions, Viterbi algorithm
19	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
19	Serguei A. Mokhov	Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.	COMPSAC	2008	DBLP DOI BibTeX RDF	MARFL, Modular Audio Recognition Framework (MARF), higher-order contexts, context hierarchies, pattern recognition, multimedia processing, context-oriented programming, General Intensional Programming System (GIPSY)
19	Louis-Julien Guillemette, Stefan Monnier	A type-preserving compiler in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	compilation, higher-order abstract syntax, typed assembly language, de Bruijn
19	Hafiz Malik	Steganalysis of QIM steganography using irregularity measure.	MM&Sec	2008	DBLP DOI BibTeX RDF	kullback-liebler divergence, tsallis-divergence, steganography, steganalysis, kernel density estimation, divergence, higher-order statistics, quantization index modulation
19	Jörg Diederich 0001, Wolf-Tilo Balke	The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems.	ECDL	2007	DBLP DOI BibTeX RDF	category generation, higher-order co-occurrence, faceted search
19	Kerstin Lemke-Rust, Christof Paar	Analyzing Side Channel Leakage of Masked Implementations with Stochastic Methods.	ESORICS	2007	DBLP DOI BibTeX RDF	Boolean Masking, Multivariate Side Channel Analysis, Higher-Order Side Channel Analysis, Stochastic Methods, Side Channel Cryptanalysis
19	Brett W. Bader, Tamara G. Kolda	Algorithm 862: MATLAB tensor classes for fast algorithm prototyping.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Higher-order tensors, N-way arrays, MATLAB, multilinear algebra
19	Victor L. Winter, Jason Beranek, Fares Fraij, Steve Roach, Gregory L. Wickstrom	A transformational perspective into the core of an abstract class loader for the SSP.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	HATS, Strategic programming, higher-order rewriting, TL, SSP
19	Richard A. Frost	Realization of natural language interfaces using lazy functional programming.	ACM Comput. Surv.	2006	DBLP DOI BibTeX RDF	Montague grammar, lazy functional programming, computational linguistics, Natural-language interfaces, higher-order functions
19	Makoto Hamana	An initial algebra approach to term rewriting systems with variable binders.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
19	Murdoch Gabbay, Aad Mathijssen	One-and-a-halfth-order logic.	PPDP	2006	DBLP DOI BibTeX RDF	?-conversion, Fraenkel-Mostowski techniques, meta-variables, nominal terms, first-order logic, higher-order logic
19	Dale Miller 0001, Alwen Tiu	A proof theory for generic judgments.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
19	Alev Topuzoglu, Arne Winterhof	On the linear complexity profile of nonlinear congruential pseudorandom number generators of higher orders.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Linear complexity profile, Nonlinear pseudorandom number generators, Inversive generators, Sequences over finite fields, Recurrences of higher order
19	Bart Jacobs 0001, Wolter Pieters, Martijn Warnier	Statically checking confidentiality via dynamic labels.	WITS	2005	DBLP DOI BibTeX RDF	(Higher Order) theorem proving, formal verification, static analysis, abstract interpretation, confidentiality
19	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
19	Lennart Isaksson, Stefan Chevul, Markus Fiedler, Johan Karlsson, Peter Lindberg	Application-Perceived Throughput Process in Wireless Systems.	Systems Communications	2005	DBLP DOI BibTeX RDF	user-perceived Quality of Service, WLAN, Throughput, UMTS, GPRS, higher-order statistics
19	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
19	Susumu Nishimura	Fusion with stacks and accumulating parameters.	PEPM	2004	DBLP DOI BibTeX RDF	accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks
19	Kohei Honda 0001	From process logic to program logic.	ICFP	2004	DBLP DOI BibTeX RDF	types, duality, hoare logic, ?-calculus, higher-order functions, mobile processes
19	Skander Kort, Sofiène Tahar, Paul Curzon	Hierarchical formal verification using a hybrid tool.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	HOL (higher-order logic), MDG (multiway decision graphs), Hybrid tools, Hierarchical verification
19	Barteld P. Kooi	Probabilistic Dynamic Epistemic Logic.	J. Log. Lang. Inf.	2003	DBLP DOI BibTeX RDF	higher order information, probability, updates, epistemic logic, dynamic logic
19	Gilles Dowek, Thérèse Hardin, Claude Kirchner	Theorem Proving Modulo.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	sequent calculus modulo, resolution, rewriting, automated theorem proving, higher-order logic, cut elimination, narrowing, Skolemization, deduction modulo
19	Ann B. Lee, Kim Steenstrup Pedersen, David Mumford	The Nonlinear Statistics of High-Contrast Patches in Natural Images.	Int. J. Comput. Vis.	2003	DBLP DOI BibTeX RDF	non-linear sparse coding, pixel-based image models, microimages, geometrically based statistics, high-dimensional probability density estimation, clutter, natural image statistics, higher-order statistics