Search results for "WK-recursive"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Dominik Wojtczak, Kousha Etessami	PReMo : An Analyzer for P robabilistic Re cursive Mo dels.	TACAS	2007	DBLP DOI BibTeX RDF
13	Kyung-Sook Lee, Sook-Jeong Ha, Ihn-Han Bae	Practical Patching for Efficient Bandwidth Sharing in VOD Systems.	SERA	2007	DBLP DOI BibTeX RDF
13	James T. Lo, Justin Nave	Adaptive Neural Filters with Fixed Weights.	IJCNN	2007	DBLP DOI BibTeX RDF
13	Sven Schewe	Solving Parity Games in Big Steps.	FSTTCS	2007	DBLP DOI BibTeX RDF
13	Ming Jian Zuo, Zhigang Tian	Performance evaluation of generalized multi-state k-out-of-n systems.	IEEE Trans. Reliab.	2006	DBLP DOI BibTeX RDF
13	Tuvi Etzion	On the Stopping Redundancy of Reed-Muller Codes.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
13	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
13	Rasmus Ejlers Møgelberg	Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.	ICALP (2)	2006	DBLP DOI BibTeX RDF
13	Bjørn Kjos-Hanssen, Wolfgang Merkle, Frank Stephan 0001	Kolmogorov Complexity and the Recursion Theorem.	STACS	2006	DBLP DOI BibTeX RDF
13	Keng Meng Ng, Frank Stephan 0001, Guohua Wu	Degrees of Weakly Computable Reals.	CiE	2006	DBLP DOI BibTeX RDF
13	Andreas Abel 0001	Semi-continuous Sized Types and Termination.	CSL	2006	DBLP DOI BibTeX RDF
13	Xuesong Tan, Shuo-Yen Robert Li	Mixed Preservation of Conditionally Nonblocking Switches under 2-stage Interconnection.	PDCAT	2006	DBLP DOI BibTeX RDF
13	Russell O'Connor	Essential Incompleteness of Arithmetic Verified by Coq.	TPHOLs	2005	DBLP DOI BibTeX RDF
13	Bernhard Reus, Thomas Streicher	About Hoare Logics for Higher-Order Store.	ICALP	2005	DBLP DOI BibTeX RDF
13	Jaroslav Zajac	Expectations, Asymmetries, and Contributions.	WINE	2005	DBLP DOI BibTeX RDF
13	Chin Soon Chong, Malcolm Y. H. Low, Appa Iyer Sivakumar, Kheng Leng Gay	Using simulation based approach to improve on the mean cycle time performance of dispatching rules.	WSC	2005	DBLP DOI BibTeX RDF
13	Fred G. Gustavson, Jerzy Wasniewski	High Performance Linear Algebra Algorithms: An Introduction.	PARA	2004	DBLP DOI BibTeX RDF
13	Tae-Young Choe, Chan-Ik Park	A k-way Graph Partitioning Algorithm Based on Clustering by Eigenvector.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
13	Panagiotis Manolios, J Strother Moore	Partial Functions in ACL2.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	ACL2, partial functions
13	Martin Bouchard 0001	Multichannel affine and fast affine projection algorithms for active noise control and acoustic equalization systems.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
13	Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca	Mixin Modules and Computational Effects.	ICALP	2003	DBLP DOI BibTeX RDF
13	Sandra Zilles	Intrinsic Complexity of Uniform Learning.	ALT	2003	DBLP DOI BibTeX RDF
13	Elizabeth Tapia, José Carlos González, L. Javier García-Villalba	Good Error Correcting Output Codes for Adaptive Multiclass Learning.	Multiple Classifier Systems	2003	DBLP DOI BibTeX RDF
13	Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion	Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time.	FoSSaCS	2003	DBLP DOI BibTeX RDF
13	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
13	Robert Rettinger, Klaus Weihrauch	The computational complexity of some julia sets.	STOC	2003	DBLP DOI BibTeX RDF	julia sets, computational complexity
13	James C. Owings, William I. Gasarch, Georgia Martin	Max and min limiters.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
13	Alberto Pettorossi, Maurizio Proietti	The List Introduction Strategy for the Derivation of Logic Programs.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
13	Andrei P. Nemytykh	A note on elimination of simplest recursions.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	refal, functional programming languages, automatic program transformation
13	Dexter Kozen	Some Results in Dynamic Model Theory.	MPC	2002	DBLP DOI BibTeX RDF
13	Dana Shapira, James A. Storer	Edit Distance with Move Operations.	CPM	2002	DBLP DOI BibTeX RDF
13	Tom Hirschowitz, Xavier Leroy	Mixin Modules in a Call-by-Value Setting.	ESOP	2002	DBLP DOI BibTeX RDF
13	Bruria Haberman, Haim Averbuch	The case of base cases: why are they so difficult to recognize? student difficulties with recursion.	ITiCSE	2002	DBLP DOI BibTeX RDF	base case, recursion evaluation, recursion formulation
13	Ana Bove	General Recursion in Type Theory.	TYPES	2002	DBLP DOI BibTeX RDF
13	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
13	Stephan Kreutzer	Operational Semantics for Fixed-Point Logics on Constraint Databases.	LPAR	2001	DBLP DOI BibTeX RDF
13	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
13	Fred G. Gustavson	New Generalized Data Structures for Matrices Lead to a Variety of High Performance Algorithms.	PPAM	2001	DBLP DOI BibTeX RDF
13	John Case, Sanjay Jain 0001, Frank Stephan 0001, Rolf Wiehagen	Robust Learning - Rich and Poor.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
13	Victor Y. Pan	Univariate polynomials: nearly optimal algorithms for factorization and rootfinding.	ISSAC	2001	DBLP DOI BibTeX RDF	Graeffe's lifting, Padé approximation, geometry of polynomial zeros, numerical polynomial factorization, rootfinding, univariate polynomials, computational complexity
13	Kaihuai Qin	General matrix representations for B-splines.	Vis. Comput.	2000	DBLP DOI BibTeX RDF	B-splines, Toeplitz matrix, Matrix representations
13	Erik Elmroth, Fred G. Gustavson	High-Performance Library Software for QR Factorization.	PARA	2000	DBLP DOI BibTeX RDF	Serial and parallel library software, register blocking, unrolling, SMP systems, recursion, dynamic load balancing, QR factorization
13	Jacob Elgaard, Anders Møller, Michael I. Schwartzbach	Compile-Time Debugging of C Programs Working on Trees.	ESOP	2000	DBLP DOI BibTeX RDF
13	Masahiro Kimoto, Masako Takahashi	On Computable Tree Functions.	ASIAN	2000	DBLP DOI BibTeX RDF
13	Yuan-Shin Hwang, Joel H. Saltz	Identifying Parallelism in Programs with Cyclic Graphs.	ICPP	2000	DBLP DOI BibTeX RDF
13	H. Imhof	Logics that define their own semantics.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF
13	Aijun An, Nick Cercone	Discretization of Continuous Attributes for Learning Classification Rules.	PAKDD	1999	DBLP DOI BibTeX RDF
13	Matthias Ott, Frank Stephan 0001	Avoiding Coding Tricks by Hyperrobust Learning.	EuroCOLT	1999	DBLP DOI BibTeX RDF
13	Paolo Frasconi, Marco Gori, Alessandro Sperduti	A general framework for adaptive processing of data structures.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
13	Eric McCreath, Arun Sharma 0001	LIME: A System for Learning Relations.	ALT	1998	DBLP DOI BibTeX RDF
13	Hélène Touzet	Encoding the Hydra Battle as a Rewrite System.	MFCS	1998	DBLP DOI BibTeX RDF
13	Jürgen Brauburger, Jürgen Giesl	Termination Analysis by Inductive Evaluation.	CADE	1998	DBLP DOI BibTeX RDF
13	Chao-Wei Ou, Sanjay Ranka	Parallel Incremental Graph Partitioning.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	parallel, Linear-programming, refinement, mapping, remapping
13	Martin Mundhenk	NP-Hard Sets Have Many Hard Instances.	MFCS	1997	DBLP DOI BibTeX RDF
13	Jeremy D. Frens, David S. Wise	Auto-blocking Matrix-Multiplication or Tracking BLAS3 Performance with Source Code.	PPoPP	1997	DBLP DOI BibTeX RDF	indexing, storage management, paging, quadtrees, cache misses, swapping
13	A. J. Kfoury	Recursion Versus Iteration at Higher-Orders.	FSTTCS	1997	DBLP DOI BibTeX RDF
13	David A. McAllester, Kostas Arkoudas	Walther Recursion.	CADE	1996	DBLP DOI BibTeX RDF
13	Peter Schäuble, Beat Wüthrich	On the Expressive Power of Query Languages.	ACM Trans. Inf. Syst.	1994	DBLP DOI BibTeX RDF	expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog
13	Kenny K. H. Toh, Andrew R. Neureuther, Edward W. Scheckler	Algorithms for simulation of three-dimensional etching.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
13	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
13	Kirack Sohn	Constraints among Argument Sizes in Logic Programs.	PODS	1994	DBLP DOI BibTeX RDF
13	Luca Aceto	Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours.	CONCUR	1994	DBLP DOI BibTeX RDF
13	Chao-Wei Ou, Sanjay Ranka	Parallel incremental graph partitioning using linear programming.	SC	1994	DBLP DOI BibTeX RDF
13	Jim Grundy	A Three-Valued Logic for Refinement.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
13	Igor Aleksander, Helen Morton	A Neural State Machine for Iconic Language Representation.	IWANN	1993	DBLP DOI BibTeX RDF
13	Catriel Beeri, Tova Milo	On the Power of Algebras with Recursion.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
13	Wilfried Sieg, Stanley S. Wainer	Program Transformation and Proof Transformation.	CSL	1993	DBLP DOI BibTeX RDF
13	Michael W. Mislove, Frank J. Oles	Full Abstraction and Unnested Recursion.	REX Workshop	1992	DBLP DOI BibTeX RDF	algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
13	Tomás Feder, Yatin P. Saraiya	Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations.	ICDT	1992	DBLP DOI BibTeX RDF
13	Eric M. Schwarz, Michael J. Flynn	Cost-efficient high-radix division.	J. VLSI Signal Process.	1991	DBLP DOI BibTeX RDF
13	Bhavani Thuraisingham	Computing Transitive Closures of Multilevel Relations.	SIGMOD Rec.	1990	DBLP DOI BibTeX RDF
13	Susan N. Twohig, Samuel O. Aletan	The Traveling-Salesman Problem (Abstract).	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
13	John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker	Provable Computable Functions on Abstract Data Types.	ICALP	1990	DBLP DOI BibTeX RDF
13	Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001	Magic Conditions.	PODS	1990	DBLP DOI BibTeX RDF	Datalog
13	Michel Parigot	On the Representation of Data in Lambda-Calculus.	CSL	1989	DBLP DOI BibTeX RDF
13	Raghu Ramakrishnan 0001, Catriel Beeri, Ravi Krishnamurthy	Optimizing Existential Datalog Queries.	PODS	1988	DBLP DOI BibTeX RDF
13	Isabel F. Cruz, Alberto O. Mendelzon, Peter T. Wood	A Graphical Query Language Supporting Recursion.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
13	H. V. Jagadish, Rakesh Agrawal 0001, Linda Ness	A Study of Transitive Closure As a Recursion Mechanism.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
13	Rodney Farrow	Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
13	Uwe Kastens, Michael Schmidt	Lifetime Analysis for Procedure Parameters.	ESOP	1986	DBLP DOI BibTeX RDF
13	Corrado Böhm	Reducing Recursion to Iteration by Algebraic Extension.	ESOP	1986	DBLP DOI BibTeX RDF	subrecursive function theory, Functional programming, initial algebras, algebraic data types, term algebras
13	Ahlem Ben Cherifa, Pierre Lescanne	An Actual Implementation of a Procedure That Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations.	CADE	1986	DBLP DOI BibTeX RDF
13	David Harel	Recursion in Logics of Programs.	POPL	1979	DBLP DOI BibTeX RDF
13	Jan A. Bergstra	Decision Problems Concerning Parallel Programming.	MFCS	1978	DBLP DOI BibTeX RDF
13	Willem P. de Roever	Recursion and Parameter Mechanisms: An Axiomatic Approach.	ICALP	1974	DBLP DOI BibTeX RDF
13	Marjorie P. Lietzke	A method of syntax-checking ALGOL 60.	Commun. ACM	1964	DBLP DOI BibTeX RDF	ALGOL
13	Ranan B. Banerji	The description list of concepts.	Commun. ACM	1962	DBLP DOI BibTeX RDF
12		Recursive Query Evaluation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
12		Incremental Maintenance of Recursive Views.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
12		Recursive View Maintenance.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
12	David Bañeres, Jordi Cortadella, Michael Kishinevsky	A Recursive Paradigm to Solve Boolean Relations.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
12	Leonardo Rey Vega, Hernan Rey, Jacob Benesty, Sara Tressens	A Fast Robust Recursive Least-Squares Algorithm.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
12	Ramadhana Bramandia, Jiefeng Cheng, Byron Choi, Jeffrey Xu Yu	Optimizing updates of recursive XML views of relations.	VLDB J.	2009	DBLP DOI BibTeX RDF	XML view updates, View updates, XML publishing
12	Borys J. Bradel, Tarek S. Abdelrahman	The use of hardware transactional memory for the trace-based parallelization of recursive Java programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, parallelism, transactional memory, traces
12	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
12	Leman Akoglu, Christos Faloutsos	RTG: A Recursive Realistic Graph Generator Using Random Typing.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
12	Miquel Ferrer, Dimosthenis Karatzas, Ernest Valveny, Horst Bunke	A Recursive Embedding Approach to Median Graph Computation.	GbRPR	2009	DBLP DOI BibTeX RDF
12	Robert M. Languedoc, James C. McKim Jr., Joseph G. Trausch	Using a recursive traversal algorithm with an active composite pattern in swing applications.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	visitor, composite, recursion, desktop
12	Krzysztof Ostrowski, Ken Birman, Danny Dolev, Chuck Sakoda	Implementing reliable event streams in large systems via distributed data flows and recursive delegation.	DEBS	2009	DBLP DOI BibTeX RDF	scalability, protocol, aggregation, data flow, membership
12	Ian Walsh, Alessandro Vullo, Gianluca Pollastri	Recursive Neural Networks for Undirected Graphs for Learning Molecular Endpoints.	PRIB	2009	DBLP DOI BibTeX RDF