Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath |
Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(7), pp. 613-623, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
reprogrammable dataflow neural classifiers, neural-dataflow transformations, dataflow algorithmic transformations, dataflow multiprocessors, high level data dependency, machine executable low-level dataflow graph, tagged token dataflow algorithmic transformation, performance evaluation, performance, parallel architectures, supervised learning, neural nets, granularity, learning systems, functional languages, neural computing, computerized pattern recognition, algorithmic transformations, dataflow machine |
54 | Rubén Hinojosa Chapel |
Some Projects and Re.ections on Algorithmic Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Computer Music Modeling and Retrieval, International Symposium, CMMR 2003,Montpellier, France, May 26-27, 2003, Revised Papers, pp. 1-12, 2003, Springer, 3-540-20922-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Real-Time Composition, Computer Aided Composition, Algorithmic Music, Virtual Instruments, Algorithmic Composition, Interactive Music Systems |
54 | Victor Korotkikh |
Kolmogorov Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1790-1794, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Algorithmic information, Algorithmic entropy, Solomonoff-Kolmogorov-Chaitin complexity, Shortest program length, Complexity, Computation, Randomness, Information, Descriptional complexity, Algorithmic complexity, Algorithmic randomness |
45 | David Ginat |
Effective binary perspectives in algorithmic problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Educ. Resour. Comput. ![In: ACM J. Educ. Resour. Comput. 2(2), pp. 4, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Algorithmic problem solving, education, games, invariant properties, binary representation |
41 | Olaf Chitil, Thomas Davie |
Comprehending finite maps for algorithmic debugging of higher-order functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 205-216, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tracing, declarative debugging |
40 | Jason Ansel, Cy P. Chan, Yee Lok Wong, Marek Olszewski, Qin Zhao, Alan Edelman, Saman P. Amarasinghe |
PetaBricks: a language and compiler for algorithmic choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 38-49, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning |
40 | Christian Lasarczyk, Wolfgang Banzhaf |
Total synthesis of algorithmic chemistries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1635-1640, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
algorithmic chemistries, total synthesis, genetic programming |
40 | David Ginat |
Algorithmic patterns and the case of the sliding delta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 36(2), pp. 29-33, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
algorithmic problem solving, patterns |
36 | Yossi Lichtenstein, Ehud Shapiro |
Concurrent Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Debugging ![In: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, University of Wisconsin, Madison, Wisconsin, USA, May 5-6, 1988, pp. 248-260, 1988, ACM, 0-89791-296-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Frieder Nake |
Computer art: creativity and computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 6th Conference on Creativity & Cognition, Washington, DC, USA, June 13-15, 2007, pp. 305-306, 2007, ACM, 978-1-59593-712-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithmic revolution, algorithmic sign, computability, creativity, computer art |
36 | Doran Wilde, Sanjay V. Rajopadhye |
The naive execution of affine recurrence equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: The International Conference on Application Specific Array Processors (ASAP'95), July 24-26, 1995, Strasbourg, France, pp. 1-12, 1995, IEEE Computer Society, 0-8186-7109-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
algorithmic languages, regular arrays, ALPHA language, computer aided design methodology, regular array architectures, algorithmic specification, imperative sequential language C, applicative caching, 1-dimensional storage, formal specification, circuit CAD, hardware description languages, nested loops, polyhedron, transformational approach, C-code, affine recurrence equations |
36 | Denis Caromel, Ludovic Henrio, Mario Leyton |
Type Safe Algorithmic Skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France, pp. 45-53, 2008, IEEE Computer Society, 978-0-7695-3089-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Type systems, algorithmic skeletons |
36 | Bruria Haberman, Orna Muller, Haim Averbuch |
Multi-facet Problem Comprehension: Utilizing an Algorithmic Idea in Different Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008, Proceedings, pp. 180-191, 2008, Springer, 978-3-540-69923-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Algorithmic problem solving, Instructional design |
36 | Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi |
Algorithmic differentiation in Axiom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 347-354, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
algorithmic differentiation, program transformation, axiom, symbolic-numeric computation |
33 | David Ogborn |
Network music and the algorithmic ensemble. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Jan C. Schacher |
Algorithmic Spatialisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Christopher Haworth |
Technology, Creativity and The Social in Algorithmic Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Geoff Cox, Morten Riis |
(Micro) Politics of Algorithmic Music: Towards a Tactical Media Archaeology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Warren Burt |
Thoughts on Algorithmic Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Alex McLean, Roger T. Dean |
Algorithmic Trajectories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Julian Rohrhuber |
Algorithmic Music and the Philosophy of Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Mary Simoni |
The Audience Reception of Algorithmic Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Yuli Levtov |
Algorithmic Music for Mass Consumption and Universal Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Nick Collins |
Origins of Algorithmic Thinking in Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Charles Matthews |
Algorithmic Thinking and Central Javanese Gamelan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Oxford Handbook of Algorithmic Music ![In: The Oxford Handbook of Algorithmic Music., 2018, Oxford University Press, 978-0-19-022699-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
33 | Stephan Kreutzer |
Algorithmic meta-theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite and Algorithmic Model Theory ![In: Finite and Algorithmic Model Theory., pp. 177-270, 2011, Cambridge University Press, 978-0-521-71820-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
33 | Steve Petersen |
Toward an Algorithmic Metaphysics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 306-317, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Hayato Takahashi 0001 |
Algorithmic Analogies to Kamae-Weiss Theorem on Normal Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 411-416, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Douglas Ian Campbell |
The Semimeasure Property of Algorithmic Probability - "Feature" or "Bug"? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 79-90, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Ray J. Solomonoff, Elias G. Saleeby |
On the Application of Algorithmic Probability to Autoregressive Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 366-385, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Eray Özkural |
Diverse Consequences of Algorithmic Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 285-298, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Rusins Freivalds |
Algorithmic Information Theory and Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 142-154, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Louis Dessalles |
Algorithmic Simplicity and Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Probability and Friends ![In: Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence - Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 - December 2, 2011, pp. 119-130, 2011, Springer, 978-3-642-44957-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Leif K. Jørgensen |
Algorithmic Approach to Non-symmetric 3-class Association Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Algebraic Combinatorics and Gröbner Bases ![In: Algorithmic Algebraic Combinatorics and Gröbner Bases, pp. 251-268, 2009, Springer, 978-3-642-01959-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Aiso Heinze, Mikhail H. Klin |
Loops, Latin Squares and Strongly Regular Graphs: An Algorithmic Approach via Algebraic Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Algebraic Combinatorics and Gröbner Bases ![In: Algorithmic Algebraic Combinatorics and Gröbner Bases, pp. 3-65, 2009, Springer, 978-3-642-01959-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Sándor P. Fekete, Stefan Fischer 0001, Martin A. Riedmiller, Subhash Suri |
09371 Abstracts Collection - Algorithmic Methods for Distributed Cooperative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Methods for Distributed Cooperative Systems ![In: Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
33 | Andrew J. Turberfield |
Algorithmic Control: The Assembly and Operation of DNA Nanostructures and Molecular Machinery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Bioprocesses ![In: Algorithmic Bioprocesses, pp. 215-225, 2009, Springer, 978-3-540-88868-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Valentina S. Harizanov, Norma B. Goethe, Michèle Friend |
Introduction to the Philosophy and Mathematics of Algorithmic Learning Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Induction, Algorithmic Learning Theory, and Philosophy ![In: Induction, Algorithmic Learning Theory, and Philosophy, pp. 1-24, 2007, Springer, 978-1-4020-6126-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic-Logical Theory of Infinite Structures ![In: Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
33 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic-Logical Theory of Infinite Structures ![In: Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
33 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery ![In: Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
33 | Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein |
06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Combinatorial and Algorithmic Foundations of Pattern and Association Discovery ![In: Combinatorial and Algorithmic Foundations of Pattern and Association Discovery, 14.05. - 19.05.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
33 | Stefano Leonardi 0001, Friedhelm Meyer auf der Heide, Dorothea Wagner |
05361 Abstracts Collection - Algorithmic Aspects of Large and Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
33 | Christopher W. Brown 0001, M'hammed El Kahoui, Dominik Novotni, Andreas Weber 0004 |
Algorithmic Methods for Investigating Equilibria in Epidemic Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Algebra and Logic ![In: Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning., pp. 59-63, 2005, Books on Demand, 3-8334-2669-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
33 | Leo G. Kroon, Dorothea Wagner, Frank Geraets, Christos D. Zaroliagis |
04261 Abstracts Collection - Algorithmic Methods for Railway Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Methods for Railway Optimization ![In: Algorithmic Methods for Railway Optimization, 20.06. - 25.06.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
33 | Richard S. Bird, Lambert G. L. T. Meertens (eds.) |
Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![Chapman & Hall, 0-412-82050-1 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Klaus Achatz, Helmuth Partsch |
A powerful transformation rule, its applications and variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 265-295, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum |
Synthesising interconnections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 240-264, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Eric Violard, Stéphane Genaud, Guy-René Perrin |
Refinement of data parallel programs in PEI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 107-131, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Matteo Vaccari, Roland Carl Backhouse |
Deriving a systolic regular language recognizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 49-72, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Alberto Pettorossi, Maurizio Proietti |
Program derivation via list introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 296-323, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Yanhong A. Liu |
Principled strength reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 357-381, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Theodore S. Norvell |
Predicative semantics of loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 415-437, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
A calculational fusion system HYLO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 76-106, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Marc Frappier, Ali Mili 0001, Jules Desharnais |
Defining and detecting feature interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 212-239, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Yellamraju V. Srinivas |
Refinement of parameterized algebraic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 164-186, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Sharon Curtis |
Dynamic programming: a different perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 1-23, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | David S. Wile |
Towards a calculus for abstract syntax trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 324-353, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Deepak Goyal, Robert Paige |
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 382-414, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Mario Südholt, Christian Piepenbrock, Klaus Obermayer, Peter Pepper |
Solving large systems of differential equations in parallel using covers and skeletons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 132-159, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Towards a compositional interpretation of object diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 187-211, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Bernhard Möller |
Calculating with pointer structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Languages and Calculi ![In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, pp. 24-48, 1997, Chapman & Hall, 0-412-82050-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | Stefan Schirra |
Precision and Robustness in Geometric Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 255-287, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer |
Space Filling Curves versus Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 199-211, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Jürg Nievergelt, Peter Widmayer |
Spatial Data Structures: Concepts and Design Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 153-197, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Marc J. van Kreveld |
Digital Elevation Models and TIN Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 37-78, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Mark de Berg |
Visualization of TINs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 79-97, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Robert Weibel |
Generalization of Spatial Data: Principles and Selected Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 99-152, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Lars Arge |
External-Memory Algorithms with Applications in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 213-254, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Jürg Nievergelt |
Introduction to Geometric Computing: From Algorithms to Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 1-19, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Christopher M. Gold, Peter R. Remmele |
Voronoi Methods in GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Foundations of Geographic Information Systems ![In: Algorithmic Foundations of Geographic Information Systems, this book originated from the CISM Advanced School on the Algorithmic Foundations of Geographic Information Systems, Udine, Italy, September 16-20, 1996, pp. 21-35, 1996, Springer, 3-540-63818-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
32 | Changjing Wang, Jinyun Xue |
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings, pp. 27-39, 2009, Springer, 978-3-642-02269-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid |
32 | Sudheer Sahu, John H. Reif |
Capabilities and Limits of Compact Error Resilience Methods for Algorithmic Self-assembly in Two and Three Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers, pp. 223-238, 2006, Springer, 3-540-49024-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Robert T. Firla, Bianca Spille, Robert Weismantel |
Algorithmic Characterization of Bipartite b-Matching and Matroid Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Combinatorial Optimization ![In: Combinatorial Optimization - Eureka, You Shrink!, Papers Dedicated to Jack Edmonds, 5th International Workshop, Aussois, France, March 5-9, 2001, Revised Papers, pp. 48-63, 2001, Springer, 3-540-00580-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Michael J. Butler, Mairead Meagher |
Performing Algorithmic Refinement before Data Refinement in B. ![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. 324-343, 2000, Springer, 3-540-67944-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Kohtaro Tadaki |
Fixed Point Theorems on Partial Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 422-440, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
partial randomness, Chaitin’s ? number, algorithmic information theory, thermodynamic quantities, fixed point theorem, Algorithmic randomness |
31 | |
A visualization tool for tutoring the interactive learning of data structures and algorithmic schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 187-191, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
algorithmic schemes, data structures, computer science education |
31 | Feng Wang, Keren Dong, Xiaotie Deng |
Algorithmic trading system: design and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 3(2), pp. 235-246, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
news retrieval, decision making, system design, portfolio optimization, algorithmic trading |
31 | Fabian Kuhn, Roger Wattenhofer, Aaron Zollinger |
An algorithmic approach to geographic routing in ad hoc and sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 16(1), pp. 51-62, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
routing, networks, wireless, algorithmic analysis, stretch |
31 | Giovanni Montana, Kostas Triantafyllopoulos, Theodoros Tsagaris |
Data stream mining for market-neutral algorithmic trading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 966-970, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
flexible least squares, temporal data mining, incremental principal component analysis, algorithmic trading |
31 | Kazuki Akutagawa, Kazuya Machida, Takao Waho |
A 3/7-Level Mixed-Mode Algorithmic Analog-to-Digital Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 22-23 May 2008, Dallas, Texas, USA, pp. 174-179, 2008, IEEE Computer Society, 978-0-7695-3155-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithmic, redundancy, analog-to-digital converter, multiple-valued |
31 | Jeremy Pickens, Gene Golovchinsky, Chirag Shah, Pernilla Qvarfordt, Maribeth Back |
Algorithmic mediation for collaborative exploratory search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 315-322, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
algorithmic mediation, evaluation, retrieval models, collaborative search, interactive retrieval |
31 | Thomas Pock, Michael Pock, Horst Bischof |
Algorithmic Differentiation: Application to Variational Problems in Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(7), pp. 1180-1193, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Evaluating derivatives, algorithmic differentiation, optimization, variational methods, energy functional |
31 | Fabio Benatti |
Entropy and algorithmic complexity in quantum information theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 6(2), pp. 133-150, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
classical and quantum information, algorithmic complexity |
31 | Josep Silva, Olaf Chitil |
Combining algorithmic debugging and program slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pp. 157-166, 2006, ACM, 1-59593-388-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
algorithmic debugging, program slicing |
31 | Harumichi Nishimura, Tomoyuki Yamakami |
An Algorithmic Argument for Nonadaptive Query Complexity Lower Bounds on Advised Quantum Computation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 827-838, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Algorithmic argument, nonadaptive query, quantum computation, query complexity, advice |
31 | Antoine Petitet, Jack J. Dongarra |
Algorithmic Redistribution Methods for Block-Cyclic Decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(12), pp. 1201-1216, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Algorithmic blocking, block-cyclic decomposition, redistribution |
31 | Grazyna Mirkowska, Andrzej Salwicki |
On Applications of Algorithmic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings, pp. 288-306, 1986, Springer, 3-540-16443-X. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
algorithmic logic, LOGLAN, verification, specification, program, implementation, computation, completeness, extension, modules, expressivity, inference rules, axioms, semantical properties |
31 | Alejandro López-Ortiz |
Algorithmic Foundations of the Internet: Roundup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAN ![In: Combinatorial and Algorithmic Aspects of Networking, First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers, pp. 192-204, 2004, Springer, 3-540-27873-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | I. V. Vel'bitskiy |
Metalanguage for formal definition of semantics of programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods of Algorithmic Language Implementation ![In: Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings], pp. 105-128, 1975, Springer, 3-540-08065-1. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
28 | Ernst W. Mayr |
In Is on the Boundary: Complexity Considerations for Polynominal Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 99, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Joos Heintz, Guillermo Matera, Ariel Waissbein |
On the Time-Space Complexity of Geometric Elimination Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(4), pp. 239-296, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Algorithmic elimination theory, Polynomial equation solving, Algebraic complexity theory, Time-space complexity, Computation tree, Symbolic computation, Straight-line program |
27 | Andrei E. Romashchenko, Alexander Shen, Nikolai K. Vereshchagin |
Combinatorial Interpretation of Kolmogorov Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 15th Annual IEEE Conference on Computational Complexity, Florence, Italy, July 4-7, 2000, pp. 131-137, 2000, IEEE Computer Society, 0-7695-0674-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
algorithmic information theory, combinatorial inequalities, Kolmogorov complexity |
27 | Martin Grohe |
Algorithmic Meta Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 34th International Workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers, pp. 30, 2008, 978-3-540-92247-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Ravi Jain, David Molnar, Zulfikar Ramzan |
Towards understanding algorithmic factors affecting energy consumption: switching complexity, randomness, and preliminary experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIALM-POMC ![In: Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, Cologne, Germany, September 2, 2005, pp. 70-79, 2005, ACM, 1-59593-092-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
randomness cost, switching cost, energy measurement |
27 | Beniamino Di Martino, Anna Bonifacio |
Specification and Automated Recognition of Algorithmic Concepts with ALCOR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II, pp. 748-757, 2003, Springer, 3-540-40195-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Roman Genov, Gert Cauwenberghs |
Algorithmic partial analog-to-digital conversion in mixed-signal array processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 769-772, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Beniamino Di Martino |
ALCOR - An Algorithmic Concept Recognition Tool to Support High Level Parallel Program Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing Advanced Scientific Computing, 6th International Conference, PARA 2002, Espoo, Finland, June 15-18, 2002, Proceedings, pp. 150-159, 2002, Springer, 3-540-43786-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Vojin G. Oklobdzija |
An algorithmic and novel design of a leading zero detector circuit: comparison with logic synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 2(1), pp. 124-128, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Mariam Kamkar, Nahid Shahmehri, Peter Fritzson |
Bug Localization by Algorithmic Debugging and Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 60-74, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|