|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5246 occurrences of 2867 keywords
|
|
|
Results
Found 14868 publication records. Showing 14868 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Sten Agerholm |
Non-primitive Recursive Function Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 17-31, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Hrant B. Marandjian |
General Form Recursive Equations I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 501-511, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Rosana S. G. Lanzelotte, Patrick Valduriez, Mohamed Zaït |
Optimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992., pp. 256-265, 1992, ACM Press, 978-0-89791-521-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Jia Liang Han |
Recursive Query Processing in Predicate-Goal Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 247-261, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | R. Nigel Horspool |
Recursive Ascent-Descent Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Compilers, Third International Workshop on Compiler Construction, CC'90, Schwerin, Germany, October 22-26, 1990, Proceedings, pp. 1-10, 1990, Springer, 3-540-53669-8. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Dietmar Seipel |
Decomposition of Linear Recursive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG '90, Berlin, Germany, June 20-22, 1990, Proceedings, pp. 291-310, 1990, Springer, 3-540-53832-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Akitoshi Kawamura |
Differential recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(3), pp. 22:1-22:22, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
differentially algebraic functions, real recursive functions, transcendentally transcendental functions, initial value problems, Analog computation |
24 | Edmondo Trentin, Leonardo Rigutini |
A Maximum-Likelihood Connectionist Model for Unsupervised Learning over Graphical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 40-49, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
unsupervised relational learning, recursive network, Density estimation |
24 | Ralph Becket, Zoltan Somogyi |
DCGs + Memoing = Packrat Parsing but Is It Worth It? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 182-196, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury |
24 | Derek Dreyer, Andreas Rossberg |
Mixin' up the ML module system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 307-320, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules |
24 | Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi |
Write it recursively: a generic framework for optimal path queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008, pp. 169-178, 2008, ACM, 978-1-59593-919-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
finite state automaton, optimal path query, program transformation, recursive function |
24 | Plamen P. Angelov, Costas S. Xydeas |
Fuzzy systems design: direct and indirect approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 10(9), pp. 836-849, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fuzzy models design, Takagi-Sugeno and Mamdani fuzzy models, On-line clustering, Recursive least squares estimation, Genetic algorithms |
24 | Frédéric Gervais, Marc Frappier, Régine Laleau |
Synthesizing B Specifications from EB3 Attribute Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings, pp. 207-226, 2005, Springer, 3-540-30492-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions |
24 | Boris Igelnik, Yaakov Kogan, Vladimir Kriman, Debasis Mitra 0001 |
A new computational approach for stochastic fluid models of multiplexers with heterogeneous sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 20(1-2), pp. 85-116, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
buffer overflow probability, two-dimensional interpolating polynomials, Fluid models, ATM multiplexing, recursive computation |
23 | Harmen L. A. van der Spek, C. W. Mattias Holm, Harry A. G. Wijshoff |
How to unleash array optimizations on code using recursive data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 275-284, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
control flow optimization, pointer optimization, recursive data structures, restructuring compilers |
23 | Han-Fu Chen |
Recursive identification for EIV ARMAX systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 1964-1972, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
multivariate ARMAX, convergence, recursive identification, errors-in-variables |
23 | Alejandro Chinea Manrique De Lara |
Understanding the Principles of Recursive Neural Networks: A Generative Approach to Tackle Model Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks - ICANN 2009, 19th International Conference, Limassol, Cyprus, September 14-17, 2009, Proceedings, Part I, pp. 952-963, 2009, Springer, 978-3-642-04273-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generative principles, machine learning, Recursive neural networks, structural patterns |
23 | Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala |
Time Recursive Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency I, pp. 104-118, 2008, Springer, 978-3-540-89286-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
recursive Petri net, threads, recursivity, time Petri net |
23 | Weiwei Sun 0008, Yongrui Qin, Ping Yu 0001, Zhuoyao Zhang, Zhenying He |
HFilter: Hybrid Finite Automaton Based Stream Filtering for Deep and Recursive XML Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 19th International Conference, DEXA 2008, Turin, Italy, September 1-5, 2008. Proceedings, pp. 566-580, 2008, Springer, 978-3-540-85653-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML stream filtering, deep and recursive XML data, hybrid finite automaton, data prefix sharing, memory overflow control |
23 | Mostafa Rezazad, Mohammad Reza Hoseiny Farahabady, Hamid Sarbazi-Azad |
A Deadlock Free Shortest Path Routing Algorithm for WK-Recursive Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 280-285, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
WK-recursive, shortest path routing, Deadlock Free Routing Algorithm |
23 | Mohd Saberi Mohamad, Sigeru Omatu 0001, Safaai Deris, Michifumi Yoshioka |
A Recursive Genetic Algorithm to Automatically Select Genes for Cancer Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPACBB ![In: 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics, IWPACBB 2008, Salamanca, Spain, 22th-24th October 2008, pp. 166-174, 2008, Springer, 978-3-540-85860-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Recursive Genetic Algorithm, Genetic Algorithm, Support Vector Machine, Gene Selection, Microarray Data, Cancer Classification |
23 | Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur |
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WS-FM ![In: Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers, pp. 19-36, 2008, Springer, 978-3-642-01363-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic |
23 | Khamron Sunat, Chidchanok Lursinsap, Chee-Hung Henry Chu |
The p-recursive piecewise polynomial sigmoid generators and first-order algorithms for multilayer tanh-like neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(1), pp. 33-47, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
p-Recursive piecewise polynomial, Rprop algorithm, Anti-Hebbian rule, Sigmoidal function, Backpropagation, Classification problem, Multilayer neural networks |
23 | Chi-Sing Leung, Ah Chung Tsoi |
Combined learning and pruning for recurrent radial basis function networks based on recursive least square algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 15(1), pp. 62-78, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Recurrent radial basis function, Recursive least square method, Pruning method |
23 | Jianlin Cheng, Michael J. Sweredoski, Pierre Baldi |
DOMpro: Protein Domain Prediction Using Profiles, Secondary Structure, Relative Solvent Accessibility, and Recursive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 13(1), pp. 1-10, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
domain, protein structure prediction, recursive neural networks |
23 | Kevin I. Hynna, Mauri Kaipainen |
Activation-Based Recursive Self-Organising Maps: A General Formulation and Empirical Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 24(2), pp. 119-136, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
representing context, sequential order, self-organizing maps, recurrent neural networks, recursive algorithms |
23 | Pavel Naumov |
On Modal Logics of Partial Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(3), pp. 295-309, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
modal logic, recursive function, Curry-Howard isomorphism |
23 | Joachim Lambek, Philip J. Scott |
An Exactification of the Monoid of Primitive Recursive Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 81(1), pp. 1-18, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers |
23 | Selwyn Russell |
Theory and benefits of recursive certificate structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 2(2), pp. 78-90, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Recursive certificate, Minimal set, Surplus set, Deficient set, Public key infrastructure, X.509 |
23 | Nadji Gauthier, François Pottier |
Numbering matters: first-order canonical forms for second-order recursive types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 150-161, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
polymorphism, unification, equality, recursive types |
23 | Manfred Tasche, Hansmartin Zeuner |
Roundoff Error Analysis of the Recursive Moving Window Discrete Fourier Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 18(1), pp. 65-78, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
roundoff error analysis, worst case study, average case study, recursive moving window DFT, discrete windowed Fourier transform, fast Fourier transform |
23 | Dominic Duggan |
Type-Safe linking with recursive DLLs and shared libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(6), pp. 711-804, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Module Interconnection Languages, Dynamic Linking, Shared Libraries, Recursive Modules |
23 | Ahmad H. Nasri, Malcolm A. Sabin |
Taxonomy of interpolation constraints on recursive subdivision curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 18(4), pp. 259-272, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Interpolation constraints, End control, target directions, Bézier, points, B-spline curves, Recursive subdivision |
23 | Alessandro Vullo, Paolo Frasconi |
A Bi-Recursive Neural Network Architecture for the Prediction of Protein Coarse Contact Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 1st IEEE Computer Society Bioinformatics Conference, CSB 2002, Stanford, CA, USA, August 14-16, 2002, pp. 187-196, 2002, IEEE Computer Society, 0-7695-1653-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Protein contact maps, machine learning, recursive neural networks |
23 | Rafael C. Carrasco, Mikel L. Forcada |
Simple Strategies to Encode Tree Automata in Sigmoid Recursive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 13(2), pp. 148-156, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
analog neural networks, Tree automata, neural computation, recursive neural networks |
23 | Mario Coppo |
Type Inference with Recursive Type Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 184-198, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
type assignment, Recursive types |
23 | Yuzhong Sun, Paul Y. S. Cheung, Xiaola Lin |
Recursive Cube of Rings: A New Topology for Interconnection Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(3), pp. 275-286, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Scalable computer systems, recursive cube of rings (RCR), plane property, embedding, message routing |
23 | Gang Huang, Dimitris N. Metaxas, Janzen Lo |
LaTex Human Motion Planning Based on Recursive Dynamics and Optimal Control Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Graphics International ![In: Computer Graphics International Conference, CGI 2000, Geneva, Switzerland, June 19-24, 2000, pp. 19-28, 2000, IEEE Computer Society, 0-7695-0643-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Recursive Dynamics, 3D Computer Simulation, Computer Graphics, Optimal Control |
23 | Zen Chen, I-Pin Chen |
Recursive Conversion of Chain Code into Quadtree with Table Lookup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 6054-6057, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Recursive conversion, Quadtree, Table lookup, Chain Code |
23 | Michael Marz |
An Algebraic View on Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 7(1-2), pp. 147-157, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
positive types, strong normalisation, calculus, recursive types, universal algebra |
23 | Zhiyong Li 0002, John H. Reif, Sandeep K. S. Gupta |
Synthesizing Efficient Out-of-Core Programs for Block Recursive Algorithms Using Block-Cyclic Data Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(3), pp. 297-315, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
block recursive algorithm, fast Fourier transform, Parallel I/O, data distribution, program synthesis, tensor product |
23 | Tom Chau, Andrew K. C. Wong |
Pattern Discovery by Residual Analysis and Recursive Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 11(6), pp. 833-852, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
events, Pattern discovery, contingency tables, recursive partitioning, residual analysis |
23 | João Marques-Silva 0001, Thomas Glass |
Combinational Equivalence Checking Using Satisfiability and Recursive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 145-149, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Boolean Satisfiability, Recursive Learning, Combinational Equivalence Checking |
23 | Janzen Lo, Dimitris N. Metaxas |
Recursive Dynamics and Optimal Control Techniques for Human Motion Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1999, CA 1999, Geneva, Switzerland, May 26-28, 1999, pp. 220-, 1999, IEEE Computer Society, 0-7695-0167-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
recursive dynamics, simulation, animations, virtual environments, motion planning |
23 | Masaru Takesue |
Psi-Cubes: Recursive Bused Fat-Hypercubes for Multilevel Snoopy Caches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 62-67, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Bused networks, recursive networks, trees of buses, multilevel caches, coherence directories, clustering, Hamming codes |
23 | Albert Cohen 0001, Jean-Francois Collard |
Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 332-339, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Reaching Definition Analysis, Push-down Transducers, Context-free Languages, Recursive Programs |
23 | Olivier Déforges, Nicolas Normand |
Recursive Morphological Operators for Gray Image Processing. Application in Granulometry Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings 1997 International Conference on Image Processing, ICIP '97, Santa Barbara, California, USA, October 26-29, 1997, pp. 672-675, 1997, IEEE Computer Society, 0-8186-8183-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
gray scale morphology, structuring element decomposition, recursive erosion, multiscale morphologic decomposition |
23 | Wanlin Cao, Dhiraj K. Pradhan |
Sequential redundancy identification using recursive learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1996, San Jose, CA, USA, November 10-14, 1996, pp. 56-62, 1996, IEEE Computer Society / ACM, 0-8186-7597-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
ISCAS benchmarks, c-cycle redundancies, c-cycle redundant faults, redundancy identification algorithm, sequential redundancy identification, state transition information, uncontrollability analysis, logic CAD, FIRES, untestable faults, recursive learning |
23 | Issei Numata, Susumu Horiguchi |
Efficient reconfiguration scheme for mesh-connected network: the recursive shift approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 221-227, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
mesh-connected network, recursive shift, faulty processing elements, mesh arrays, redundant processing elements, fault tolerance, parallel architectures, fault tolerant computing, multiprocessor interconnection networks, reconfigurable architectures, massively parallel system, reconfiguration scheme |
23 | Ali Azarbayejani, Alex Pentland |
Recursive Estimation of Motion, Structure, and Focal Length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 17(6), pp. 562-575, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
3D modeling, Structure from motion, camera calibration, camera model, recursive estimation, 3D representation |
23 | Mitrajit Chatterjee, Dhiraj K. Pradhan, Wolfgang Kunz |
LOT: logic optimization with testability-new transformations using recursive learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1995, San Jose, California, USA, November 5-9, 1995, pp. 318-325, 1995, IEEE Computer Society / ACM, 0-8186-7213-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
EX-OR gates, logic optimization with testability, multi-level logic circuits, tstfx, logic design, combinational circuits, logic CAD, gate level, random-pattern testability, recursive learning |
23 | Louis Monier, Ramsey W. Haddad, Jeremy Dion |
Recursive layout generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARVLSI ![In: 16th Conference on Advanced Research in VLSI (ARVLSI '95), March 27-29, 1995, Chapel Hill, North Carolina, USA, pp. 172-184, 1995, IEEE Computer Society, 0-8186-7047-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
BiCMOS digital integrated circuits, recursive layout generation, layout directives, netlist description, hand-drawn layout, synthesized layout, overall layout, dense VLSI, VLSI, logic CAD, circuit layout CAD, microprocessor chips, microprocessor chips, VLSI chips, seamless integration |
23 | Su S. Chen, Robert M. Haralick, Ihsin T. Phillips |
Simultaneous word segmentation from document images using recursive morphological closing transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 761-764, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
simultaneous word segmentation, recursive morphological closing transform, document image population, layout ground-truthed document images, optimal algorithm parameter settings, image segmentation, protocols, protocol, mathematical morphology, document image processing, visual databases, document images |
23 | Donglai Dai, Sandeep K. S. Gupta, S. D. Kaushik, J. H. Lu, Raj Verdhan Singh, Chua-Huang Huang, P. Sadayappan, Rodney W. Johnson |
EXTENT: a portable programming environment for designing and implementing high-performance block recursive algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 49-58, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
block recursive algorithm, parallel program synthesis, tensor (Kronecker) product, parallel programming environment |
23 | S. G. Foss |
On the ergodicity conditions for stochastically recursive sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 12(3-4), pp. 287-295, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
metrical transitivity, stochastically recursive sequence, ergodicity, Stationarity |
23 | Wim H. Hesselink, Ronald Reinds |
Temporal Preconditions of Recursive Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 236-260, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure |
23 | Serge Nicolle, Pascal Legrand, Jean-Pierre Dérutin |
Managing the Recursive Generation of Tasks in a Transputer Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDMCC ![In: Distributed Memory Computing, 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991, Proceedings, pp. 432-439, 1991, Springer, 3-540-53951-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Processors Farm, Parallel architectures, Transputers, Recursive algorithms |
23 | Laurie J. Hendren, Alexandru Nicolau |
Parallelizing Programs with Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 1(1), pp. 35-47, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
disambiguation techniques, interference analysis tools, parallelization techniques, dynamically updatable trees, regular-expression-like representation, accessible nodes, parallel programming, data structures, directed graphs, interference, program compilers, trees (mathematics), directed acyclic graphs, parallelizing compilers, automatic parallelization, dynamic data structures, parallel programming languages, recursive data structures, imperative programs, imperative language |
22 | Arthur Charlesworth |
The undecidability of associativity and commutativity analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(5), pp. 554-565, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Associative function, commutative function, loop program, recursively enumerable, reduction, recursive, sequence, scan, undecidable, parallel prefix, primitive recursive |
22 | Peter Kauff, Klaas Schüür |
Fast motion estimation for real-time shape-adaptive MPEG-4 encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia Workshops ![In: Proceedings of the ACM Multimedia 2000 Workshops, Los Angeles, CA, USA, October 30 - November 3, 2000, pp. 55-58, 2000, ACM Press, 1-58113-311-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
pixel-recursive matching, recursive block matching, shape-adaptive coding, motion estimation, MPEG-4 |
22 | F. Thomas Bruss, Michael Drmota, Guy Louchard |
The Complete Solution of the Competitive Rank Selection Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 22(4), pp. 413-447, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Competitive secretary problem, No-information case, Relative ranks, Recursive sequences, Convergence of recursive solutions, Discrepancy problems, Nash equilibrium, Algorithm analysis, Minimax optimal |
22 | Michael E. Saks, Shiyu Zhou |
RSPACE(S) \subseteq DSPACE(S3/2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 36th Annual Symposium on Foundations of Computer Science, Milwaukee, Wisconsin, USA, 23-25 October 1995, pp. 344-353, 1995, IEEE Computer Society, 0-8186-7183-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
RSPACE(S), DSPACE(S/sup 3/2/), two-sided error, one-sided error algorithms, recursive matrix powering, two-sided error algorithms, natural recursive algorithm, probability, randomized algorithm, formal languages, deterministic algorithms, deterministic algorithm, pseudorandom generator, randomised algorithms, space bounded computation |
22 | Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen |
An efficient database transitive closure algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 4(2), pp. 205-218, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
recursive rules, recursive query processing, transitive closure queries, Knowledge bases, deductive databases |
21 | Rafael Asenjo, Rosa Castillo, Francisco Corbera, Angeles G. Navarro, Adrian Tineo, Emilio L. Zapata |
Parallelizing irregular C codes assisted by interprocedural shape analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-12, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Keiichirou Kusakari, Masahiko Sakai |
Enhancing dependency pair method using strong computability in simply-typed term rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(5), pp. 407-431, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simply-typed term rewriting system, Plain function- passing, Strong computability, Termination, Dependency pair |
21 | Ian Douglas Sanders, Vashti C. Galpin |
Students' mental models of recursion at wits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 317, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
recursion, mental models |
21 | Yoshitatsu Matsuda, Kazunori Yamaguchi |
Extraction of Approximate Independent Components from Large Natural Scenes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 635-642, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Francisco A. Cubillos, Gonzalo Acuña |
Simulation Studies of On-Line Identification of Complex Processes with Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II, pp. 808-814, 2006, Springer, 3-540-34437-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Mihalis Yannakakis |
Recursion and Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile, pp. 13, 2006, Springer, 0-387-34633-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Monica Bianchini, Marco Gori, Lorenzo Sarti, Franco Scarselli |
BackPropagation through Cyclic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, pp. 118-129, 2003, Springer, 3-540-20119-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Litong Song, Yoshihiko Futamura |
A New Termination Approach for Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings, pp. 72-91, 2000, Springer, 3-540-41054-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Kevin Warwick, Yong Ho Kang, Richard J. Mitchell 0001 |
Genetic least squares for system identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 3(4), pp. 200-205, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
21 | Kai Frederick Wehmeier |
Fragments of HAHA based on S1\Sigma_1-induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 37(1), pp. 37-49, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Ashish Gupta 0001, Inderpal Singh Mumick |
Magic-sets Transformation in Nonrecursive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA, pp. 354-367, 1992, ACM Press, 0-89791-519-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
21 | Manuel Rubio-Sánchez |
Tail recursive programming by applying generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 98-102, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion |
21 | Yue Shang, Xiang-Gen Xia 0001 |
On fast recursive algorithms for V-BLAST with optimal ordered SIC detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(6), pp. 2860-2865, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Wai Ho Mow |
Recursive Constructions of Detecting Matrices for Multiuser Coding: A Unifying Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 55(1), pp. 93-98, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Jen-Tzung Chien, Jung-Chun Chen |
Recursive Bayesian Linear Regression for Adaptive Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(2), pp. 565-575, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl |
Realizability of Concurrent Recursive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 410-424, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hywel R. Dunn-Davies, Jim Cunningham |
Verifying realizability and reachability in recursive interaction protocol specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (2) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, pp. 1233-1234, 2009, IFAAMAS, 978-0-9817381-7-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
propositional statecharts, verification, interaction protocols |
21 | Suboh A. Suboh, Mohamed Bakhouya, Tarek A. El-Ghazawi |
Simulation and Evaluation of On-Chip Interconnect Architectures: 2D Mesh, Spidergon, and WK-Recursive Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Second International Symposium on Networks-on-Chips, NOCS 2008, 5-6 April 2008, Newcastle University, UK. Proceedings, pp. 205-206, 2008, IEEE Computer Society, 978-0-7695-3098-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
System on Chip, Network on Chip, Modeling and simulation, On Chip Interconnects |
21 | Shinichi Yamagiwa, Koichi Wada 0002, Leonel Sousa |
Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland, pp. 325-332, 2008, IEEE Computer Society, 978-0-7695-3472-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Kubus, Torsten Kröger, Friedrich M. Wahl |
On-line estimation of inertial parameters using a recursive total least-squares approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3845-3852, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Teahyung Lee, David V. Anderson |
A spatially recursive optical flow estimation framework using adaptive filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 789-792, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Feng-Tsun Chien, C.-C. Jay Kuo |
Blind Recursive Tracking of Carrier Frequency Offset (CFO) Vector in MC-CDMA Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 6(4), pp. 1246-1255, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Pierre Jouannaud, Albert Rubio |
Polymorphic higher-order recursive path orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 54(1), pp. 2:1-2:48, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus |
21 | Ethan Robert Duni, Bhaskar D. Rao |
High-Rate Optimized Recursive Vector Quantization Structures Using Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 15(3), pp. 756-769, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Amit Banerjee, Sushil J. Louis |
A recursive clustering methodology using a genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2165-2172, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Won-Taek Lim, Mithuna Thottethodi |
Evaluating ISA Support and Hardware Support for Recursive Data Layouts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2007, 14th International Conference, Goa, India, December 18-21, 2007, Proceedings, pp. 95-106, 2007, Springer, 978-3-540-77219-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | D. Huang, Cheng Xiang 0001 |
Recursive Bayesian Linear Discriminant for Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2007, 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part II, pp. 1002-1011, 2007, Springer, 978-3-540-72392-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ming-Chan You, Cheng-Yi Mao, Jeen-Shing Wang, Fang-Chen Chuang |
A Recursive Parametric Spectral Subtraction Algorithm for Speech Enhancement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 826-835, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
subtractive-type algorithms, human auditory system, masking threshold, Speech enhancement |
21 | Jiyong Zhang, Pearl Pu |
A recursive prediction algorithm for collaborative filtering recommender systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 2007 ACM Conference on Recommender Systems, RecSys 2007, Minneapolis, MN, USA, October 19-20, 2007, pp. 57-64, 2007, ACM, 978-1-59593-730-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
recommendation accuracy, recommender systems, collaborative filtering, prediction algorithm |
21 | Michael Hosemann, Gerhard P. Fettweis |
On Enhancing SIMD-controlled DSPs for Performing Recursive Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 43(2-3), pp. 125-142, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Yingxu Wang |
On the Big-R Notation for Describing Iterative and Recursive Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 132-140, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Robert Granat, Isak Jonsson, Bo Kågström |
Recursive Blocked Algorithms for Solving Periodic Triangular Sylvester-Type Matrix Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 531-539, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Sylvester-type matrix equations, periodic matrix equations, recursion, blocking, superscalar, level 3 BLAS |
21 | Peiyi Tang |
Complete inlining of recursive calls: beyond tail-recursion elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006, pp. 579-584, 2006, ACM, 1-59593-315-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
complete inlining, full control flow graph, procedure inlining, tail-recursion elimination, call graph |
21 | Nina Bohr, Lars Birkedal |
Relational Reasoning for Recursive Types and References. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, pp. 79-96, 2006, Springer, 3-540-48937-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | George Ferizis, Hossam A. ElGindy |
Mapping Recursive Functions to Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006, pp. 1-6, 2006, IEEE, 1-4244-0312-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Juha Yli-Kaakinen, Tapio Saramäki |
Approximately linear-phase recursive digital filters with variable magnitude characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 14868 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|