|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 117 occurrences of 109 keywords
|
|
|
Results
Found 249 publication records. Showing 249 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
39 | Antonio Corral, Michael Vassilakopoulos, Yannis Manolopoulos |
The Impact of Buffering on Closest Pairs Queries Using R-Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 5th East European Conference, ADBIS 2001, Vilnius, Lithuania, September 25-28, 2001, Proceedings, pp. 41-54, 2001, Springer, 3-540-42555-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Fan Li, Yiming Yang |
Using recursive classification to discover predictive features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1054-1058, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
machine learning, feature selection, text categorization |
31 | Angel Dominguez, Nghi Nguyen, Rajeev Barua |
Recursive function data allocation to scratch-pad memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 65-74, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory |
29 | Fuwan Ren, Qifan Yang, Jiexin Zheng, Hui Yan |
Non-recursive Algorithm of Tower of Hanoi Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 2134-2137, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
non-recursive, optimization, time complexity, recursive, Tower of Hanoi |
29 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eighth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, July 23-26, 2002, Edmonton, Alberta, Canada, pp. 594-598, 2002, ACM, 1-58113-567-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
doublets, insurance fraud, non-recursive, triplets, collusion, log linear models |
28 | Ben Appleton, Hugues Talbot |
Efficient and Consistent Recursive Filtering of Images with Reflective Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scale-Space ![In: Scale Space Methods in Computer Vision, 4th International Conference, Scale-Space 2003, Isle of Skye, UK, June 10-12, 2003, Proceedings, pp. 699-712, 2003, Springer, 3-540-40368-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Konstantin Korovin, Andrei Voronkov |
Random Databases and Threshold for Monotone Non-recursive Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2005, 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29 - September 2, 2005, Proceedings, pp. 591-602, 2005, Springer, 3-540-28702-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Greg Stitt, Jason R. Villarreal |
Recursion flattening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, Orlando, Florida, USA, May 4-6, 2008, pp. 131-134, 2008, ACM, 978-1-59593-999-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
optimization, fpga, compilers, synthesis, recursion |
27 | Bo Chen, Tok Wang Ling, M. Tamer Özsu, Zhenzhou Zhu |
On Label Stream Partition for Efficient Holistic Twig Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Advances in Databases: Concepts, Systems and Applications, 12th International Conference on Database Systems for Advanced Applications, DASFAA 2007, Bangkok, Thailand, April 9-12, 2007, Proceedings, pp. 807-818, 2007, Springer, 978-3-540-71702-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mingzhu Wei, Ming Li 0008, Elke A. Rundensteiner, Murali Mani |
Processing Recursive XQuery over XML Streams: The Raindrop Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 85, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Ke Wang |
Some Positive Results for Boundedness of Multiple Recursive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings, pp. 383-396, 1995, Springer, 3-540-58907-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Latha S. Colby |
A Recursive Algebra and Query Optimization for Nested Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989., pp. 273-283, 1989, ACM Press, 978-0-89791-317-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Tomasz Truderung |
Selecting Theories and Recursive Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 217-232, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Henrik Boström |
Specialization of Recursive Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-95, 8th European Conference on Machine Learning, Heraclion, Crete, Greece, April 25-27, 1995, Proceedings, pp. 92-106, 1995, Springer, 3-540-59286-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Yoav Zibin, Joseph Gil, Jeffrey Considine |
Efficient algorithms for isomorphisms of simple types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 160-171, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
first order isomorphism, linear isomorphism, non-recursive types, simple types, type signature |
23 | Rajasekar Krishnamurthy, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton |
Recursive XML Schemas, Recursive XML Queries, and Relational Storage: XML-to-SQL Query Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 20th International Conference on Data Engineering, ICDE 2004, 30 March - 2 April 2004, Boston, MA, USA, pp. 42-53, 2004, IEEE Computer Society, 0-7695-2065-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | J. Living, Bashir M. Al-Hashimi |
New differential coefficient coding algorithm for recursive FIR filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 379-382, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Viktor Kuncak, Martin C. Rinard |
Structural Subtyping of Non-Recursive Types is Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 96-107, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Mohammad El-Hajj, Osmar R. Zaïane |
Non-recursive Generation of Frequent K-itemsets from Frequent Pattern Tree Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings, pp. 371-380, 2003, Springer, 3-540-40807-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Stephen A. Edwards, Jia Zeng |
Static elaboration of recursion for concurrent software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 71-80, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SHIM, static elaboration, concurrency, recursion, partial evaluation |
20 | Andreas Malcher, Giovanni Pighizzini |
Descriptional Complexity of Bounded Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 312-323, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite-turn pushdown automata, recursive trade-offs, bounded languages, descriptional complexity, automata and formal languages |
19 | Woosuk Lee, Hangyeol Cho |
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 2048-2078, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Hugh Lachlan Kennedy |
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.07089, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Xinlian Yu, Tien Mai, Jing Ding-Mastera, Song Gao, Emma Frejinger |
Modeling Route Choice with Real-Time Information: Comparing the Recursive and Non-Recursive Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.05783, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Yuta Ishida, Yusuke Kameda, Tomokazu Ishikawa, Ichiro Matsuda, Susumu Itoh |
Block-Adaptive Selection of Recursive and Non-Recursive Type Intra Prediction Modes for Image Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(6), pp. 992-996, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Moriah Echlin, Boris Aguilar, Max Notarangelo, David L. Gibbs, Ilya Shmulevich |
Flexibility of Boolean Network Reservoir Computers in Approximating Arbitrary Recursive and Non-Recursive Binary Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(12), pp. 954, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
19 | Mehmet Burak Aykenar |
Analysis of FPGA based recursive and non-recursive digital filters according to hardware cost and performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 21st Signal Processing and Communications Applications Conference, SIU 2013, Haspolat, Turkey, April 24-26, 2013, pp. 1-4, 2013, IEEE, 978-1-4673-5562-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
19 | Gabi Daniela Garaiman, Dumitru Dan Garaiman |
A comparative study between recursive and non-recursive algoritms content search in a dual multimedia databases with images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings, pp. 707-710, 2012, 978-83-60810-51-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
19 | Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas |
Evolving recursive programs using non-recursive scaffolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012, pp. 1-8, 2012, IEEE, 978-1-4673-1510-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Kensaku Fujii, Kenji Kashihara, Mitsuji Muneyasu, Masakazu Morimoto |
Application of Cascade Connection of Recursive and Non-recursive Filters to Active Noise Control System Using Simultaneous Equations Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(10), pp. 1899-1906, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Vinay Kumar |
Polynomial based Recursive and non Recursive filter Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
19 | Andreas Malcher |
On Recursive and Non-recursive Trade-Offs between Finite-Turn Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 12(1-2), pp. 265-277, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Malcher |
On Recursive and Non-Recursive Trade-Offs Between Finite-Turn Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30 - July 2, 2005. Proceedings, pp. 215-226, 2005, Università degli Studi di Milano, Milan, Italy. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
19 | Petr Somol, Pavel Pudil, Jirí Grim |
Branch & Bound Algorithm with Partial Prediction for Use with Recursive and Non-recursive Criterion Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPR ![In: Advances in Pattern Recognition - ICAPR 2001, Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001, Proceedings, pp. 230-239, 2001, Springer, 3-540-41767-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
subset search, recursive criteria, feature selection, search tree, subset selection, optimal search |
19 | Jeffrey S. Rohl |
Converting a Class of Recursive Procedures into Non-recursive Ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 7(2), pp. 231-238, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
18 | Tufik Buzid, Steffen Reinhardt, Mario Huemer, I. Martoyo |
Non-recursive CPM signal generation and reception with application to SC/FDE combined with MIMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 2533-2537, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hendrik Blockeel, Wannes Meert |
Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers, pp. 94-108, 2006, Springer, 978-3-540-73846-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Christian Schindelhauer, Andreas Jakoby |
The Non-Recursive Power of Erroneous Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings, pp. 394-406, 1999, Springer, 3-540-66836-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Himanshu Gupta 0001, Xianjin Zhu, Xiang Xu |
Deductive Framework for Programming Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 281-292, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gilles Barthe, Benjamin Grégoire, Colin Riba |
Type-Based Termination with Sized Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 493-507, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Dana Shapira, James A. Storer |
Edit Distance with Move Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 13th Annual Symposium, CPM 2002, Fukuoka, Japan, July 3-5, 2002, Proceedings, pp. 85-98, 2002, Springer, 3-540-43862-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Henrik Boström |
Induction of Recursive Transfer Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Learning Language in Logic ![In: Learning Language in Logic, pp. 237-246, 1999, Springer, 3-540-41145-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Aijun An, Nick Cercone |
Discretization of Continuous Attributes for Learning Classification Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Methodologies for Knowledge Discovery and Data Mining, Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26-28, 1999, Proceedings, pp. 509-514, 1999, Springer, 3-540-65866-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Catriel Beeri, Tova Milo |
On the Power of Algebras with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 377-386, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Chuanlin Zhang, Jun Yang 0011, Changyun Wen |
Global stabilisation for a class of uncertain non-linear systems: a novel non-recursive design framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Control. Decis. ![In: J. Control. Decis. 4(2), pp. 57-69, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Takuro Abe, Michael Cuntz, Hiraku Kawanoue, Takeshi Nozawa |
Non-recursive freeness and non-rigidity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 339(5), pp. 1430-1449, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Ménard, Romuald Rocher, Pascal Scalart, Olivier Sentieys |
Automatic SQNR determination in non-linear and non-recursive fixed-point systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 2004 12th European Signal Processing Conference, Vienna, Austria, September 6-10, 2004, pp. 1349-1352, 2004, IEEE, 978-320-0001-65-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Salvatore La Torre, P. Madhusudan, Gennaro Parlato |
Context-Bounded Analysis of Concurrent Queue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 299-314, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | 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 |
|
14 | Stephan Kreutzer |
Operational Semantics for Fixed-Point Logics on Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 470-484, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Graeme Smith |
Recursive Schema Definitions in Object-Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings, pp. 42-58, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001 |
Magic Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 314-330, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
14 | Dietmar Seipel |
A Graph-Based Decomposition Approach for Recursive Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 14th International Workshop, WG '88, Amsterdam, The Netherlands, June 15-17, 1988, Proceedings, pp. 148-165, 1988, Springer, 3-540-50728-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
12 | Ulrich Herrmann, Peter Dadam, Klaus Küspert, E. A. Roman, Gunter Schlageter |
A Lock Technique for Disjoint and Non-Disjoint Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'90. International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings, pp. 219-237, 1990, Springer, 3-540-52291-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
11 | Lina Rong, Yuhan Kan, Xiangpeng Xie, Guo-Ping Jiang, Shengyuan Xu |
Edge-Preserving Consensus via Non-Recursive Filters: A Parallel System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 70(1), pp. 181-185, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Milliam Maxime Zekeng Ndadji, Daniela Marionne Nguedia Momo, Franck Bruno Tonle Noumbo, Maurice Tchoupé Tchendji |
Non-Recursive LSAWfP Models are Structured Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARIMA J. ![In: ARIMA J. 38, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Yuanchen Bei, Hao Chen 0062, Shengyuan Chen, Xiao Huang 0001, Sheng Zhou 0004, Feiran Huang |
Non-Recursive Cluster-Scale Graph Interacted Model for Click-Through Rate Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, CIKM 2023, Birmingham, United Kingdom, October 21-25, 2023, pp. 3748-3752, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Qiaoyu Tan, Xin Zhang, Jiahe Du, Xiao Huang |
Graph Neural Networks with Non-Recursive Message Passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM (Workshops) ![In: IEEE International Conference on Data Mining, ICDM 2023 - Workshops, Shanghai, China, December 4, 2023, pp. 506-514, 2023, IEEE, 979-8-3503-8164-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Ángel Iglesias Préstamo, José Emilio Labra Gayo |
Using Pregel to Create Knowledge Graphs Subsets Described by Non-recursive Shape Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KGSWC ![In: Knowledge Graphs and Semantic Web - 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings, pp. 120-134, 2023, Springer, 978-3-031-47744-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
11 | Chuanlin Zhang, Jun Yang 0011 |
Nonsmooth Adaptive Control for Uncertain Nonlinear Systems: A Non-recursive Design Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 229-234, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Kennedy Chinedu Okafor, Omowunmi Mary Longe |
Integrating Resilient Tier N+1 Networks with Distributed Non-Recursive Cloud Model for Cyber-Physical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 16(7), pp. 2257-2285, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Norah M. Asiri, Rasha Alsulim |
Non-recursive Approach for Sort-Merge Join Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.12075, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Maciej Walczynski |
Multi-pass, Non-recursive Acoustic Echo Cancellation Sequential and Parallel Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (2) ![In: Intelligent Information and Database Systems - 14th Asian Conference, ACIIDS 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings, Part II, pp. 656-668, 2022, Springer, 978-3-031-21966-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
11 | Hui Gao 0003, Yaoze Zhao |
Non-Recursive Control Design for Nonlinear System With Backlash-Like Hysteresis and Disturbance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 3026-3032, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hao Chen 0062, Zengde Deng, Yue Xu, Zhoujun Li 0001 |
Non-Recursive Graph Convolutional Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.03868, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
11 | Haruhiko Ogasawara |
A non-recursive formula for various moments of the multivariate normal distribution with sectional truncation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multivar. Anal. ![In: J. Multivar. Anal. 183, pp. 104729, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Hao Chen 0062, Zengde Deng, Yue Xu, Zhoujun Li 0001 |
Non-Recursive Graph Convolutional Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2021, Toronto, ON, Canada, June 6-11, 2021, pp. 3205-3209, 2021, IEEE, 978-1-7281-7606-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
11 | Xiucai Huang, Yongduan Song, Changyun Wen |
Output feedback control for constrained pure-feedback systems: A non-recursive and transformational observer based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 113, pp. 108789, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Yasser Naguib Ahmed |
Non-Recursive Channel Prediction for TDD Massive MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: 91st IEEE Vehicular Technology Conference, VTC Spring 2020, Antwerp, Belgium, May 25-28, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-5207-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Mengmeng Liu, Zhongyang Yu, Qingya Lu, Baoming Bai, Min Zhu 0003 |
LDPC Coded Non-Recursive GMSK System with Quasi-Coherent Demodulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: 91st IEEE Vehicular Technology Conference, VTC Spring 2020, Antwerp, Belgium, May 25-28, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-5207-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang |
Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020, pp. 670-671, 2020, IEEE, 978-1-7281-8915-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
A Counterexample-Guided Debugger for Non-recursive Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, pp. 323-342, 2020, Springer, 978-3-030-64436-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
11 | Hai Zhu 0001, Hengzhou Xu, Bo Zhang 0053, Mengmeng Xu, Sifeng Zhu |
Design of Efficient LDPC Coded Non-Recursive CPE-Based GMSK System for Space Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 70654-70661, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Danilo Pelusi |
On Redundancy Reduction of Non-Recursive Second-Order Spectral-Null Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 112171-112179, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Shailendra Kumar Tripathi, Bhupendra Gupta, K. K. Soundra Pandian |
Hybrid image sharing scheme using non-recursive hash key based stream cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 78(8), pp. 10837-10863, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Jingjing Gao, Lei Wang 0072, Rui Gao, Jiangshuai Huang |
Adaptive control of uncertain underactuated cranes with a non-recursive control scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 356(18), pp. 11305-11317, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Josip Dvornik, Damir Lazarevic, Antonia Jaguljnjak Lazarevic, Marija Demsic |
Non-recursive equivalent of the conjugate gradient method without the need to restart. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.11379, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
11 | Yin Li 0001, Yu Zhang 0031, Xingpo Ma, Chuanda Qi |
On the Complexity of non-recursive n-term Karatsuba Multiplier for Trinomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 111, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
11 | Jinfei Wang, Yi Ma 0002, Songyan Xue, Na Yi, Rahim Tafazolli, Terence E. Dodgson |
Parallel Decoding for Non-recursive Convolutional Codes and Its Enhancement Through Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAWC ![In: 20th IEEE International Workshop on Signal Processing Advances in Wireless Communications, SPAWC 2019, Cannes, France, July 2-5, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-6528-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Markus Holzer 0001, Martin Kutrib |
Non-Recursive Trade-Offs Are "Almost Everywhere". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings, pp. 25-36, 2019, Springer, 978-3-030-22995-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
11 | Feng Yang, Changzhu Wei, Rong Wu, Naigang Cui |
Non-Recursive Fixed-Time Convergence Observer and Extended State Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 62339-62351, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Chuanlin Zhang, Changyun Wen |
A non-recursive C1 adaptive stabilization methodology for nonlinearly parameterized uncertain nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Frankl. Inst. ![In: J. Frankl. Inst. 355(12), pp. 5099-5113, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Aya Kubota, Chinatsu Mori, Seiichi Gohshi |
Subjective Assessment of Video Noise Reduction with Non-recursive Temporal Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIP ![In: Proceedings of the 2018 International Conference on Sensors, Signal and Image Processing, SSIP 2018, Prague, Czech Republic, October 12-14, 2018, pp. 35-40, 2018, ACM, 978-1-4503-6620-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Christian Strobl, Maximilian Schäfer, Rudolf Rabenstein |
Non-Recursive System Identification and Fault Detection in LVDC and ELVDC Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2018, 27-30 May 2018, Florence, Italy, pp. 1-5, 2018, IEEE, 978-1-5386-4881-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
11 | Yin Li 0001, Xingpo Ma, Yu Zhang 0031, Chuanda Qi |
Mastrovito Form of Non-Recursive Karatsuba Multiplier for All Trinomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 66(9), pp. 1573-1584, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov |
Formal architecture modeling of sequential non-recursive C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 146, pp. 2-27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Muhammed Taha Köroglu, Alper Yilmaz |
Pedestrian inertial navigation with building floor plans for indoor environments via non-recursive Bayesian filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SENSORS ![In: 2017 IEEE SENSORS, Glasgow, United Kingdom, October 29 - November 1, 2017, pp. 1-3, 2017, IEEE, 978-1-5090-1012-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Michael E. Kounavis, Sergej Deutsch, David Durham, Saeedeh Komijani |
Non-recursive computation of the probability of more than two people having the same birthday. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2017 IEEE Symposium on Computers and Communications, ISCC 2017, Heraklion, Greece, July 3-6, 2017, pp. 1263-1270, 2017, IEEE Computer Society, 978-1-5386-1629-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Prusa |
Non-recursive trade-offs between two-dimensional automata and grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 610, pp. 121-132, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Luca G. Tallini, Danilo Pelusi, Raffaele Mascella, Laura Pezza, Samir Elmougy, Bella Bose |
Efficient Non-Recursive Design of Second-Order Spectral-Null Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 62(6), pp. 3084-3102, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Madjid Tavana, Francisco J. Santos-Arteaga, Debora Di Caprio, Kevin Tierney |
Modeling signal-based decisions in online search environments: A non-recursive forward-looking approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Manag. ![In: Inf. Manag. 53(2), pp. 207-226, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Zhen You, Jinyun Xue, Zhengkang Zuo |
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 19(4), pp. 2145-2156, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Georgia Psychou, Tobias Gemmeke, Tobias G. Noll |
A framework for analyzing the propagation of hardware-induced errors in non-recursive LTI blocks with finite wordlength effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: 26th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2016, Bremen, Germany, September 21-23, 2016, pp. 147-154, 2016, IEEE, 978-1-5090-0733-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Nicolai Kraus |
Constructions with Non-Recursive Higher Inductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016, pp. 595-604, 2016, ACM, 978-1-4503-4391-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Norah M. Asiri, Rasha Alsulim |
Non-recursive Approach for Sort-Merge Join Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDAS ![In: Beyond Databases, Architectures and Structures. Advanced Technologies for Data Mining and Knowledge Discovery - 12th International Conference, BDAS 2016, Ustroń, Poland, May 31 - June 3, 2016, Proceedings, pp. 216-224, 2016, Springer, 978-3-319-34098-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Michael V. Basin, Polk Yu, Yuri B. Shtessel |
Finite and fixed setting time differentiators utilizing non-recursive higher order sliding mode control observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSS ![In: 14th International Workshop on Variable Structure Systems, VSS 2016, Nanjing, China, June 1-4, 2016, pp. 188-193, 2016, IEEE, 978-1-4673-9788-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Huazhen Xu, Zhen You, Jinyun Xue |
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, pp. 13-18, 2016, IEEE Computer Society, 978-1-5090-2239-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Floris van Doorn |
Constructing the propositional truncation using non-recursive HITs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPP ![In: Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016, pp. 122-129, 2016, ACM, 978-1-4503-4127-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
Non-recursive make considered harmful: build systems at scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, Nara, Japan, September 22-23, 2016, pp. 170-181, 2016, ACM, 978-1-4503-4434-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
11 | Mei-Qin Pan, Kai-Xiang Pan |
A Non-recursive Agorithm Based on Binary for Hanoi Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy System and Data Mining - Proceedings of FSDM 2015 [Shanghai, China, December 12-15, 2015], pp. 375-382, 2015, IOS Press, 978-1-61499-618-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 249 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|