Search results for 'Algorithms' (try it on Scholar)

1000+ found
Sort by:
  1. Katja de Vries (2010). Identity, Profiling Algorithms and a World of Ambient Intelligence. Ethics and Information Technology 12 (1):71-85.score: 18.0
    The tendency towards an increasing integration of the informational web into our daily physical world (in particular in so-called Ambient Intelligent technologies which combine ideas derived from the field of Ubiquitous Computing, Intelligent User Interfaces and Ubiquitous Communication) is likely to make the development of successful profiling and personalization algorithms, like the ones currently used by internet companies such as Amazon , even more important than it is today. I argue that the way in which we experience ourselves necessarily (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  2. Jeff Edmonds (2008). How to Think About Algorithms. Cambridge University Press.score: 18.0
    There are many algorithm texts that provide lots of well-polished code and proofs of correctness. Instead, this book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. By looking at both the big picture and easy step-by-step methods for developing algorithms, the author helps students avoid the common pitfalls. He stresses paradigms such as loop invariants and recursion to unify a huge range of algorithms into a few meta-algorithms. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Rolf Niedermeier (2006). Invitation to Fixed-Parameter Algorithms. Oxford University Press.score: 18.0
    A fixed-parameter is an algorithm that provides an optimal solution to a combinatorial problem. This research-level text is an application-oriented introduction to the growing and highly topical area of the development and analysis of efficient fixed-parameter algorithms for hard problems. The book is divided into three parts: a broad introduction that provides the general philosophy and motivation; followed by coverage of algorithmic methods developed over the years in fixed-parameter algorithmics forming the core of the book; and a discussion of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. M. W. Bunder & R. M. Rizkalla (2009). Proof-Finding Algorithms for Classical and Subclassical Propositional Logics. Notre Dame Journal of Formal Logic 50 (3):261-273.score: 18.0
    The formulas-as-types isomorphism tells us that every proof and theorem, in the intuitionistic implicational logic $H_\rightarrow$, corresponds to a lambda term or combinator and its type. The algorithms of Bunder very efficiently find a lambda term inhabitant, if any, of any given type of $H_\rightarrow$ and of many of its subsystems. In most cases the search procedure has a simple bound based roughly on the length of the formula involved. Computer implementations of some of these procedures were done in (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. O. B. Lupanov (ed.) (2005). Stochastic Algorithms: Foundations and Applications: Third International Symposium, Saga 2005, Moscow, Russia, October 20-22, 2005: Proceedings. [REVIEW] Springer.score: 18.0
    This book constitutes the refereed proceedings of the Third International Symposium on Stochastic Algorithms: Foundations and Applications, SAGA 2005, held in Moscow, Russia in October 2005. The 14 revised full papers presented together with 5 invited papers were carefully reviewed and selected for inclusion in the book. The contributed papers included in this volume cover both theoretical as well as applied aspects of stochastic computations whith a special focus on new algorithmic ideas involving stochastic decisions and the design and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Katja Vries (2010). Identity, Profiling Algorithms and a World of Ambient Intelligence. Ethics and Information Technology 12 (1):71-85.score: 18.0
    The tendency towards an increasing integration of the informational web into our daily physical world (in particular in so-called Ambient Intelligent technologies which combine ideas derived from the field of Ubiquitous Computing, Intelligent User Interfaces and Ubiquitous Communication) is likely to make the development of successful profiling and personalization algorithms, like the ones currently used by internet companies such as Amazon, even more important than it is today. I argue that the way in which we experience ourselves necessarily goes (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Robert Zimmer, Robert Holte & Alan MacDonald (1997). The Impact of Representation on the Efficacy of Artificial Intelligence: The Case of Genetic Algorithms. [REVIEW] AI and Society 11 (1-2):76-87.score: 18.0
    This paper is about representations for Artificial Intelligence systems. All of the results described in it involve engineering the representation to make AI systems more effective. The main AI techniques studied here are varieties of search: path-finding in graphs, and probablilistic searching via simulated annealing and genetic algorithms. The main results are empirical findings about the granularity of representation in implementations of genetic algorithms. We conclude by proposing a new algorithm, called “Long-Term Evolution,” which is a genetic algorithm (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Luis Rosa (2014). Justification and Cognitive Algorithms. Philosophia 42 (2):503-515.score: 16.0
    In this paper, we offer an alternative interpretation for the claim that ‘S is justified in believing that φ’. First, we present what seems to be a common way of interpreting this claim: as an attribution of propositional justification. According to this interpretation, being justified is just a matter of having confirming evidence. We present a type of case that does not fit well with the standard concept, where considerations about cognition are made relevant. The concept of cognitive algorithm is (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. V. Rybakov (2008). Discrete Linear Temporal Logic with Current Time Point Clusters, Deciding Algorithms. Logic and Logical Philosophy 17 (1-2):143-161.score: 16.0
    The paper studies the logic TL(NBox+-wC) – logic of discrete linear time with current time point clusters. Its language uses modalities Diamond+ (possible in future) and Diamond- (possible in past) and special temporal operations, – Box+w (weakly necessary in future) and Box-w (weakly necessary in past). We proceed by developing an algorithm recognizing theorems of TL(NBox+-wC), so we prove that TL(NBox+-wC) is decidable. The algorithm is based on reduction of formulas to inference rules and converting the rules in special reduced (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. F. Masarani & S. S. Gokturk (1989). On the Existence of Fair Matching Algorithms. Theory and Decision 26 (3):305-322.score: 15.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. M. Y. Kao (ed.) (2007). Encyclopedia of Algorithms. Springer.score: 15.0
    The online edition supplements this index with hyperlinks as well as including internal hyperlinks to related entries in the text, CrossRef citations, and links ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. A. P. Ershov & Donald Ervin Knuth (eds.) (1981). Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek Ssr, September 16-22, 1979. Springer-Verlag.score: 15.0
  13. S. I. Adi͡an (ed.) (1977). Mathematical Logic, the Theory of Algorithms, and the Theory of Sets. American Mathematical Society.score: 15.0
  14. Ljiljana Brankovic, Yuqing Lin & Bill Smyth (eds.) (2008). Proceedings of the International Workshop on Combinatorial Algorithms, 2007. College Publications.score: 15.0
    No categories
     
    My bibliography  
     
    Export citation  
  15. Freddy Bugge Christiansen & Marcus W. Feldman (1998). Algorithms, Genetics, and Populations: The Schemata Theorem Revisited. Complexity 3 (3):57-64.score: 15.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Florian Eitel, Karl‐Georg Kanz & Arthur Tesche Ma (2000). Do We Face a Fourth Paradigm Shift in Medicine – Algorithms in Education? Journal of Evaluation in Clinical Practice 6 (3):321-333.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. David E. Goldberg, Kumara Sastry & Xavier Llorà (2007). Toward Routine Billion‐Variable Optimization Using Genetic Algorithms. Complexity 12 (3):27-29.score: 15.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Donald Ervin Knuth (2010). Selected Papers on Design of Algorithms. Center for the Study of Language and Information.score: 15.0
  19. S. J. Koopman (2008). Statistical Algorithms for Models in State Space Form: Ssfpack 3. Timberlake Consultants.score: 15.0
     
    My bibliography  
     
    Export citation  
  20. Robert R. Korfhage (1966). Logic and Algorithms. New York, Wiley.score: 15.0
    No categories
     
    My bibliography  
     
    Export citation  
  21. Ozgen A. Ozbek, Mehmet A. Oktem, Guliz Dogan & Yusuf H. Abacioglu (2004). Application of Hepatitis Serology Testing Algorithms to Assess Inappropriate Laboratory Utilization. Journal of Evaluation in Clinical Practice 10 (4):519-523.score: 15.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. W. Teed Rockwell (2013). Algorithms and Stories. Human Affairs 23 (4):633-644.score: 15.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Carol E. Cleland (2001). Recipes, Algorithms, and Programs. Minds and Machines 11 (2):219-237.score: 14.0
    In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as ineffective on (...)
    Direct download (20 more)  
     
    My bibliography  
     
    Export citation  
  24. Murray Clarke (1996). Darwinian Algorithms and Indexical Representation. Philosophy of Science 63 (1):27-48.score: 14.0
    In this paper, I argue that accurate indexical representations have been crucial for the survival and reproduction of homo sapiens sapiens. Specifically, I want to suggest that reliable processes have been selected for because of their indirect, but close, connection to true belief during the Pleistocene hunter-gatherer period of our ancestral history. True beliefs are not heritable, reliable processes are heritable. Those reliable processes connected with reasoning take the form of Darwinian Algorithms: a plethora of specialized, domain-specific inference rules (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Martin Peterson (2011). Is There an Ethics of Algorithms? Ethics and Information Technology 13 (3):251-260.score: 14.0
    We argue that some algorithms are value-laden, and that two or more persons who accept different value-judgments may have a rational reason to design such algorithms differently. We exemplify our claim by discussing a set of algorithms used in medical image analysis: In these algorithms it is often necessary to set certain thresholds for whether e.g. a cell should count as diseased or not, and the chosen threshold will partly depend on the software designer’s preference between (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  26. Paola Cantu' & Italo Testa (2011). Algorithms and Arguments: The Foundational Role of the ATAI-Question. In Frans H. van Eemeren, Bart Garssen, David Godden & Gordon Mitchell (eds.), Proceedings of the Seventh International Conference of the International Society for the Study of Argumentation (pp. 192-203). Rozenberg / Sic Sat.score: 12.0
    Argumentation theory underwent a significant development in the Fifties and Sixties: its revival is usually connected to Perelman's criticism of formal logic and the development of informal logic. Interestingly enough it was during this period that Artificial Intelligence was developed, which defended the following thesis (from now on referred to as the AI-thesis): human reasoning can be emulated by machines. The paper suggests a reconstruction of the opposition between formal and informal logic as a move against a premise of an (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. David Freedman & Paul Humphreys (1999). Are There Algorithms That Discover Causal Structure? Synthese 121 (1-2):29-54.score: 12.0
    There have been many efforts to infer causation from association byusing statistical models. Algorithms for automating this processare a more recent innovation. In Humphreys and Freedman[(1996) British Journal for the Philosophy of Science 47, 113–123] we showed that one such approach, by Spirtes et al., was fatally flawed. Here we put our arguments in a broader context and reply to Korb and Wallace [(1997) British Journal for thePhilosophy of Science 48, 543–553] and to Spirtes et al.[(1997) British Journal for (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. Richard E. Korf (1995). Heuristic Evaluation Functions in Artificial Intelligence Search Algorithms. Minds and Machines 5 (4):489-498.score: 12.0
    We consider a special case of heuristics, namely numeric heuristic evaluation functions, and their use in artificial intelligence search algorithms. The problems they are applied to fall into three general classes: single-agent path-finding problems, two-player games, and constraint-satisfaction problems. In a single-agent path-finding problem, such as the Fifteen Puzzle or the travelling salesman problem, a single agent searches for a shortest path from an initial state to a goal state. Two-player games, such as chess and checkers, involve an adversarial (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Jaakko Kuorikoski & Samuli Pöyhönen (2014). Understanding Nonmodular Functionality: Lessons From Genetic Algorithms. Philosophy of Science 80 (5):637-649.score: 12.0
    Evolution is often characterized as a tinkerer creating efficient but messy solutions. We analyze the nature of the problems that arise when trying to explain and understand cognitive phenomena created by this haphazard design process. We present a theory of explanation and understanding and apply it to a case problem—solutions generated by genetic algorithms. By analyzing the nature of solutions that genetic algorithms present to computational problems, we show, first, that evolutionary designs are often hard to understand because (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. D. Fallis (2000). The Reliability of Randomized Algorithms. British Journal for the Philosophy of Science 51 (2):255-271.score: 12.0
    Recently, certain philosophers of mathematics (Fallis [1997]; Womack and Farach [(1997]) have argued that there are no epistemic considerations that should stop mathematicians from using probabilistic methods to establish that mathematical propositions are true. However, mathematicians clearly should not use methods that are unreliable. Unfortunately, due to the fact that randomized algorithms are not really random in practice, there is reason to doubt their reliability. In this paper, I analyze the prospects for establishing that randomized algorithms are reliable. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  31. Kees van Deemter, Albert Gatt, Ielka van der Sluis & Richard Power (2011). Generation of Referring Expressions: Assessing the Incremental Algorithm. Cognitive Science 36 (5):799-836.score: 12.0
    A substantial amount of recent work in natural language generation has focused on the generation of ‘‘one-shot’’ referring expressions whose only aim is to identify a target referent. Dale and Reiter's Incremental Algorithm (IA) is often thought to be the best algorithm for maximizing the similarity to referring expressions produced by people. We test this hypothesis by eliciting referring expressions from human subjects and computing the similarity between the expressions elicited and the ones generated by algorithms. It turns out (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  32. Andreas Blass, Nachum Dershowitz & Yuri Gurevich (2009). When Are Two Algorithms the Same? Bulletin of Symbolic Logic 15 (2):145-168.score: 12.0
    People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Tim Holmes & Johannes M. Zanker (2013). Investigating Preferences for Colour-Shape Combinations with Gaze Driven Optimization Method Based on Evolutionary Algorithms. Frontiers in Psychology 4:926.score: 12.0
    Studying aesthetic preference is notoriously difficult because it targets individual experience. Eye movements provide a rich source of behavioural measures that directly reflect subjective choice. To determine individual preferences for simple composition rules we here use fixation duration as the fitness measure in a Gaze Driven Evolutionary Algorithm (GDEA), which has been used as a tool to identify aesthetic preferences (Holmes & Zanker, 2012). In the present study, the GDEA was used to investigate the preferred combination of colour and shape (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Franz Baader & Ulrike Sattler (2001). An Overview of Tableau Algorithms for Description Logics. Studia Logica 69 (1):5-40.score: 12.0
    Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description logics have turned out to be closely related to propositional modal logics and logics of programs (such as propositional dynamic logic), for (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  35. Ron Sun, Integrating Reinforcement Learning, Bidding and Genetic Algorithms.score: 12.0
    This paper presents a GA-based multi-agent reinforce- ment learning bidding approach (GMARLB) for perform- ing multi-agent reinforcement learning. GMARLB inte- grates reinforcement learning, bidding and genetic algo- rithms. The general idea of our multi-agent systems is as follows: There are a number of individual agents in a team, each agent of the team has two modules: Q module and CQ module. Each agent can select actions to be performed at each step, which are done by the Q module. While the (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  36. Jan van Eijck, Formal Specification with Alloy: Specification of Algorithms.score: 12.0
    Overview • Alloy peculiarity • Alloy utilities • Assignments and pre- and postconditions in Alloy • Alloy for automated logical reasoning • Alloy specifications of algorithms • On your to do list: – Look through the example code in these slides, – make sure you understand what is happening. Note: Alloy Peculiarity..
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Helena Rasiowa (1981). On Logic of Complex Algorithms. Studia Logica 40 (3):289 - 310.score: 12.0
    An algebraic approach to programs called recursive coroutines — due to Janicki [3] — is based on the idea to consider certain complex algorithms as algebraics models of those programs. Complex algorithms are generalizations of pushdown algorithms being algebraic models of recursive procedures (see Mazurkiewicz [4]). LCA — logic of complex algorithms — was formulated in [11]. It formalizes algorithmic properties of a class of deterministic programs called here complex recursive ones or interacting stacks-programs, for which (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Shane Harwood & Richard Scheines, Learning Linear Causal Structure Equation Models with Genetic Algorithms.score: 12.0
    Shane Harwood and Richard Scheines. Learning Linear Causal Structure Equation Models with Genetic Algorithms.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Joseph Ramsey & Clark Glymour, Experiments on the Accuracy of Algorithms for Inferring the Structure of Genetic Regulatory Networks From Microarray Expression Levels.score: 12.0
    After reviewing theoretical reasons for doubting that machine learning methods can accurately infer gene regulatory networks from microarray data, we test 10 algorithms on simulated data from the sea urchin network, and on microarray data for yeast compared with recent experimental determinations of the regulatory network in the same yeast species. Our results agree with the theoretical arguments: most algorithms are at chance for determining the existence of a regulatory connection between gene pairs, and the algorithms that (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Hermann Wagner & Dirk Kautz (1998). Evolutionary Conservation and Ontogenetic Emergence of Neural Algorithms. Behavioral and Brain Sciences 21 (2):285-286.score: 12.0
    Neural algorithms are conserved during evolution. Neurons with different shapes and using different molecular mechanisms can perform the same computation. However, evolutionary conservation of neural algorithms is not sufficient for claiming the realization of an algorithm for a specific computational problem. A plausible scheme for ontogenetic emergence of the structure of the algorithm must also be provided.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Dan Klein & Christopher D. Manning, Interpreting and Extending Classical Agglomerative Clustering Algorithms Using a Model-Based Approach.score: 12.0
    erative clustering. First, we show formally that the common heuristic agglomerative clustering algorithms – Ward’s method, single-link, complete-link, and a variant of group-average – are each equivalent to a hierarchical model-based method. This interpretation gives a theoretical explanation of the empirical behavior of these algorithms, as well as a principled approach to resolving practical issues, such as number of clusters or the choice of method. Second, we show how a model-based viewpoint can suggest variations on these basic agglomerative (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Nikos Logothetis, Prediction on Spike Data Using Kernel Algorithms.score: 12.0
    We report and compare the performance of different learning algorithms based on data from cortical recordings. The task is to predict the orientation of visual stimuli from the activity of a population of simultaneously recorded neurons. We compare several ways of improving the coding of the input (i.e., the spike data) as well as of the output (i.e., the orientation), and report the results obtained using different kernel algorithms.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. B. Porr & P. Di Prodi (2014). Authors' Response: What to Do Next: Applying Flexible Learning Algorithms to Develop Constructivist Communication. Constructivist Foundations 9 (2):218-222.score: 12.0
    Upshot: We acknowledge that our model can be implemented with different reinforcement learning algorithms. Subsystem formation has been successfully demonstrated on the basal level, and in order to show full subsystem formation in the communication system at least both intentional utterances and acceptance/rejection need to be implemented. The comments about intrinsic vs extrinsic rewards made clear that this distinction is not helpful in the context of the constructivist paradigm but rather needs to be replaced by a critical reflection on (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. N. Soldati, V. D. Calhoun, L. Bruzzone & J. Jovicich (2012). ICA Analysis of fMRI with Real-Time Constraints: An Evaluation of Fast Detection Performance as Function of Algorithms, Parameters and a Priori Conditions. Frontiers in Human Neuroscience 7:19-19.score: 12.0
    Independent Component Analysis (ICA) techniques offer a data-driven possibility to analyse brain functional MRI data in real-time. Typical ICA methods used in fMRI, however, have been until now mostly developed and optimized for the off-line case in which all data is available. Real-time experiments are ill-posed for ICA in that several constraints are added: limited data, limited analysis time and dynamic changes in the data and computational speed. Previous studies have shown that particular choices of ICA parameters can be used (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  45. Andreas Tolias, Prediction on Spike Data Using Kernel Algorithms.score: 12.0
    We report and compare the performance of different learning algorithms based on data from cortical recordings. The task is to predict the orientation of visual stimuli from the activity of a population of simultaneously recorded neurons. We compare several ways of improving the coding of the input (i.e., the spike data) as well as of the output (i.e., the orientation), and report the results obtained using different kernel algorithms.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  46. Susan G. Sterrett (2002). Nested Algorithms and the Original Imitation Game Test: A Reply to James Moor. [REVIEW] Minds and Machines 12 (1):131-136.score: 11.0
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  47. Felix J. H. Hol, Xin Wang & Juan E. Keymer (2012). Population Structure Increases the Evolvability of Genetic Algorithms. Complexity 17 (5):58-64.score: 11.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Robert G. Reynolds, Bin Peng & Mostafa Z. Ali (2008). The Role of Culture in the Emergence of Decision‐Making Roles: An Example Using Cultural Algorithms. Complexity 13 (3):27-42.score: 11.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000