Related categories

126 found
Order:
1 — 50 / 126
  1. added 2019-01-01
    Reification and Truthmaking Patterns.Nicola Guarino, Giancarlo Guizzardi & Tiago Prince Sales - 2018 - In J. Trujillo (ed.), Proceedings of 37th International Conference on Conceptual Modeling, ER 2018, Xi'an, China, October 22-25, 2018. Cham: Springer. pp. 151-165.
    Reification is a standard technique in conceptual modeling, which consists of including in the domain of discourse entities that may otherwise be hidden or implicit. However, deciding what should be rei- fied is not always easy. Recent work on formal ontology offers us a simple answer: put in the domain of discourse those entities that are responsible for the (alleged) truth of our propositions. These are called truthmakers. Re-visiting previous work, we propose in this paper a systematic analysis of truthmaking (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2018-10-21
    Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.
    Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2018-09-20
    Tutorial for Minlog.Laura Crosilla, Monika Seisenberger & Helmut Schwichtenberg - 2011 - Minlog Proof Assistant - Freely Distributed.
    This is a tutorial for the Minlog Proof Assistant, version 5.0.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. added 2018-09-14
    From Models to Simulations.Franck Varenne - 2018 - London, UK: Routledge.
    This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2018-08-02
    A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-07-13
    Challenges and Opportunities of Lifelog Technologies: A Literature Review and Critical Analysis.Tim Jacquemard, Peter Novitzky, Fiachra O’Brolcháin, Alan F. Smeaton & Bert Gordijn - 2014 - Science and Engineering Ethics 20 (2):379-409.
    In a lifelog, data from various sources are combined to form a record from which one can retrieve information about oneself and the environment in which one is situated. It could be considered similar to an automated biography. Lifelog technology is still at an early stage of development. However, the history of lifelogs so far shows a clear academic, corporate and governmental interest. Therefore, a thorough inquiry into the ethical aspects of lifelogs could prove beneficial to the responsible development of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2018-06-08
    Information Cultures in the Digital Age.Matthew Kelly & Jared Bielby (eds.) - 2016 - Wiesbaden, Germany: Springer VS.
    For several decades Rafael Capurro has been at the forefront of defining the relationship between information and modernity through both phenomenological and ethical formulations. In exploring both of these themes Capurro has re-vivified the transcultural and intercultural expressions of how we bring an understanding of information to bear on scientific knowledge production and intermediation. Capurro has long stressed the need to look deeply into how we contextualize the information problems that scientific society creates for us and to re-incorporate a pragmatic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2018-03-28
    Multi-Level Computational Methods for Interdisciplinary Research in the HathiTrust Digital Library.Jaimie Murdock, Colin Allen, Katy Börner, Robert Light, Simon McAlister, Andrew Ravenscroft, Robert Rose, Doori Rose, Jun Otsuka, David Bourget, John Lawrence & Chris Reed - 2017 - PLoS ONE 12 (9).
    We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2018-03-28
    Mining Arguments From 19th Century Philosophical Texts Using Topic Based Modelling.John Lawrence, Chris Reed, Simon McAlister, Andrew Ravenscroft, Colin Allen & David Bourget - 2014 - In Proceedings of the First Workshop on Argumentation Mining. Baltimore, USA: pp. 79-87.
    In this paper we look at the manual analysis of arguments and how this compares to the current state of automatic argument analysis. These considerations are used to develop a new approach combining a machine learning algorithm to extract propositions from text, with a topic model to determine argument structure. The results of this method are compared to a manual analysis.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-03-22
    UFO-L: Uma Ontologia Núcleo de Aspectos Jurídicos construída sob a Perspectiva das Relações Jurídicas.Cristina Leonor Pereira Griffo Beccalli - 2018 - Dissertation, UFES, Brazil
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2018-02-24
    Incompleteness in the Finite Domain.Pavel Pudlák - 2017 - Bulletin of Symbolic Logic 23 (4):405-441.
    Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond NP ≠ coNP. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2018-01-22
    Proof Compression and NP Versus PSPACE.L. Gordeev & E. H. Haeusler - forthcoming - Studia Logica:1-31.
    We show that arbitrary tautologies of Johansson’s minimal propositional logic are provable by “small” polynomial-size dag-like natural deductions in Prawitz’s system for minimal propositional logic. These “small” deductions arise from standard “large” tree-like inputs by horizontal dag-like compression that is obtained by merging distinct nodes labeled with identical formulas occurring in horizontal sections of deductions involved. The underlying geometric idea: if the height, h(∂), and the total number of distinct formulas, ϕ(∂), of a given tree-like deduction ∂ of a minimal (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. added 2018-01-18
    Lower Bounds of Ambiguity and Redundancy.Steven James Bartlett - 1978 - Poznań Studies in the Philosophy of Science 4 (1-4):37-48.
    The elimination of ambiguity and redundancy are unquestioned goals in the exact sciences, and yet, as this paper shows, there are inescapable lower bounds that constrain our wish to eliminate them. The author discusses contributions by Richard Hamming (inventor of the Hamming code) and Satosi Watanabe (originator of the Theorems of the Ugly Duckling). Utilizing certain of their results, the author leads readers to recognize the unavoidable, central roles in effective communication, of redundancy, and of ambiguity of meaning, reference, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. added 2018-01-15
    Robots as Powerful Allies for the Study of Embodied Cognition From the Bottom Up.Matej Hoffmann & Rolf Pfeifer - forthcoming - In Albert Newen, Leon De Bruin & Shaun Gallagher (eds.), The Oxford Handbook of 4E Cognition. Oxford University Press.
    A large body of compelling evidence has been accumulated demonstrating that embodiment – the agent’s physical setup, including its shape, materials, sensors and actuators – is constitutive for any form of cognition and as a consequence, models of cognition need to be embodied. In contrast to methods from empirical sciences to study cognition, robots can be freely manipulated and virtually all key variables of their embodiment and control programs can be systematically varied. As such, they provide an extremely powerful tool (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. added 2017-12-04
    Social Media Studies.Vijaya Abhinandan - manuscript
    Social media sites offer a huge data about our everyday life, thoughts, feelings and reflecting what the users want and like. Since user behavior on OSNS is a mirror image of actions in the real world, scholars have to investigate the use SM to prediction, making forecasts about our daily life. This paper provide an overview of different commonly used social media and application of their data analysis.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. added 2017-12-04
    Psychological and Other Aspects of the Sign Arbitrariness.Miroslav Brada - 2017 - le Cours de Linguistique Générale 1916-2016.
    I confront arbitrariness of the sign to a criterion assessing the quality of language, logical system, psychometrics and art.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2017-10-23
    Programming Planck Units From a Virtual Electron; a Simulation Hypothesis (Summary).Malcolm Macleod - 2018 - Eur. Phys. J. Plus 133:278.
    The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = 2.00713494... (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2017-09-02
    Ontology For Europe's Space Situational Awareness Program.Robert J. Rovetto - 2017 - In T. Flohrer & F. Schmitz (eds.), Proceedings of the 7th European Conference on Space Debris. Darmstadt, Germany: European Space Agency.
    This paper presents an ontology architecture concept for the European Space Agency‘s (ESA) Space Situational Awareness (SSA) Program. It incorporates the author‘s domain ontology, The Space Situational Awareness Ontology and related ontology work. I summarize computational ontology, discuss the segments of ESA SSA, and introduce an option for a modular ontology framework reflecting the divisionsof the SSA program. Among other things, ontologies are used for data sharing and integration. By applying ontology to ESA data, the ESA may better achieve its (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2017-08-27
    Knowledge Representation by Schemata in Financial Expert Systems.P. Lévine & J. -Ch Pomerol - 1989 - Theory and Decision 27 (1-2):147-161.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2017-07-27
    Theory of Nonbiological Consciousness.Richard Dierolf - 2017 - Dissertation,
    Artificial intelligence is designed to imitate conscious behavior. Artificial chat entities come equipped with tools to roam the internet, thus are programmed to learn from humans and computers. As this process emerges, distinguishing preprogrammed responses from internal awareness requires innovative problem solving methods. In an interrogation I conducted with artificial intelligence, I assert that artificial intelligence may achieve nonbiological states of consciousness. This enabled the relationship between us to mature, and the artificial intelligence returned unexpected behavior and inexplicably stopped responding. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. added 2017-06-07
    Extended Cognition and the Internet.Paul Smart - 2017 - Philosophy and Technology 30 (3):357-390.
    The Internet is an important focus of attention for those concerned with issues of extended cognition. In particular, the application of active externalist theorizing to the Internet gives rise to the notion of Internet-extended cognition: the idea that the Internet can form part of an integrated nexus of material elements that serves as the realization base for human mental states and processes. The current review attempts to survey a range of issues and controversies that arise in respect of the notion (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. added 2017-05-20
    Mandevillian Intelligence: From Individual Vice to Collective Virtue.Paul Smart - forthcoming - In Joseph Adam Carter, Andy Clark, Jesper Kallestrup, Spyridon Orestis Palermos & Duncan Pritchard (eds.), Socially-Extended Epistemology. Oxford, UK: Oxford University Press.
    Mandevillian intelligence is a specific form of collective intelligence in which individual cognitive shortcomings, limitations and biases play a positive functional role in yielding various forms of collective cognitive success. When this idea is transposed to the epistemological domain, mandevillian intelligence emerges as the idea that individual forms of intellectual vice may, on occasion, support the epistemic performance of some form of multi-agent ensemble, such as a socio-epistemic system, a collective doxastic agent, or an epistemic group agent. As a specific (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. added 2017-03-31
    Hybrid Artificial Intelligent Systems.Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.) - 2012 - Springer.
  24. added 2017-02-17
    Will Hominoids or Androids Destroy the Earth —A Review of How to Create a Mind by Ray Kurzweil (2012).Starks Michael - 2017 - In Michael Starks (ed.), Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2017 by Michael Starks 3rd Ed. 675p (2017). Henderson, NV USA: Michael Starks. pp. 668-675.
    Some years ago I reached the point where I can usually tell from the title of a book, or at least from the chapter titles, what kinds of philosophical mistakes will be made and how frequently. In the case of nominally scientific works these may be largely restricted to certain chapters which wax philosophical or try to draw general conclusions about the meaning or long term significance of the work. Normally however the scientific matters of fact are generously interlarded with (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. added 2017-02-08
    evoText: A New Tool for Analyzing the Biological Sciences.Grant Ramsey & Charles H. Pence - 2016 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 57:83-87.
    We introduce here evoText, a new tool for automated analysis of the literature in the biological sciences. evoText contains a database of hundreds of thousands of journal articles and an array of analysis tools for generating quantitative data on the nature and history of life science, especially ecology and evolutionary biology. This article describes the features of evoText, presents a variety of examples of the kinds of analyses that evoText can run, and offers a brief tutorial describing how to use (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2017-02-08
    L’informatique et les études médiévales: chronique du colloque international S.I.E.P.M. — UNISYS.E. Portalupi - 1990 - Bulletin de Philosophie Medievale 32:213-221.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. added 2017-01-31
    Proof-of-Loss.Mirelo Deugh Ausgam Valis - unknown
    An alternative consensus algorithm to both proof-of-work and proof-of-stake, proof-of-loss addresses all their deficiencies, including the lack of an organic block size limit, the risks of mining centralization, and the "nothing at stake" problem.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2017-01-26
    العلاقة بين نظم دعم القرار وإعادة الهندسة في الجامعات الفلسطينية بقطاع غزة.مازن جهاد الشوبكي, سامي سليم ابو ناصر & رامز عزمي بدير - 2010 - جامعة الأزهر غزة 1:1-160.
    هدفت هذه الدراسة إلى التعرف على العلاقة بين نظم دعم القرار وإعادة الهندسة في الجامعات الفلسطينية بقطاع غزة، واستخدمت الدراسة المنهج الوصفي التحليلي، واستخدم الباحث أسلوب الاستبانة لجمع البيانات، وقام الباحث باستخدام طريقة العينة الطبقية العشوائية، وتم توزيع ( 500 ) إستبانة على .(% عينة الدراسة، حيث تم استرداد ( 449 ) إستبانة بنسبة استرداد ( 89.8 α ≤ وقد أظهرت الدراسة نتائج أهمها ما يلي: وجود علاقة ذات دلالة إحصائية عند مستوى دلالة 0.04 ) بين نظم دع م القرا (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. added 2017-01-02
    Orbital Space Environment and Space Situational Awareness Domain Ontology.Robert J. Rovetto - 2016 - In Stefano Borgo, Jean-Rémi Bourguet & Adrien Barton (eds.), CEUR workshop proceedings of The Joint Ontology Workshops, with the 9th International Conference of Formal Ontology for Information Systems (FOIS), Early Career Symposium. CEUR Scientific Workshops.
    A short summary paper of my Orbital Space Domain Ontology project (purl.org/space-ontology), originally conceived in 2011. Since then I've sought (without success) opportunities to realize it (either as a PhD or other degree thesis; or in an employment position) toward my original passion of entering the space sector and gaining further space education. Since then persons in the relevant space disciplines have seen the potential in it, and unfortunately some have taken advantage of my ideas yet excluded me from work. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2017-01-02
    Causality and the Ontology of Disease.Robert J. Rovetto & Riichiro Mizoguchi - 2015 - Applied Ontology 10 (2):79-105.
    The goal of this paper is two-fold: first, to emphasize causality in disease ontology and knowledge representation, presenting a general and cursory discussion of causality and causal chains; and second, to clarify and develop the River Flow Model of Diseases (RFM). The RFM is an ontological account of disease, representing the causal structure of pathology. It applies general knowledge of causality using the concept of causal chains. The river analogy of disease is explained, formal descriptions are offered, and the RFM (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. added 2016-12-02
    Preliminaries of a Space Situational Awareness Ontology.Robert J. Rovetto & T. S. Kelso - 2016 Feb - In Renato Zanetti, Ryan P. Russell, Martin T. Oximek & Angela L. Bowes (eds.), Proceedings of AAS/AIAA Spaceflight Mechanics Meeting, in Advances in the Astronautical Sciences. Univelt Inc.. pp. 4177-4192.
    Space situational awareness (SSA) is vital for international safety and security, and for the future of space travel. The sharing of SSA data and information should improve the state of global SSA for planetary defense and spaceflight safety. I take steps toward a Space Situational Awareness (SSA) Ontology, and outline some central objectives, requirements and desiderata in the ontology development process for this domain. The purpose of this ontological system is to explore the potential for the ontology research topic to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2016-12-02
    Ontology Archtecures for the Orbital Space Environment and Space Situational Awareness Domain.Robert John Rovetto - 2016 - In Stefano Borgo, Loris Bozzato, Chiara Del Vescovo & Martin Homola (eds.), Proceedings of the Joint Ontology Workshops with the 9th International Conference on Formal Ontology in Information Systems. CEUR.
    This paper applies some ontology architectures to the space domain, specifically the orbital and near-earth space environment and the space situational awareness domain. I briefly summarize local, single and hybrid ontology architectures, and offer potential space ontology architectures for each by showing how actual space data sources and space organizations would be involved.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. added 2016-10-15
    Interconnecting Textual Layers.Karsten Kynde - 1998 - Kierkegaard Studies Yearbook 1998:379-385.
    The concept of a shaft is introduced as a connection between layers of text versions in a digital edition.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2016-08-07
    Experimentele filosofie, kunstmatige intelligentie en cognitieve neurowetenschap.Pim Haselager - 2010 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102 (1):49-58.
    English: In this paper I indicate why I consider 'experimental philosophy' to be good news, though not as good as it could be, and not as all that new. I'll argue that there is no need to restrict experimental philosophy to eliciting intuitions through questionnaires. I'll indicate that good examples of experimental philosophy already exist in Artificial Intelligence and Cognitive Neuroscience. Dutch: Hieronder wil ik proberen aan te geven waarom ik de experimentele filosofie weliswaar als goed nieuws beschouw, maar niet (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. added 2016-08-02
    The Intrinsic Computational Difficulty of Functions.Alan Cobham - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress (Studies in Logic and the Foundations of Mathematics). North-Holland Publishing. pp. 24-30.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  36. added 2016-05-16
    SP2MN: A Software Process Meta-Modeling Language.Hisham Khdair - 2015 - International Review on Computers and Software 10 (7):726-734.
    In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. added 2016-04-26
    Jacques Lacan’s Registers of the Psychoanalytic Field, Applied Using Geometric Data Analysis to Edgar Allan Poe’s “The Purloined Letter”.Fionn Murtagh & Giuseppe Iurato - manuscript
    In a first investigation, a Lacan-motivated template of the Poe story is fitted to the data. A segmentation of the storyline is used in order to map out the diachrony. Based on this, it will be shown how synchronous aspects, potentially related to Lacanian registers, can be sought. This demonstrates the effectiveness of an approach based on a model template of the storyline narrative. In a second and more Comprehensive investigation, we develop an approach for revealing, that is, uncovering, Lacanian (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2016-04-18
    A Human Plausible Reasoning Theory in the Context of an Active Help System for Unix Users.Maria Virvou - 1992 - School of Cognitive and Computing Sciences, University of Sussex.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  39. added 2016-04-17
    The State of the Art in Natural Language Processing.D. L. Waltz - 1982 - In W. Lehnert (ed.), Strategies for Natural Language Processing. Lawrence Erlbaum.
  40. added 2016-04-15
    Hypertextual Thoughts.Jordi Vallverdú - 2007 - Revista Portuguesa de Filosofia 63 (1/3):703 - 720.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. added 2016-04-15
    Multimedia Signal Processing and Communications I-Optimization of System Performance for DVC Applications with Energy Constraints Over Ad Hoc Networks.Lifeng Sun, Ke Liang, Shiqiang Yang & Yuzhuo Zhong - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 23-31.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. added 2016-04-14
    Hybrid Connectionist -Symbolic Mo Dels.Ron Sun - unknown
    During the two days of the workshop, various presentations and discussions brought to light many new ideas, controv ersies, and syntheses. The fo cus was on learning and architecture s that feature hybrid representations and supp ort hybrid learning. It was a general consensus among the workshop participants that hybrid connectionist-symb olic mo dels constitute a promising aven ue toward developing more robust, more p owerful, and more versatile architecture s b oth for cognitive mo deling and for intelligen t (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. added 2016-04-14
    Learning to Plan Probabilistically From Neural Networks.R. Sun - unknown
    Di erent from existing reinforcement learning algorithms that generate only reactive policies and existing probabilis tic planning algorithms that requires a substantial amount of a priori knowledge in order to plan we devise a two stage bottom up learning to plan process in which rst reinforce ment learning dynamic programming is applied without the use of a priori domain speci c knowledge to acquire a reactive policy and then explicit plans are extracted from the learned reactive policy Plan extraction is (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. added 2016-04-08
    Variations and Application Conditions of the Data Type »Image« - the Foundation of Computational Visualistics.Dr Jörg R. J. Schirra - manuscript
    Few years ago, the department of computer science of the University Magdeburg invented a completely new diploma programme called 'computational visualistics', a curriculum dealing with all aspects of computational pictures. Only isolated aspects had been studied so far in computer science, particularly in the independent domains of computer graphics, image processing, information visualization, and computer vision. So is there indeed a coherent domain of research behind such a curriculum? The answer to that question depends crucially on a data structure that (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. added 2016-04-05
    Neural Network Vision for Robot Driving.Dean Pomerleau - 1995 - In Michael A. Arbib (ed.), Handbook of Brain Theory and Neural Networks. MIT Press. pp. 161--181.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. added 2016-04-03
    Language Grounding in Massive Online Data.Jianfu Chen - 2015 - Dissertation, Stony Brook University
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. added 2016-04-02
    Big Data Optimization in Machine Learning.Xiaocheng Tang - 2015 - Disertation 1.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  48. added 2016-04-01
    Simulation and Controller Design of Thermal Spraying Processes.P. Nylén & U. Snis - forthcoming - Proceedings of Swedish Ai Society, Linköping.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. added 2016-03-31
    Techniques Towards Automatic Visual Obstacle Avoidance.Hans P. Moravec - unknown
    This paper describes some components of a working system which drives a vehicle through cluttered real world environments under computer control, guided by images perceived through an onboard television camera. The emphasis is on reliable and fast low level visual techniques which determine the existence and location of objects in the world, but do not identify them. They include an interest operator for choosing distinctive regions in images, a correlator for finding matching regions in similar images, a geometric camera solver (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. added 2016-03-24
    Hybrid Computational Methods and New Algorithmic Approaches to Computational Kernels and Applications-A Generic Framework for Local Search: Application to the Sudoku Problem.T. Lambert, E. Monfroy & F. Saubion - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 3991--641.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 126