Search results for "WK-recursive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ribhan Zafira Abdul Rahman, Rubiyah Yusof, Marzuki Khalid	Recursive Least Square and Fuzzy Modelling Using Genetic Algorithm for Process Control Application.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
16	Yusuf Altunel, Mehmet R. Tolun	Component-Based Project Estimation Issues for Recursive Development.	SCSS (1)	2007	DBLP DOI BibTeX RDF
16	Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo	On Finitely Recursive Programs.	ICLP	2007	DBLP DOI BibTeX RDF
16	Rasul Mohammadi, Shahin Hashtrudi-Zad	A recursive algorithm for diagnosis in hierarchical finite-state machines.	SMC	2007	DBLP DOI BibTeX RDF
16	Haihua Chen, Shing-Chow Chan, Ka-Leung Ho	New Recursive Adaptive Beamforming Algorithms for Uniform Concentric Spherical Arrays with Frequency Invariant Characteristics.	ISCAS	2007	DBLP DOI BibTeX RDF
16	Alejandro Chinea Manrique De Lara, Michel Parent	Risk Assessment Algorithms Based on Recursive Neural Networks.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Derrick Takeshi Mirikitani, Nikolay I. Nikolaev	Recursive Bayesian Levenberg-Marquardt Training of Recurrent Neural Networks.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Derek Beaton, Iren Valova	RADDACL: A Recursive Algorithm for Clustering and Density Discovery on Non-linearly Separable Data.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Anna Bernasconi 0001, Chiara Bodei, Linda Pagli	Knitting for Fun: A Recursive Sweater.	FUN	2007	DBLP DOI BibTeX RDF	Modeling Knitting, Pattern Knitting Diagrams, Checkerboard and Sierpinski and Butterfly patterns, Knitting Complexity
16	Himanshu Patel, Sanjay Trivedi, R. Neelkanthan, V. R. Gujraty	A Robust UART Architecture Based on Recursive Running Sum Filter for Better Noise Performance.	VLSI Design	2007	DBLP DOI BibTeX RDF
16	Shengli Zhou, Baosheng Li, Peter Willett 0001	Recursive and Trellis-Based Feedback Reduction for MIMO-OFDM with Rate-Limited Feedback.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
16	Kazuo Tanaka, Hiroshi Ohtake, Hua O. Wang	Recursive Pointwise Design for Nonlinear Systems.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
16	Cheng Xiang 0001, D. Huang	Feature Extraction Using Recursive Cluster-Based Linear Discriminant With Application to Face Recognition.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
16	Sandip Ray	Quantification in tail-recursive function definitions.	ACL2	2006	DBLP DOI BibTeX RDF	formal methods, logic, ACL2, conservativity, skolemization
16	Lawrence S. Moss	Recursive Program Schemes: Past, Present, and Future.	AMAST	2006	DBLP DOI BibTeX RDF
16	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
16	Kousha Etessami, Mihalis Yannakakis	Recursive Concurrent Stochastic Games.	ICALP (2)	2006	DBLP DOI BibTeX RDF
16	Keisuke Nakano 0001, Shin-Cheng Mu	A Pushdown Machine for Recursive XML Processing.	APLAS	2006	DBLP DOI BibTeX RDF
16	Valery Sklyarov, Iouliia Skliarova	Recursive and Iterative Algorithms for N-ary Search Problems.	IFIP PPAI	2006	DBLP DOI BibTeX RDF
16	Monica Bianchini, Marco Maggini, Lorenzo Sarti	Object Localization Using Input/Output Recursive Neural Networks.	ICPR (3)	2006	DBLP DOI BibTeX RDF
16	Alireza Tavakkoli, Mircea Nicolescu, George Bebis	Robust Recursive Learning for Foreground Region Detection in Videos with Quasi-Stationary Backgrounds.	ICPR (1)	2006	DBLP DOI BibTeX RDF
16	Vesa Hasu, Heikki N. Koivo, Jani Poutiainen	Weather Sensor Fault Detection with Time-Dependent Recursive Thresholds.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
16	Adam Koprowski, Hans Zantema	Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.	IJCAR	2006	DBLP DOI BibTeX RDF
16	Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu	Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.	FLOPS	2006	DBLP DOI BibTeX RDF
16	S. C. Chan 0001, W. Y. Lau, Cheung H. Leung	A new recursive algorithm for estimating the adaptive function coefficients autoregressive (AFAR) models in impulsive noise environment.	ISCAS	2006	DBLP DOI BibTeX RDF
16	W. Y. Lau, S. C. Chan 0001, Z. G. Zhang 0001, Cheung H. Leung	A new QR-decomposition based recursive frequency estimator for multiple sinusoids in impulsive noise environment.	ISCAS	2006	DBLP DOI BibTeX RDF
16	Christopher Geyer, Todd Templeton, Marci Meingast, S. Shankar Sastry	The Recursive Multi-Frame Planar Parallax Algorithm.	3DPVT	2006	DBLP DOI BibTeX RDF
16	Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf	Modeling Workflows with Recursive ECATNets.	SYNASC	2006	DBLP DOI BibTeX RDF
16	Xianmin Wang, Zhiwei Mao	A Recursive Quadratic Programming Approach to Multiuser Detection for MC-CDMA System with M-QAM.	CCECE	2006	DBLP DOI BibTeX RDF
16	Jung-Sheng Fu	Hamiltonian Connectedness of the Faulty WK-Recursive Network.	PDCAT	2006	DBLP DOI BibTeX RDF
16	Emanuele Trucco, Tiziano Tommasini, Vito Roberto	Near-recursive optical flow from weighted image differences.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
16	Ying Kin Yu, Kin-hong Wong, Michael Ming Yuen Chang	Recursive three-dimensional model reconstruction based on Kalman filtering.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
16	Andrew Calway	Recursive Estimation of 3D Motion and Surface Structure from Local Affine Flow Parameters.	IEEE Trans. Pattern Anal. Mach. Intell.	2005	DBLP DOI BibTeX RDF
16	Lih-Yuan Deng	Efficient and portable multiple recursive generators of large order.	ACM Trans. Model. Comput. Simul.	2005	DBLP DOI BibTeX RDF	DX-k generator, GMP, MRG, primitive polynomial, irreducible polynomial, linear congruential generator
16	Darshan D. Thaker, François Impens, Isaac L. Chuang, Rajeevan Amirtharajah, Frederic T. Chong	Recursive TMR: Scaling Fault Tolerance in the Nanoscale Era.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	Fault tolerance, Emerging technologies, Error-checking, Redundant design
16	Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio	Recursive Path Orderings Can Also Be Incremental.	LPAR	2005	DBLP DOI BibTeX RDF
16	Paul-André Melliès, Jerome Vouillon	Recursive Polymorphic Types and Parametricity in an Operational Framework.	LICS	2005	DBLP DOI BibTeX RDF
16	Carlos Ordonez 0001	Optimizing recursive queries in SQL.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
16	Nakjin Choi, Jun-Seok Lim, Koeng-Mo Sung	An Efficient Recursive Total Least Squares Algorithm for Training Multilayer Feedforward Neural Networks.	ISNN (1)	2005	DBLP DOI BibTeX RDF
16	Tomoyuki Yamakami	Collapsing Recursive Oracles for Relativized Polynomial Hierarchies.	FCT	2005	DBLP DOI BibTeX RDF
16	Eitan Altman	On stochastic recursive equations and infinite server queues.	INFOCOM	2005	DBLP DOI BibTeX RDF
16	Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan	On-the-Fly Reachability and Cycle Detection for Recursive State Machines.	TACAS	2005	DBLP DOI BibTeX RDF
16	Ming Luo, Qinye Yin 0001, Yiwen Zhang, Jianguo Zhang	Recursive semi-blind decoding of a space-time block code over frequency-selective channel.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
16	Davide Martinenghi, Henning Christiansen 0001	Efficient Integrity Checking for Databases with Recursive Views.	ADBIS	2005	DBLP DOI BibTeX RDF
16	John G. Mersch	Equational Logic of Recursive Program Schemes.	CALCO	2005	DBLP DOI BibTeX RDF
16	Carsten Schürmann, Jatin Shah	Identifying Polynomial-Time Recursive Functions.	CSL	2005	DBLP DOI BibTeX RDF
16	Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis	Learning Ontology Alignments Using Recursive Neural Networks.	ICANN (2)	2005	DBLP DOI BibTeX RDF
16	Mohammad Reza Hoseiny Farahabady, Hamid Sarbazi-Azad	The WK-Recursive Pyramid: An Efficient Network Topology.	ISPAN	2005	DBLP DOI BibTeX RDF	WKrecursive, Interconnection networks, Hamiltonian cycle, hierarchical networks, Pyramids
16	John F. Lemmer, D. E. Gossink	Recursive noisy OR - a rule for estimating complex probabilistic interactions.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
16	Fred Daneshgaran, Massimiliano Laddomada, Marina Mondin	High-rate recursive convolutional codes for concatenated channel codes.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
16	A. J. KleinOsowski, Kevin KleinOsowski, Vijay Rangarajan, Priyadarshini Ranganath, David J. Lilja	The Recursive NanoBox Processor Grid: A Reliable System Architecture for Unreliable Nanotechnology Devices.	DSN	2004	DBLP DOI BibTeX RDF	architecture, VLSI, fault-injection, nanotechnology, fault-masking
16	Selwyn Russell	Recursive Certificate Structures for X.509 Systems.	EuroPKI	2004	DBLP DOI BibTeX RDF
16	Chien-Hung Huang, Jywe-Fei Fang, Chin-Yang Yang	Edge-Disjoint Hamiltonian Cycles of WK-Recursive Networks.	PARA	2004	DBLP DOI BibTeX RDF
16	Jeong-Seon Park, Seong-Whan Lee	Reconstruction of High-Resolution Facial Image Using Recursive Error Back-Projection.	ICBA	2004	DBLP DOI BibTeX RDF
16	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition.	SCOPES	2004	DBLP DOI BibTeX RDF
16	Ting Zhang 0001, Henny B. Sipma, Zohar Manna	Decision Procedures for Recursive Data Structures with Integer Constraints.	IJCAR	2004	DBLP DOI BibTeX RDF
16	Ho-sik Cho, Eun Kyoung Paik, Yanghee Choi	RBU+: Recursive Binding Update for End-to-End Route Optimization in Nested Mobile Networks.	HSNMC	2004	DBLP DOI BibTeX RDF	pinball routing, NEMO, network mobility, route optimization
16	Han Yu 0003, Dan C. Marinescu, Annie S. Wu, Howard Jay Siegel	Planning with Recursive Subgoals.	KES	2004	DBLP DOI BibTeX RDF
16	Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdorfer, Christian Kreiner, Zsolt Kovács, Reinhold Weiss	Model-Driven Development of Recursive CORBA Component Assemblies.	EUROMICRO	2004	DBLP DOI BibTeX RDF
16	Daniël Schinkel, Ed van Tuijl, Anne-Johan Annema	Reducing quantization noise with recursive Sigma Delta modulators.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
16	Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer	Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.	JELIA	2004	DBLP DOI BibTeX RDF
16	Jung-Sheng Fu	Fault-Tolerant Cycle Embedding in the WK-Recursive Network.	ISPA	2004	DBLP DOI BibTeX RDF
16	Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín	Provably Total Primitive Recursive Functions: Theories with Induction.	CSL	2004	DBLP DOI BibTeX RDF
16	Vladimir Nikolajevic, Gerhard P. Fettweis	New Recursive Algorithms for the Unified Forward and Inverse MDCT/MDST.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	MDCT/MDST, IMDCT/IMDST
16	Li Deng 0001, Jasha Droppo, Alex Acero	Recursive estimation of nonstationary noise using iterative stochastic approximation for robust speech recognition.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
16	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Infinite Games on Recursive Graphs.	CAV	2003	DBLP DOI BibTeX RDF
16	Viktor Kuncak, Martin C. Rinard	Structural Subtyping of Non-Recursive Types is Decidable.	LICS	2003	DBLP DOI BibTeX RDF
16	Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato	Hierarchical and Recursive State Machines with Context-Dependent Properties.	ICALP	2003	DBLP DOI BibTeX RDF	Model Checking, Temporal Logic, Automata
16	J. P. Grossman	Recursive Node Similarity in Networked Information Spaces.	IICS	2003	DBLP DOI BibTeX RDF
16	Masamichi Takagi, Kei Hiraki	Compression in Data Caches with Compressible Field Isolation for Recursive Data Structures.	Euro-Par	2003	DBLP DOI BibTeX RDF
16	John B. Gilmer Jr., Frederick J. Sullivan	Support to decision makers: the use of recursive simulation to support decisionmaking.	WSC	2003	DBLP DOI BibTeX RDF
16	Mohammad El-Hajj, Osmar R. Zaïane	Non-recursive Generation of Frequent K-itemsets from Frequent Pattern Tree Representations.	DaWaK	2003	DBLP DOI BibTeX RDF
16	Luca Lombardi, Alfredo Petrosino	Shape recognition by distributed recursive learning of multiscale trees.	ICIAP	2003	DBLP DOI BibTeX RDF
16	Nadia Nedjah, Luiza de Macedo Mourelle	Fast Less Recursive Hardware for Large Number Multiplication Using Karatsuba-Ofman's Algorithm.	ISCIS	2003	DBLP DOI BibTeX RDF
16	Luca Lombardi, Alfredo Petrosino	Object Recognition by Recursive Learning of Multiscale Trees.	WILF	2003	DBLP DOI BibTeX RDF
16	Ameya R. Agnihotri, Mehmet Can Yildiz, Ateen Khatkhate, Ajita Mathur, Satoshi Ono, Patrick H. Madden	Fractional Cut: Improved Recursive Bisection Placement.	ICCAD	2003	DBLP DOI BibTeX RDF
16	Stephen Chong, Radu Rugina	Static Analysis of Accessed Regions in Recursive Data Structures.	SAS	2003	DBLP DOI BibTeX RDF
16	Orion Sky Lawlor, John C. Hart	Bounding Recursive Procedural Models Using Convex Optimization.	PG	2003	DBLP DOI BibTeX RDF
16	Masamichi Takagi, Kei Hiraki	Field Array Compression in Data Caches for Dynamically Allocated Recursive Data Structure.	ISHPC	2003	DBLP DOI BibTeX RDF
16	Rajeev Alur, Salvatore La Torre, P. Madhusudan	Modular Strategies for Recursive Game Graphs.	TACAS	2003	DBLP DOI BibTeX RDF
16	Mrinmoy Bhattacharya, Tapio Saramäki	Allpass structures for multiplierless realization of recursive digital filters.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
16	Mrinmoy Bhattacharya, Tapio Saramäki	Multiplierless implementation of bandpass and bandstop recursive digital filters using allpass structures.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
16	Adriana Giret, Vicente J. Botti	Towards a Recursive Agent Oriented Methodology for Large-Scale MAS.	AOSE	2003	DBLP DOI BibTeX RDF
16	Monica Bianchini, Marco Gori, Paolo Mazzoni, Lorenzo Sarti, Franco Scarselli	Face Localization with Recursive Neural Networks.	WIRN	2003	DBLP DOI BibTeX RDF
16	Jin-Liang Chen, Jing-Sin Liu, Wan-Chi Lee	A Recursive Algorithm for On-line Clustering Obstacles Cluttered in Dynamic Environments.	J. Intell. Robotic Syst.	2002	DBLP DOI BibTeX RDF	clustering, collision detection, dynamic environment, on-line, convex polygons
16	Ahmad H. Nasri, Malcolm A. Sabin	Taxonomy of interpolation constraints on recursive subdivision surfaces.	Vis. Comput.	2002	DBLP DOI BibTeX RDF
16	Yanhong A. Liu, Scott D. Stoller	Program optimization using indexed and recursive data structures.	PEPM	2002	DBLP DOI BibTeX RDF
16	Rolf Drechsler, Wolfgang Günther 0001, Thomas Eschbach, Lothar Linhard, Gerhard Angst	Recursive Bi-Partitioning of Netlists for Large Number of Partitions.	DSD	2002	DBLP DOI BibTeX RDF
16	Ya Lei Sun, Meng Joo Er	Design of a recursive fuzzy controller with nonlinear fuzzy rule base.	ICARCV	2002	DBLP DOI BibTeX RDF
16	Apiwat Saengdeejing, Nopphamas Charoenlap, Zhihua Qu	2D shape recognition using recursive determination of landmark and fuzzy ART network learning.	ICARCV	2002	DBLP DOI BibTeX RDF
16	Rita Cucchiara, Costantino Grana, Andrea Prati 0001, Stefania Seidenari, Giovanni Pellacani	Building the Topological Tree by Recursive FCM Color Clustering.	ICPR (1)	2002	DBLP DOI BibTeX RDF
16	Barry Boots, Robert Feick, Narushige Shiode, Steven Roberts	Investigating Recursive Point Voronoi Diagrams.	GIScience	2002	DBLP DOI BibTeX RDF
16	Samik Basu 0001, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan 0001	Resource-Constrained Model Checking of Recursive Programs.	TACAS	2002	DBLP DOI BibTeX RDF
16	Zhi Shi, C.-C. Jay Kuo	Recursive patching for video-on-demand (VOD) systems with limited client buffer constraint.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
16	Amine M'sir, Fabrice Monteiro, Abbas Dandache, Bernard Lepley	A High Speed Encoder for Recursive Systematic Convolutive Codes.	IOLTW	2002	DBLP DOI BibTeX RDF
16	Cheol Kim, Jung Choi, Hyeong-Seok Lim	Embedding Full Ternary Trees into Recursive Circulants.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
16	Tony Lindeberg	Time-Recursive Velocity-Adapted Spatio-Temporal Scale-Space Filters.	ECCV (1)	2002	DBLP DOI BibTeX RDF
16	Irina A. Lomazova	Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
16	J. Living, M. Moniri, S. B. Tennakoon	Efficient Recursive Digital Filters using Combined Look-Ahead Denominator Distribution and Numerator Decomposition.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	IIR digital filters, iteration bound, look ahead pipelining, resource minimisation
16	Sanjay Jain 0001, Efim B. Kinber, Rolf Wiehagen, Thomas Zeugmann	Learning Recursive Functions Refutably.	ALT	2001	DBLP DOI BibTeX RDF