Search results for "algorithmic"

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.	IEEE Trans. Software Eng.	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.	CMMR	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.	Encyclopedia of Optimization	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.	ACM J. Educ. Resour. Comput.	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.	PPDP	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.	PLDI	2009	DBLP DOI BibTeX RDF	algorithmic choice, implicitly parallel, adaptive, compiler, language, autotuning
40	Christian Lasarczyk, Wolfgang Banzhaf	Total synthesis of algorithmic chemistries.	GECCO	2005	DBLP DOI BibTeX RDF	algorithmic chemistries, total synthesis, genetic programming
40	David Ginat	Algorithmic patterns and the case of the sliding delta.	ACM SIGCSE Bull.	2004	DBLP DOI BibTeX RDF	algorithmic problem solving, patterns
36	Yossi Lichtenstein, Ehud Shapiro	Concurrent Algorithmic Debugging.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF
36	Frieder Nake	Computer art: creativity and computability.	Creativity & Cognition	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.	ASAP	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.	PDP	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.	ISSEP	2008	DBLP DOI BibTeX RDF	Algorithmic problem solving, Instructional design
36	Jacob N. Smith, Gabriel Dos Reis, Jaakko Järvi	Algorithmic differentiation in Axiom.	ISSAC	2007	DBLP DOI BibTeX RDF	algorithmic differentiation, program transformation, axiom, symbolic-numeric computation
33	David Ogborn	Network music and the algorithmic ensemble.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Jan C. Schacher	Algorithmic Spatialisation.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Christopher Haworth	Technology, Creativity and The Social in Algorithmic Music.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Geoff Cox, Morten Riis	(Micro) Politics of Algorithmic Music: Towards a Tactical Media Archaeology.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Warren Burt	Thoughts on Algorithmic Practice.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Alex McLean, Roger T. Dean	Algorithmic Trajectories.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Julian Rohrhuber	Algorithmic Music and the Philosophy of Time.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Mary Simoni	The Audience Reception of Algorithmic Music.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Yuli Levtov	Algorithmic Music for Mass Consumption and Universal Production.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Nick Collins	Origins of Algorithmic Thinking in Music.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Charles Matthews	Algorithmic Thinking and Central Javanese Gamelan.	The Oxford Handbook of Algorithmic Music	2018	DBLP BibTeX RDF
33	Stephan Kreutzer	Algorithmic meta-theorems.	Finite and Algorithmic Model Theory	2011	DBLP BibTeX RDF
33	Steve Petersen	Toward an Algorithmic Metaphysics.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Hayato Takahashi 0001	Algorithmic Analogies to Kamae-Weiss Theorem on Normal Numbers.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Douglas Ian Campbell	The Semimeasure Property of Algorithmic Probability - "Feature" or "Bug"?	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Ray J. Solomonoff, Elias G. Saleeby	On the Application of Algorithmic Probability to Autoregressive Models.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Eray Özkural	Diverse Consequences of Algorithmic Probability.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Rusins Freivalds	Algorithmic Information Theory and Computational Complexity.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Jean-Louis Dessalles	Algorithmic Simplicity and Relevance.	Algorithmic Probability and Friends	2011	DBLP DOI BibTeX RDF
33	Leif K. Jørgensen	Algorithmic Approach to Non-symmetric 3-class Association Schemes.	Algorithmic Algebraic Combinatorics and Gröbner Bases	2009	DBLP DOI BibTeX RDF
33	Aiso Heinze, Mikhail H. Klin	Loops, Latin Squares and Strongly Regular Graphs: An Algorithmic Approach via Algebraic Combinatorics.	Algorithmic Algebraic Combinatorics and Gröbner Bases	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.	Algorithmic Methods for Distributed Cooperative Systems	2009	DBLP BibTeX RDF
33	Andrew J. Turberfield	Algorithmic Control: The Assembly and Operation of DNA Nanostructures and Molecular Machinery.	Algorithmic Bioprocesses	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.	Induction, Algorithmic Learning Theory, and Philosophy	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.	Algorithmic-Logical Theory of Infinite Structures	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.	Algorithmic-Logical Theory of Infinite Structures	2007	DBLP BibTeX RDF
33	Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein	06201 Executive Summary -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery.	Combinatorial and Algorithmic Foundations of Pattern and Association Discovery	2006	DBLP BibTeX RDF
33	Rudolf Ahlswede, Alberto Apostolico, Vladimir I. Levenshtein	06201 Abstracts Collection -- Combinatorial and Algorithmic Foundations of Pattern and Association Discovery.	Combinatorial and Algorithmic Foundations of Pattern and Association Discovery	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.	Algorithmic Aspects of Large and Complex Networks	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.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
33	Leo G. Kroon, Dorothea Wagner, Frank Geraets, Christos D. Zaroliagis	04261 Abstracts Collection - Algorithmic Methods for Railway Optimization.	Algorithmic Methods for Railway Optimization	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	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Klaus Achatz, Helmuth Partsch	A powerful transformation rule, its applications and variants.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum	Synthesising interconnections.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Eric Violard, Stéphane Genaud, Guy-René Perrin	Refinement of data parallel programs in PEI.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Matteo Vaccari, Roland Carl Backhouse	Deriving a systolic regular language recognizer.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Alberto Pettorossi, Maurizio Proietti	Program derivation via list introduction.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Yanhong A. Liu	Principled strength reduction.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Theodore S. Norvell	Predicative semantics of loops.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi	A calculational fusion system HYLO.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Marc Frappier, Ali Mili 0001, Jules Desharnais	Defining and detecting feature interactions.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Yellamraju V. Srinivas	Refinement of parameterized algebraic specifications.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Sharon Curtis	Dynamic programming: a different perspective.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	David S. Wile	Towards a calculus for abstract syntax trees.	Algorithmic Languages and Calculi	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.	Algorithmic Languages and Calculi	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.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Juan Bicarregui, Kevin Lano, T. S. E. Maibaum	Towards a compositional interpretation of object diagrams.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Bernhard Möller	Calculating with pointer structures.	Algorithmic Languages and Calculi	1997	DBLP BibTeX RDF
33	Stefan Schirra	Precision and Robustness in Geometric Computations.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Edouard Bugnion, Thomas Roos, Roger Wattenhofer, Peter Widmayer	Space Filling Curves versus Random Walks.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Jürg Nievergelt, Peter Widmayer	Spatial Data Structures: Concepts and Design Choices.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Marc J. van Kreveld	Digital Elevation Models and TIN Algorithms.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Mark de Berg	Visualization of TINs.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Robert Weibel	Generalization of Spatial Data: Principles and Selected Algorithms.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Lars Arge	External-Memory Algorithms with Applications in GIS.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Jürg Nievergelt	Introduction to Geometric Computing: From Algorithms to Software.	Algorithmic Foundations of Geographic Information Systems	1996	DBLP DOI BibTeX RDF
33	Christopher M. Gold, Peter R. Remmele	Voronoi Methods in GIS.	Algorithmic Foundations of Geographic Information Systems	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.	FAW	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.	DNA	2006	DBLP DOI BibTeX RDF
32	Robert T. Firla, Bianca Spille, Robert Weismantel	Algorithmic Characterization of Bipartite b-Matching and Matroid Intersection.	Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
32	Michael J. Butler, Mairead Meagher	Performing Algorithmic Refinement before Data Refinement in B.	ZB	2000	DBLP DOI BibTeX RDF
31	Kohtaro Tadaki	Fixed Point Theorems on Partial Randomness.	LFCS	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.	SIGCSE	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.	Frontiers Comput. Sci. China	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.	IEEE/ACM Trans. Netw.	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.	SAC	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.	ISMVL	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.	SIGIR	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.	IEEE Trans. Pattern Anal. Mach. Intell.	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.	Nat. Comput.	2007	DBLP DOI BibTeX RDF	classical and quantum information, algorithmic complexity
31	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	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).	MFCS	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.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Algorithmic blocking, block-cyclic decomposition, redistribution
31	Grazyna Mirkowska, Andrzej Salwicki	On Applications of Algorithmic Logic.	CAAP	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.	CAAN	2004	DBLP DOI BibTeX RDF
29	I. V. Vel'bitskiy	Metalanguage for formal definition of semantics of programming languages.	Methods of Algorithmic Language Implementation	1975	DBLP DOI BibTeX RDF
28	Ernst W. Mayr	In Is on the Boundary: Complexity Considerations for Polynominal Ideals.	IFIP TCS	2000	DBLP DOI BibTeX RDF
27	Joos Heintz, Guillermo Matera, Ariel Waissbein	On the Time-Space Complexity of Geometric Elimination Procedures.	Appl. Algebra Eng. Commun. Comput.	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.	CCC	2000	DBLP DOI BibTeX RDF	algorithmic information theory, combinatorial inequalities, Kolmogorov complexity
27	Martin Grohe	Algorithmic Meta Theorems.	WG	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.	DIALM-POMC	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.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
27	Roman Genov, Gert Cauwenberghs	Algorithmic partial analog-to-digital conversion in mixed-signal array processors.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
27	Beniamino Di Martino	ALCOR - An Algorithmic Concept Recognition Tool to Support High Level Parallel Program Development.	PARA	2002	DBLP DOI BibTeX RDF
27	Vojin G. Oklobdzija	An algorithmic and novel design of a leading zero detector circuit: comparison with logic synthesis.	IEEE Trans. Very Large Scale Integr. Syst.	1994	DBLP DOI BibTeX RDF
27	Mariam Kamkar, Nahid Shahmehri, Peter Fritzson	Bug Localization by Algorithmic Debugging and Program Slicing.	PLILP	1990	DBLP DOI BibTeX RDF