Search results for "order"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Qiong Fang, Wilfred Ng, Jianlin Feng	Discovering significant relaxed order-preserving submatrices.	KDD	2010	DBLP DOI BibTeX RDF	backbone order, order-preserving submatrices, relaxed order-preserving submatrices, biclustering
5	Murat Can Ganiz, Nikita I. Lytkin, William M. Pottenger	Leveraging Higher Order Dependencies between Features for Text Classification.	ECML/PKDD	2009	DBLP DOI BibTeX RDF	higher order learning, higher order naive bayes, higher order support vector machine, machine learning, text classification, statistical relational learning
5	Khalil Djelloul	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	SAC	2008	DBLP DOI BibTeX RDF	complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
5	Joshua D. Laison	Unit and Proper Tube Orders.	Order	2008	DBLP DOI BibTeX RDF	Trapezoid order, Interval-order dimension, Tube order, Geometric representations of ordered sets, Interval order
5	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
5	Joshua D. Laison	Tube Representations of Ordered Sets.	Order	2004	DBLP DOI BibTeX RDF	trapezoid order, triangle order, free triangle order
5	James A. Reeds, Peter C. Fishburn	Counting Split Interval Orders.	Order	2001	DBLP DOI BibTeX RDF	forbidden posets, split interval order, partial order, interval order
5	B. Bayerdorffer	Broadcast Time Warp.	HICSS	1995	DBLP DOI BibTeX RDF	Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation
5	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
4	Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno	Higher-order multi-parameter tree transducers and recursion schemes for program verification.	POPL	2010	DBLP DOI BibTeX RDF	higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
4	Nima Zaerpour, Masoud Rabbani, Amir Hossein Gharehgozli, Reza Tavakkoli-Moghaddam	A comprehensive decision making structure for partitioning of make-to-order, make-to-stock and hybrid products.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Make-to-order, Make-to-stock, Technique for order performance by similarity to ideal solution, Analytic hierarchy process, Fuzzy sets theory
4	Brant C. Jones	An Explicit Derivation of the Möbius Function for Bruhat Order.	Order	2009	DBLP DOI BibTeX RDF	Bruhat order, Matching
4	Urszula Ledzewicz, Heinz Schättler	High-order Necessary Conditions for Optimality for Abnormal Points.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Lyusternik theorem, High-order tangent sets, High-order necessary conditions for optimality, Abnormal processes
4	Oleg V. Kudinov, Victor L. Selivanov	Definability in the Infix Order on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF	Infix order, least fixed point, biinterpretability, definability, automorphism, first-order theory
4	Carlos Estêvão R. Fernandes, Pierre Comon, Gérard Favier	Blind Order Detection and Parameter Estimation of MISO-FIR Channels.	ICA	2009	DBLP DOI BibTeX RDF	Blind identification, channel parameter estimation, high-order statistics (HOS), MISO channels, order detection, Chi-square test
4	Michal Kukiela	Reversible and Bijectively Related Posets.	Order	2009	DBLP DOI BibTeX RDF	Order-preserving bijection, Order isomorphism, Reversible poset, Bijectively related posets
4	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
4	Jia Meng, Lawrence C. Paulson	Translating Higher-Order Clauses to First-Order Clauses.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Interactive theorem provers, Clause translation, First-order logic, Higher-order logic
4	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
4	Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre	Winning Regions of Higher-Order Pushdown Games.	LICS	2008	DBLP DOI BibTeX RDF	higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes
4	Dov M. Gabbay, Andrzej Szalas	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.	Studia Logica	2007	DBLP DOI BibTeX RDF	second-order quantifier elimination, higher-order relations, conditionals
4	Yiyu Yao, Bing Zhou, Yaohua Chen	Interpreting Low and High Order Rules: A Granular Computing Approach.	RSEISP	2007	DBLP DOI BibTeX RDF	Low order rules, high order rules, dominance-based rough set analysis, granular computing
4	Yi Zou, Yici Cai, Qiang Zhou, Xianlong Hong, Sheldon X.-D. Tan, Le Kang	Practical Implementation of Stochastic Parameterized Model Order Reduction via Hermite Polynomial Chaos.	ASP-DAC	2007	DBLP DOI BibTeX RDF	stochastic parameterized model order reduction, Hermite polynomial chaos, stochastic model order reduction algorithm, stochastic Hermite polynomials, stochastic interconnect analysis, nonGaussian input variations, implicit system representation, block matrix structure, Monte Carlo methods, linear equations
4	Kerstin Lemke-Rust, Christof Paar	Gaussian Mixture Models for Higher-Order Side Channel Analysis.	CHES	2007	DBLP DOI BibTeX RDF	Higher-Order Analysis, Boolean Masking, Second-Order DPA, EM Algorithm, Gaussian Mixture Models, Templates, Side Channel Cryptanalysis
4	Makoto Hamana	Higher-order semantic labelling for inductive datatype systems.	PPDP	2007	DBLP DOI BibTeX RDF	categorical semantics, higher-order rewriting, modularity, termination, higher-order abstract syntax, initial algebra semantics
4	Zareen Alamgir, Sarmad Abbasi	Combinatorial Algorithms for Listing Paths in Minimal Change Order.	CAAN	2007	DBLP DOI BibTeX RDF	Minimal change order, Revolving door order, Generation of paths, Combinatorial algorithms, Complete graph
4	William M. Pottenger	D-HOTM: distributed higher order text mining.	DG.O	2007	DBLP DOI BibTeX RDF	higher order associations, higher order classification
4	Lisa Higham, LillAnne Jackson, Jalal Kawash	Specifying memory consistency of write buffer multiprocessors.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Memory consistency framework, partial store order, relaxed memory order, sparc multiprocessors, total store order, write-buffer architectures, coherence, sequential consistency, alpha
4	Shouzhi Yang, Lizhong Peng	Construction of high order balanced multiscaling functions via PTST.	Science in China Series F: Information Sciences	2006	DBLP DOI BibTeX RDF	PTST, balanced order, multiscaling functions, approximation order
4	Barry A. Balof, Kenneth P. Bogart	A Finite Non-Unit Free Triangle Order.	Order	2006	DBLP DOI BibTeX RDF	free triangle order, unit vs. proper, geometric representation
4	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
4	Sudipto Guha, Andrew McGregor	Approximate quantiles and the order of the stream.	PODS	2006	DBLP DOI BibTeX RDF	adversarial order, random order, data streams, quantiles
4	Torben Braüner	Natural Deduction for First-Order Hybrid Logic.	Journal of Logic, Language and Information	2005	DBLP DOI BibTeX RDF	First-order hybrid logic, first-order modal logic, natural deduction
4	Eun-Gu Jung, Jeong-Gun Lee, Sanghoon Kwak, Kyoung-Sun Jhang, Jeong-A. Lee, Dong-Soo Har	High performance asynchronous on-chip bus with multiple issue and out-of-order/in-order completion.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	asynchronous on-chip bus, in-order completion, multiple issue, out-of-order completion, SoC, GALS
4	Shao Fen Liang, Siobhan Devlin, John Tait	Using query term order for result summarisation.	SIGIR	2005	DBLP DOI BibTeX RDF	query term order, summary quality, term order
4	Nathan Reading	Lattice Congruences of the Weak Order.	Order	2004	DBLP DOI BibTeX RDF	Cambrian lattice, congruence uniform, Coxeter group, parabolic subgroup, poset of regions, shard, simplicial hyperplane arrangement, Tamari lattice, weak order
4	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
4	Alan Schmitt, Jean-Bernard Stefani	The Kell Calculus: A Family of Higher-Order Distributed Process Calculi.	Global Computing	2004	DBLP DOI BibTeX RDF	higher-order bisimulation, components, distributed programming, mobile code, Process calculi, ambients, higher-order languages
4	Yin Wu, Vishal Bhatia, Hugh C. Lauer, Larry Seiler	Shear-image order ray casting volume rendering.	SI3D	2003	DBLP DOI BibTeX RDF	base plane, image order, shear warp, shear-image order, volume rendering, ray casting
4	Joshua D. Laison	Free Triangle Orders.	Order	2003	DBLP DOI BibTeX RDF	trapezoid order, triangle order, free triangle order
4	Oswin Aichholzer, Franz Aurenhammer, Hannes Krasser	Enumerating Order Types for Small Point Sets with Applications.	Order	2002	DBLP DOI BibTeX RDF	planar straight-line graphs, realizable matroids, computational geometry, order types
4	Nathan Reading	Order Dimension, Strong Bruhat Order and Lattice Properties for Posets.	Order	2002	DBLP DOI BibTeX RDF	Bruhat, clivage, Coxeter, critical complex, Dilworth, MacNeille completion, monotone triangle, congruence, distributive lattice, order dimension, dissective
4	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
4	Jonathan David Farley, Bernd S. W. Schröder	Strictly Order-Preserving Maps into Z, II. A 1979 Problem of Erné.	Order	2001	DBLP DOI BibTeX RDF	(partially) ordered set, (strictly) order-preserving map, lattice, chain
4	Gábor Kun, Csaba Szabó	Order Varieties and Monotone Retractions of Finite Posets.	Order	2001	DBLP DOI BibTeX RDF	finite poset, order variety
4	J. K. Truss	Elementary Properties of Cycle-free Partial Orders and their Automorphism Groups.	Order	2001	DBLP DOI BibTeX RDF	cycle-free, first order, partial order, automorphism group
4	Christopher Doble, Jean-Paul Doignon, Jean-Claude Falmagne, Peter C. Fishburn	Almost Connected Orders.	Order	2001	DBLP DOI BibTeX RDF	almost connected order, well graded family, upgradable family, downgradable family, weak order, semiorder
4	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
4	Altan Odabasioglu, Mustafa Celik, Lawrence T. Pileggi	PRIMA: passive reduced-order interconnect macromodeling algorithm.	ICCAD	1997	DBLP DOI BibTeX RDF	MPVL, PRIMA, RLC interconnect circuits, block Arnoldi technique, driver-load models, guaranteed passivity, macromodel passivity, macromodel stability, passive reduced-order interconnect macromodeling algorithm, path tracing algorithm, reduced order N-port models, simulation, CAD, integrated circuit layout, frequency domain, circuit stability
4	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover
4	Alfredo Restrepo, Alejandro Naranjo, Magdalenu Valderrama, Mauricio Daniels, Ramiro de la Vega	Designing OSED's (order statistic edge detectors). (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	order statistic edge detector, order statistic filters, moving quasiranges, threshold level, edge contrast, SNR conditions, window size five, edge detection, statistical analysis, outliers, nonlinear filters, variances, linear combinations, error probabilities, expectations, error statistics, OSED
4	Bruce W. Weber	Trade execution costs and disintermediated order crossing systems on the London Stock Exchange.	HICSS	1995	DBLP DOI BibTeX RDF	securities trading, disintermediated order crossing systems, trade execution costs, securities exchanges, screen-based markets, investors' orders, intermediation costs, bid-ask spread, broker commission costs, SEAQ market, quote-driven trading mechanism, order arrival, information change, competing dealer market, low-cost trading systems, economics, costing, transactions costs, commerce, electronic trading
4	Mike Chou, Jacob K. White	Efficient reduced-order modeling for the transient simulation of three-dimensional interconnect.	ICCAD	1995	DBLP DOI BibTeX RDF	Arnoldi method, SPICE-level simulation, Taylor series terms, surface-volume methods, three-dimensional interconnect, circuit analysis computing, transient analysis, integrated circuit interconnect, integrated circuit interconnections, reduced-order modeling, reduced-order models, transient simulation, series (mathematics)
4	Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu	Extending VLSI design with higher-order logic. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	Cambridge Higher-Order Logic theorem-prover, microprogram sequencer, Am2910, VLSI, formal verification, formal verification, logic testing, theorem proving, logic design, logic CAD, VLSI design, higher-order logic, theorem-prover, design environment, instruction-set architecture, VLSI CAD
4	Ke Wang, Li-Yan Yuan	First-Order Logic Characterization of Program Properties.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
4	A. J. van de Goor, Yervant Zorian	Effective march algorithms for testing single-order addressed memories.	J. Electronic Testing	1994	DBLP DOI BibTeX RDF	Read/Write memories, single-address order, single-order addressed memory, SRAM, memory testing, March test
4	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
4	Miklós Ajtai, Yuri Gurevich	Datalog vs. First-Order Logic	FOCS	1989	DBLP DOI BibTeX RDF	finite structure, first-order languages, first-order expressible datalog query, compactness theorem, first-order logic, bounded
3	Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema	Order-Independence of Vector-Based Transition Systems.	ACSD	2010	DBLP DOI BibTeX RDF	Vector-based transition systems, Moore machines, Order independence, Model checking, Partial order reduction
3	Florian Haftmann	From higher-order logic to Haskell: there and back again.	PEPM	2010	DBLP DOI BibTeX RDF	code generation, theorem proving, haskell, higher-order logic, isabelle
3	Andrew Gacek	Relating nominal and higher-order abstract syntax specifications.	PPDP	2010	DBLP DOI BibTeX RDF	higher-order abstract syntax, proof search, nominal logic
3	Kimberly Weaver, Hannes Baumann, Thad Starner, Hendrik Iben, Michael Lawo	An empirical task analysis of warehouse order picking using head-mounted displays.	CHI	2010	DBLP DOI BibTeX RDF	wearable computers, head-mounted display, order picking
3	Michael Benedikt, Gabriele Puppis, Huy Vu	Positive higher-order queries.	PODS	2010	DBLP DOI BibTeX RDF	higher-order queries
3	Jef Wijsen	On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases.	PODS	2010	DBLP DOI BibTeX RDF	first-order expressibility, primary keys, conjunctive queries, consistent query answering
3	Sailesh Krishnamurthy, Michael J. Franklin, Jeffrey Davis, Daniel Farina, Pasha Golovko, Alan Li, Neil Thombre	Continuous analytics over discontinuous streams.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	streams, continuous queries, order, out-of-order
3	Rupert Reif, Willibald A. Günthner	Pick-by-vision: augmented reality supported order picking.	The Visual Computer	2009	DBLP DOI BibTeX RDF	Augmented reality, User studies, Logistics, Order picking
3	Grzegorz W. Wasilkowski, Henryk Wozniakowski	Polynomial-Time Algorithms for Multivariate Linear Problems with Finite-Order Weights: Average Case Setting.	Foundations of Computational Mathematics	2009	DBLP DOI BibTeX RDF	Multivariate linear problems, Finite-order weights, Small effective dimension, Average case setting, Polynomial-time algorithms, Tractability
3	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
3	Z. Husain, Izhar Ahmad, Sarita Sharma	Second order duality for minmax fractional programming.	Optimization Letters	2009	DBLP DOI BibTeX RDF	Minmax programming, Second order duality, ?-bonvexity, Fractional programming
3	Z. Husain, Anurag Jayswal, Izhar Ahmad	Second order duality for nondifferentiable minimax programming problems with generalized convexity.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Nondifferentiable programming, Minimax programming, Second order duality, Generalized convexity
3	Roberto Andreani, José Mario Martínez, Leandro Martínez, Flávio S. Yano	Low Order-Value Optimization and applications.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Order-Value Optimization, Robust estimation of parameters, Hidden patterns, Algorithms, Convergence
3	ShiYu Yan, ZengQi Sun	Design and analysis of switching reduced-order observer and separation principle for T-S fuzzy system.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	switching fuzzy controller, switching fuzzy reduced-order observer, separation principle
3	Shan Ouyang	Bi-iterative least squares algorithms for blind channel identification and equalization with second-order statistics.	Science in China Series F: Information Sciences	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
3	Hang Yu	Null controllability for a fourth order parabolic equation.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	fourth order parabolic equations, null controllability, Lebeau-Rabbiano inequality
3	Zhanquan Sun, Yinglong Wang	Traffic congestion identification by combining PCA with higher-order Boltzmann machine.	Neural Computing and Applications	2009	DBLP DOI BibTeX RDF	Higher-order Boltzmann machine, Principal component analysis (PCA), Intelligent transport system (ITS), Traffic congestion
3	Walter Gautschi	High-order generalized Gauss-Radau and Gauss-Lobatto formulae for Jacobi and Laguerre weight functions.	Numerical Algorithms	2009	DBLP DOI BibTeX RDF	High-order generalized Gauss-Radau and Gauss-Lobatto quadrature formulae, Jacobi weight functions, Laguerre weight functions
3	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
3	Sigal Gottlieb, David I. Ketcheson, Chi-Wang Shu	High Order Strong Stability Preserving Time Discretizations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Multistep methods, Spectral deferred correction methods, Runge-Kutta methods, High order accuracy, Time discretization, Strong stability preserving
3	Xian Xu	On Bisimulation Theory in Linear Higher-Order pi-Calculus.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order
3	Stijn Eyerman, Lieven Eeckhout, Tejas Karkhanis, James E. Smith	A mechanistic performance model for superscalar out-of-order processors.	ACM Trans. Comput. Syst.	2009	DBLP DOI BibTeX RDF	Superscalar out-of-order processor, balanced processor design, mechanistic modeling, overprovisioned processor design, pipeline depth, pipeline width, resource scaling, wide front-end dispatch processors, performance modeling, analytical modeling
3	Magnus Björk	First Order Stålmarck.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Stålmarck’s method, Universal lemmas, First order logic, Automated theorem proving, Intersections
3	David Michael Knipe	The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order.	Order	2009	DBLP DOI BibTeX RDF	Partially ordered group, Reduction scheme, Group, Partial order
3	Xian Xu	Expressing First-Order pi-Calculus in Higher-Order Calculus of Communicating Systems.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	encoding, bisimulation, full abstraction, process calculus, higher order
3	Ugo Dal Lago	The geometry of linear higher-order recursion.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
3	Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher	Extending the loop language with higher-order procedural variables.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Gödel System T, Loop language, higher-order procedures, procedural variables
3	Suleiman M. BaniHani, Suvranu De	A comparison of some model order reduction methods for fast simulation of soft tissue response using the point collocation-based method of finite spheres.	Eng. Comput. (Lond.)	2009	DBLP DOI BibTeX RDF	Point collocation-based method of finite spheres (PCMFS), Real time, Model order reduction, Viscoelastic, Soft tissue, Numerical technique
3	Urszula Ledzewicz, Heinz Schättler	High-order Maximum Principle for Abnormal Extremals.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Local maximum principle, High-order tangent sets, High-order necessary conditions for optimality, Abnormal processes
3	Julian Gutierrez, Julian C. Bradfield	Model-Checking Games for Fixpoint Logics with Partial Order Models.	CONCUR	2009	DBLP DOI BibTeX RDF	Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics
3	ShiYu Yan, ZengQi Sun	Design and analysis of switching full-order current observer and separation principle for T-S fuzzy system.	GEC Summit	2009	DBLP DOI BibTeX RDF	separation principle, switching fuzzy controller, switching fuzzy full-order current observer
3	Xiangyang Wang, Wanggen Wan, Xiaoqing Yu	Rough set approximate entropy reducts with order based particle swarm optimization.	GEC Summit	2009	DBLP DOI BibTeX RDF	approximate entropy reducts, hybrid algorithm., order-based particle swarm optimization, rough set, particle swarm optimization
3	William B. Langdon, Mark Harman, Yue Jia	Multi objective higher order mutation testing with GP.	GECCO	2009	DBLP DOI BibTeX RDF	TCAS, higher order mutation, schedule, genetic programming, pareto optimality, mutation testing, triangle
3	Michael Tunstall	Random Order m-ary Exponentiation.	ACISP	2009	DBLP DOI BibTeX RDF	random order countermeasure, side channel analysis, Exponentiation algorithms
3	Yuexian Hou, Dawei Song	Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry.	QI	2009	DBLP DOI BibTeX RDF	Pure high-order entanglement, Semantic emergence, Extended vector model, Information geometry
3	Hiromi Miyajima, Noritaka Shigei, Shuji Yatsuki	Higher Order Neurodynamics of Associative Memory for Sequential Patterns.	ISNN	2009	DBLP DOI BibTeX RDF	Higher order neural network, Associative memory, Sequential pattern, Statistical method, Storage capacity
3	Naoki Kobayashi	Types and higher-order recursion schemes for verification of higher-order programs.	POPL	2009	DBLP DOI BibTeX RDF	model checking, type system, higher-order recursion scheme
3	Daisuke Sato, Masatomo Kobayashi, Hironobu Takagi, Chieko Asakawa	What's Next? A Visual Editor for Correcting Reading Order.	INTERACT	2009	DBLP DOI BibTeX RDF	Reading flow, reading order, ARIA flowto, Web accessibility
3	I-Hsuan Shen, Kong-King Shieh	Effects of Report Order on Identification on Multidimensional Stimulus: Color and Shape.	HCI	2009	DBLP DOI BibTeX RDF	report order, multidimensional stimulus identification, task switch, color coding
3	Mingzhu Wei, Mo Liu, Ming Li, Denis Golovnya, Elke A. Rundensteiner, Kajal T. Claypool	Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	out-of-order data, stream processing, complex event processing
3	Thomas Schierl, Yago Sanchez de la Fuente, Cornelius Hellge, Thomas Wiegand	Decoding order recovery for multi flow transmission of scalable video coding (SVC) over mobile IP channels.	MobiMedia	2009	DBLP DOI BibTeX RDF	decoding order recovery, mobile broadcast channels, multi session transmission, timestamp based, SVC, RTP
3	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