Search results for "WK-recursive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Zhiyou Wu, Yanhong Gu	A Recursive Digital Filter Design using Global Optimization Technique.	APCCAS	2006	DBLP DOI BibTeX RDF
21	Catherine Howard, Markus Stumptner	Representation and Reasoning for Recursive Probability Models.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
21	Osamu Takaki	Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Proof-theoretic ordinal, Ordinal representation system, Inaccessible cardinal
21	Jangheon Kim, Thomas Sikora	Hybrid recursive energy-based method for robust optical flow on large motion fields.	ICIP (1)	2005	DBLP DOI BibTeX RDF
21	Mihalis Yannakakis, Kousha Etessami	Checking LTL Properties of Recursive Markov Chains.	QEST	2005	DBLP DOI BibTeX RDF
21	Ana Bove, Venanzio Capretta	Recursive Functions with Higher Order Domains.	TLCA	2005	DBLP DOI BibTeX RDF
21	Easwaran Raman, David I. August	Recursive data structure profiling.	Memory System Performance	2005	DBLP DOI BibTeX RDF	RDS, dynamic shape graph, list linearization, memory profiling, shape profiling
21	Konstantin Korovin, Andrei Voronkov	Random Databases and Threshold for Monotone Non-recursive Datalog.	MFCS	2005	DBLP DOI BibTeX RDF
21	Jun-Seok Lim, Nakjin Choi, Koeng-Mo Sung	Robust Recursive TLS (Total Least Square) Method Using Regularized UDU Decomposed for FNN (Feedforward Neural Network) Training.	ISNN (1)	2005	DBLP DOI BibTeX RDF
21	Kousha Etessami, Mihalis Yannakakis	Recursive Markov Chains, Stochastic Grammars, and Monotone Systems of Nonlinear Equations.	STACS	2005	DBLP DOI BibTeX RDF
21	S. C. Chan 0001, Yi Zhou 0014, W. Y. Lau	Approximate QR-based algorithms for recursive nonlinear least squares estimation.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
21	Akira Terui	Recursive Polynomial Remainder Sequence and the Nested Subresultants.	CASC	2005	DBLP DOI BibTeX RDF
21	Monica Bianchini, Marco Gori, Lorenzo Sarti, Franco Scarselli	Recursive Neural Networks and Graphs: Dealing with Cycles.	WIRN/NAIS	2005	DBLP DOI BibTeX RDF
21	Michael Hosemann, Gerhard P. Fettweis	On Enhancing SIMD-Controlled DSPs for Performing Recursive Filtering.	SAMOS	2004	DBLP DOI BibTeX RDF
21	Sandeep Prakash, Sourav S. Bhowmick, Sanjay Madria	Efficient Recursive XML Query Processing in Relational Database Systems.	ER	2004	DBLP DOI BibTeX RDF
21	Kousha Etessami	Analysis of Recursive Game Graphs Using Data Flow Equations.	VMCAI	2004	DBLP DOI BibTeX RDF
21	Pedro B. Vasconcelos, Kevin Hammond	Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.	IFL	2003	DBLP DOI BibTeX RDF
21	Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro	Replication vs. Recursive Definitions in Channel Based Calculi.	ICALP	2003	DBLP DOI BibTeX RDF
21	Albrecht Wöß, Markus Löberbauer, Hanspeter Mössenböck	LL(1) Conflict Resolution in a Recursive Descent Compiler Generator.	JMLC	2003	DBLP DOI BibTeX RDF
21	Roxana Diaconescu, Reidar Conradi	Distributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications.	CLUSTER	2003	DBLP DOI BibTeX RDF
21	Arnold Beckmann	A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
21	Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu 0005	Weakest Precondition for General Recursive Programs Formalized in Coq.	TPHOLs	2002	DBLP DOI BibTeX RDF	Formal Verification, Operational Semantics, Weakest Precondition, Coq
21	Alex K. Simpson	Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.	LICS	2002	DBLP DOI BibTeX RDF
21	Dror Irony, Gil Shklarski, Sivan Toledo	Parallel and Fully Recursive Multifrontal Supernodal Sparse Cholesky.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
21	Pieter Jonker	Morphological Operations in Recursive Neighbourhoods.	DGCI	2002	DBLP DOI BibTeX RDF
21	Tobias Nipkow	Hoare Logics for Recursive Procedures and Unbounded Nondeterminism.	CSL	2002	DBLP DOI BibTeX RDF
21	Pasin Israsena, S. Summerfield	Bit-level retiming of high-speed digital recursive filters.	APCCAS (2)	2002	DBLP DOI BibTeX RDF
21	C. S. Buchanan, K. I. M. McKinnon, G. K. Skondras	The Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	algebraic modeling languages, stochastic programming
21	Juliusz Chroboczek	Subtyping Recursive Games.	TLCA	2001	DBLP DOI BibTeX RDF
21	Noam Rinetzky, Shmuel Sagiv	Interprocedural Shape Analysis for Recursive Programs.	CC	2001	DBLP DOI BibTeX RDF
21	Arnold Beckmann, Andreas Weiermann	Characterizing the elementary recursive functions by a fragment of Gödel's T.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
21	Jin Akiyama, Gisaku Nakamura, Akihiro Nozaki, Ken'ichi Ozawa	A Note on the Purely Recursive Dissection for a Sequentially n-Divisible Square.	JCDCG	2000	DBLP DOI BibTeX RDF
21	Dimiter Skordev	Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.	CCA	2000	DBLP DOI BibTeX RDF
21	Michal Haindl	Recursive Square-Root Filters.	ICPR	2000	DBLP DOI BibTeX RDF
21	Nawaaz Ahmed, Keshav Pingali	Automatic Generation of Block-Recursive Codes.	Euro-Par	2000	DBLP DOI BibTeX RDF
21	Richard J. Boulton, Konrad Slind	Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions.	Computational Logic	2000	DBLP DOI BibTeX RDF
21	Graeme Smith	Recursive Schema Definitions in Object-Z.	ZB	2000	DBLP DOI BibTeX RDF
21	Ian Toyn, Samuel H. Valentine, David A. Duffy	On Mutually Recursive Free Types in Z.	ZB	2000	DBLP DOI BibTeX RDF
21	Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Can recursive bisection alone produce routable placements?	DAC	2000	DBLP DOI BibTeX RDF
21	Henrik Boström	Induction of Recursive Transfer Rules.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
21	Didier Le Ruyet, Hong Sun, Han Vu Thien	Properties of Finite Response Input Sequences of Recursive Convolutional Codes.	AAECC	1999	DBLP DOI BibTeX RDF
21	Anshul Gupta, Fred G. Gustavson, Alexander Karaivanov, Jerzy Wasniewski, Plamen Y. Yalamov	Experience with a Recursive Perturbation Based Algorithm for Symmetric Indefinite Linear Systems.	Euro-Par	1999	DBLP DOI BibTeX RDF
21	Andreas Abel 0001	Specification and Verification of a Formal System for Structurally Recursive Functions.	TYPES	1999	DBLP DOI BibTeX RDF
21	Karl Crary, Robert Harper 0001, Sidd Puri	What is a Recursive Module?	PLDI	1999	DBLP DOI BibTeX RDF
21	Yanhong A. Liu, Scott D. Stoller	Eliminating Dead Code on Recursive Data.	SAS	1999	DBLP DOI BibTeX RDF
21	Hiroyuki Segawa, Takashi Totsuka	Torque-Based Recursive Filtering Approach to the Recovery of 3D Articulated Motion from Image Sequences.	CVPR	1999	DBLP DOI BibTeX RDF	Depth ambiguity, Kalman filters, Robotics dynamics
21	Jung-Heum Park	Hamiltonian Decomposition of Recursive Circulants.	ISAAC	1998	DBLP DOI BibTeX RDF
21	Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach	Efficient Recursive Subtyping.	POPL	1993	DBLP DOI BibTeX RDF
21	Wen-Jing Hsu, Amitabha Das, Moon-Jung Chung	Linear Recursive Networks and Their Applications in Topological Design and Data Routing.	SIGCOMM	1993	DBLP DOI BibTeX RDF
21	Jane Hesketh, Alan Bundy, Alan Smaill	Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs.	CADE	1992	DBLP DOI BibTeX RDF
21	Sakti Pramanik, David T. Kao, David Vineyard	Fragmentation of Recursive Relations in Distributed Datbases.	EDBT	1992	DBLP DOI BibTeX RDF
21	Dieter Hofbauer	Termination Proofs by Multiset Path Orderings Imply Primitive Recursive Derivation Lengths.	ALP	1990	DBLP DOI BibTeX RDF
21	P. Fairfield, Michael A. Hennell	Data flow analysis of recursive procedures.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
21	Dietmar Seipel	A Graph-Based Decomposition Approach for Recursive Query Processing.	WG	1988	DBLP DOI BibTeX RDF
21	Georges Gardarin, Christophe de Maindreville	Evaluation of Database Recursive Logic Programs as Recurrent Function Series.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF	SQL
21	L. Carl Leinbach, Alexander L. Wijesinha	On classifying recursive algorithms.	SIGCSE	1986	DBLP DOI BibTeX RDF
21	Domenico Saccà, Carlo Zaniolo	The Generalized Counting Method for Recursive Logic Queries.	ICDT	1986	DBLP DOI BibTeX RDF
21	Albert R. Meyer, John C. Mitchell	Axiomatic Definability and Completeness for Recursive Programs.	POPL	1982	DBLP DOI BibTeX RDF
21	James A. Ayers	Recursive programming in Fortran II.	Commun. ACM	1963	DBLP DOI BibTeX RDF
20	Olivier Bournez, Emmanuel Hainry	Real Recursive Functions and Real Extensions of Recursive Functions.	MCU	2004	DBLP DOI BibTeX RDF
20	Yi-Ping Phoebe Chen, Robert M. Colomb	Querying Recursive Structures without Recursive Queries.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF
20	Lou van den Dries, Yiannis N. Moschovakis	Arithmetic complexity.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Lower bounds for arithmetical problems, coprimeness, greatest common divisor, recursive programs
20	Maciej Latek, Robert L. Axtell, Bogumil Kaminski	Bounded rationality via recursion.	AAMAS (1)	2009	DBLP BibTeX RDF	multiagent learning and decision-making, recursive agent-based models, cognition, cognitive architecture
20	Yongming Li 0001	Approximation and universality of fuzzy Turing machines.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	fuzzy Turing machine, fuzzy recursively enumerable language, fuzzy recursive language, universal fuzzy Turing machine, fuzzy algorithm
20	Gunawan Herman, Getian Ye, Jie Xu 0008, Bang Zhang	Improving object detection by removing noisy samples from training sets.	Multimedia Information Retrieval	2008	DBLP DOI BibTeX RDF	data pruning, noisy samples, recursive bayes, adaboost
20	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
20	Irene Polycarpou	Computer science students' difficulties with proofs by induction: an exploratory study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	inductive/recursive definitions, undergraduate computer science curricula, structural induction, proofs by induction
20	Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan 0001, Timothy Roscoe, Ion Stoica	Declarative networking: language, execution and optimization.	SIGMOD Conference	2006	DBLP DOI BibTeX RDF	recursive queries, declarative networks
20	Idris A. Eckley, Guy P. Nason	Efficient computation of the discrete autocorrelation wavelet inner product matrix.	Stat. Comput.	2005	DBLP DOI BibTeX RDF	recursive wavelet relation, locally stationary time series, autocorrelation wavelets
20	Rajoo Pandey	Fast Blind Equalization Using Complex-Valued MLP.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	complex-valued feedforward neural network, constant modulus algorithm, stochastic gradient descent algorithm, blind equalization, recursive least square algorithm
20	Behruz Tayfeh-Rezaie	On the Existence of Large Sets of t-designs of Prime Sizes.	Des. Codes Cryptogr.	2005	DBLP DOI BibTeX RDF	large sets of t-designs, (N, t)-partitionable sets, recursive constructions, t-designs
20	Ralf Lämmel, Simon L. Peyton Jones	Scrap your boilerplate with class: extensible generic functions.	ICFP	2005	DBLP DOI BibTeX RDF	recursive dictionaries, typecase, extensibility, generic programming, type classes
20	Dzati Athiar Ramli, Ahmad Fauzan Kadmin, Mohd. Yusoff Mashor, Nor Ashidi Mat Isa	Diagnosis of Cervical Cancer Using Hybrid Multilayered Perceptron (HMLP) Network.	KES	2004	DBLP DOI BibTeX RDF	Pap test, HMLP network, cervical cancer diagnosis system, recursive least square algorithm
20	Pavel Zahradnik, Miroslav Vlcek	Fast Design of Optimal Comb FIR Filters.	KES	2004	DBLP DOI BibTeX RDF	comb filter, narrow band, equiripple approximation, analytical design, recursive algorithm, optimal filter, FIR
20	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
20	Jeremy E. Dawson, Rajeev Goré	A General Theorem on Termination of Rewriting.	CSL	2004	DBLP DOI BibTeX RDF	well-founded ordering, recursive path ordering, termination, rewriting
20	Alexander Okhotin	Decision Problems for Language Equations with Boolean Operations.	ICALP	2003	DBLP DOI BibTeX RDF	language equations, recursive sets, Boolean operations
20	Bertis B. Little, Walter L. Johnston, Ashley C. Lovell, Roderick M. Rejesus, Steve A. Steed	Collusion in the U.S. crop insurance program: applied data mining.	KDD	2002	DBLP DOI BibTeX RDF	doublets, insurance fraud, non-recursive, triplets, collusion, log linear models
20	Christian Urban	Strong Normalisation for a Gentzen-like Cut-Elimination Procedure.	TLCA	2001	DBLP DOI BibTeX RDF	Recursive Path Ordering, Cut-Elimination, Explicit Substitution, Classical Logic
20	F. G. Lorca, Lounis Kessal, Didier Demigny	Efficient ASIC and FPGA Implementations of IIR Filters for Real Time Edge Detection.	ICIP (2)	1997	DBLP DOI BibTeX RDF	Deriche filter architecture, real time edge detection, optimal edge detectors, FGGA circuits, memory size reduction, scale parameter, first order recursive filter, algorithm, ASIC, CMOS, adders, hardware implementation, IIR filters, IIR filters, software implementation, real time implementation, computation cost reduction, 1.2 micron
20	Sudeep Sarkar, Kim L. Boyer	On Optimal Infinite Impulse Response Edge Detection Filters.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	filter width, optimal infinite impulse response edge detection filters, Canny's high signal to noise ratio, localization criteria, spurious response, nonlinear constrained optimization, approximating recursive digital filtering, optimisation, computerised pattern recognition, variational method, digital filters, linear filters, variational techniques
20	Rachid Deriche	Fast Algorithms for Low-Level Vision.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	recursive filtering structure, multiresolution techniques, computer vision, computer vision, edge detection, smoothing, filtering and prediction theory, zero-crossings, low-level vision, Laplacian, computational effort
19	Carlos Ordonez 0001	Optimization of Linear Recursive Queries in SQL.	IEEE Trans. Knowl. Data Eng.	2010	DBLP DOI BibTeX RDF	SQL, query optimization, transitive closure, Recursive query
19	Shin-Chi Lai, Sheau-Fang Lei, Ching-Hsing Luo	Low-Cost and Shared Architecture Design of Recursive DFT/IDFT/IMDCT Algorithms for Digital Radio Mondiale System.	IIH-MSP	2010	DBLP DOI BibTeX RDF	Digital audio broadcasting, recursive architecture, Inverse Modified Cosine Transform, Discrete Fourier transform
19	Xiang-Yan Zeng, Yen-Wei Chen 0001, Caixia Tao, Deborah van Alphen	Feature Selection Using Recursive Feature Elimination for Handwritten Digit Recognition.	IIH-MSP	2009	DBLP DOI BibTeX RDF	recursive feature elimination, Feature selection, least squares support vector machine, multi-class classification, handwritten digit recognition
19	Wu Wang, Yuan-min Zhang	Application of Recursive Predict Error Neural Networks in Mechanical Propertise Forecasting.	JCAI	2009	DBLP DOI BibTeX RDF	Recursive predict error(RPE) algorithm, mechanical propertise, simulation, Neural networks
19	Rong-Jian Chen, Jui-Lin Lai	Novel Stream Cipher Using 2-D Hybrid CA and Variable Ordered Recursive CA Substitutions.	NPC Workshops	2008	DBLP DOI BibTeX RDF	2-D hybrid CA, Variable ordered recursive CA substitutions, Image security system, Stream cipher, Data security
19	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
19	Kiruthika Ramanathan, Sheng Uei Guan	Clustering and combinatorial optimization in recursive supervised learning.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Topology based selection, Neural networks, Evolutionary algorithms, Task decomposition, Recursive learning
19	Marco F. Huber, Uwe D. Hanebeck	Hybrid transition density approximation for efficient recursive prediction of nonlinear dynamic systems.	IPSN	2007	DBLP DOI BibTeX RDF	hybrid density, nonlinear prediction, probability density approximation, recursive bayesian estimation
19	Sergei A. Abramov	On the summation of P-recursive sequences.	ISSAC	2006	DBLP DOI BibTeX RDF	P-recursive sequence, Gosper's algorithm, accurate summation algorithm, discrete Newton-Leibniz formula, hypergeometric term
19	Honghui Hu, Naijie Gu, Jing Cao	A Note on Recursive Cube of Rings Network.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	Recursive Cube of Rings (RCR), disconnected graph, network diameter, bisection width
19	Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig	Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion
19	Juan Manuel Serrano, Sascha Ossowski	A semantic framework for the recursive specification of interaction protocols.	SAC	2005	DBLP DOI BibTeX RDF	recursive definitions, standards for agents and MAS, interaction protocols, agent-based software engineering, agent communication languages and protocols, organisational models
19	Ralph-Johan Back, Viorel Preoteasa	Reasoning about recursive procedures with parameters.	MERLIN	2003	DBLP DOI BibTeX RDF	predicate transformer semantics, Hoare logic, refinement calculus, recursive procedures
19	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
19	Ahmad H. Nasri, Tae-wan Kim 0001, Kunwoo Lee	Fairing Recursive Subdivision Surfaces with Curve Interpolation Constraints.	Shape Modeling International	2001	DBLP DOI BibTeX RDF	Curvature control, Tangent plane control, Interpolation, Fairing, B-spline, Recursive Subdivision
19	Hui Tian, Thambipillai Srikanthan, Vijayan K. Asari	A Recursive Otsu-Iris Filter Technique for High-Speed Detection of Lumen Region from Endoscopic Images.	AIPR	2001	DBLP DOI BibTeX RDF	Recursive Otsu-Iris filter, APT-Iris filter, Parallel processing, ROI
19	Jean-Louis Giavitto	A framework for the recursive definition of data structures.	PPDP	2000	DBLP DOI BibTeX RDF	recursive definition of data-structures, static analysis of declarative language, vector equations, evaluation strategy
19	Walter Gautschi	A note on the recursive calculation of incomplete gamma functions.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	incomplete gamma functions, recursive calculation