Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Choose an application
Sciences appliquées --- Technique --- Logische machines --- Machines logiques --- 621-5
Choose an application
Computers --- Transistor circuits --- Logic machines --- Ordinateurs --- Circuits transistorisés --- Machines logiques --- Circuits
Choose an application
Algebra, Boolean --- Logic machines --- Boole, Algèbre de. --- Machines logiques. --- Boole, Algèbre de.
Choose an application
Knowledge, Theory of --- Logic machines --- Logic, Symbolic and mathematical --- Mathematics --- Psychology --- Théorie de la connaissance --- Machines logiques --- Logique symbolique et mathématique --- Mathématiques --- Psychologie --- Philosophy --- Mathematical models --- Philosophie --- Modèles mathématiques
Choose an application
Quels sont les problèmes philosophiques soulevés par les ordinateurs et par l'informatique ? Les réponses les plus fréquentes invoquent l'intelligence artificielle, la pensée des machines ou les théories computationnelles de l'esprit. Mais ces réponses occultent la possibilité d'une autre ouverture philosophique sur l'informatique, conçue à partir d'une réflexion sur la machine en logique. Comment comprendre que la logique, qui est à la fois une discipline de la pensée et un instrument d'analyse du langage, puisse devenir aussi bien une science des machines informatiques ? Pierre Wagner montre pourquoi la machine s'est progressivement imposée, depuis les années trente, comme l'un des objets majeurs de l'analyse logique ; et à partir de cette réflexion d'ordre historique, il trace les linéaments d'une philosophie des machines informatiques qui ne se réduit pas aux questions d'intelligence artificielle ou de théorie de l'esprit. L'ouvrage se présente également comme une introduction à certaines notions logiques fondamentales (les machines de Turing, le lambda-calcul, la correspondance de Curry-Howard...) dont l'auteur met en évidence la portée philosophique.
Computer science --- Logic, Symbolic and mathematical. --- Artificial intelligence. --- Informatique --- Logique symbolique et mathématique --- Intelligence artificielle --- Philosophy --- Philosophie --- Logic machines --- Logique mathématique --- Machines logiques --- Logique --- Histoire --- Intelligent machines --- Machines, Logic --- Logic --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Automation --- Logique mathématique. --- Philosophie. --- Histoire.
Choose an application
This book constitutes the thoroughly refereed proceedings of the first International Conference on Context-Aware Systems and Applications, ICCASA 2012, held in Ho Chi Minh City, Vietnam, in November 2012. The 34 revised full papers presented were carefully selected and reviewed from over 100 submissions. The papers cover a wide spectrum of issues in the area of Context-Aware Systems (CAS). CAS are going to shape networked computing systems of the future.
Computer science. --- Information storage and retrieval systems. --- Artificial intelligence. --- Optical pattern recognition. --- Computer Science. --- Information Storage and Retrieval. --- Information Systems Applications (incl. Internet). --- User Interfaces and Human Computer Interaction. --- Artificial Intelligence (incl. Robotics). --- e-Commerce/e-business. --- Pattern Recognition. --- Engineering & Applied Sciences --- Computer Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Informatics --- Information storage and retrieval. --- User interfaces (Computer systems). --- Pattern recognition. --- E-commerce. --- Context-aware computing --- Interfaces utilisateur (informatique) --- Intelligence artificielle. --- Reconnaissance des formes (informatique) --- Commerce électronique. --- Commerce en ligne --- Commerce on-line --- Commerce sur Internet --- Cybercommerce --- E-commerce --- Vente en ligne --- Libre-service --- PriceMinister --- Commerce électronique --- Preuve électronique --- Infrastructures à clés publiques --- Modes électroniques de règlement des litiges --- Monnaie électronique --- UDDI --- Commerce électronique par abonnement --- Coffrets cadeaux --- Soldes sur Internet --- Pharmacies sur Internet --- Marketing sur Internet --- Factures électroniques --- Fonds de commerce électronique --- Achats sur Internet --- Bourse sur Internet --- Commerce mobile --- Librairies sur Internet --- Places de marché électroniques --- Supermarchés sur Internet --- Vente aux enchères sur Internet --- Commerce --- Internet --- Vente par correspondance --- Formes, Reconnaissance des (informatique) --- Perception des structures (informatique) --- Reconnaissance des structures (informatique) --- Structures, Reconnaissance des (informatique) --- Vision par ordinateur --- Analyse de scènes --- Reconnaissance gestuelle --- Recherche d'images par le contenu --- Reconnaissance d'objets (informatique) --- Reconnaissance de l'activité humaine (informatique) --- Reconnaissance automatique des émotions --- Coyote (logiciel) --- Méthode des contours actifs --- Automates cellulaires --- Morphologie mathématique --- Reconnaissance optique des caractères --- Reconnaissance optique des formes (informatique) --- Identification automatique --- Intelligence artificielle --- Perception des structures --- Cerveaux électroniques --- Machines intelligentes --- Pensée artificielle --- Bionique --- Ordinateurs de cinquième génération --- Programmation par contraintes --- Vie artificielle --- Intelligence computationnelle --- Intelligence ambiante --- Test de Turing --- Recherche, Théorie de la --- Nez électroniques --- Apprentissage automatique --- Codes correcteurs d'erreurs (théorie de l'information) --- Connaissance déclarative --- Intelligence artificielle répartie --- Traitement automatique du langage naturel --- Métaconnaissance --- Ordinateurs neuronaux --- Perceptrons --- Programmation heuristique --- Questions et réponses, Systèmes de --- Représentation des connaissances --- Réseaux neuronaux (informatique) --- Robots --- Robots industriels --- Systèmes adaptatifs --- Systèmes de maintien de la cohérence --- Systèmes experts (informatique) --- Théorèmes --- Physique qualitative --- Contraintes (intelligence artificielle) --- Raisonnement non-monotone --- Automates mathématiques, Théorie des --- Informatique --- Machines logiques --- Simulation, Méthodes de --- Simulation par ordinateur --- Systèmes auto-organisés --- Sciences cognitives --- Dialogue homme-ordinateur --- IHM (informatique) --- Interfaces homme-machine (informatique) --- Interfaces homme-ordinateur (logiciels) --- Interfaces utilisateur (logiciels) --- Logiciels d'interface homme-ordinateur --- Logiciels de dialogue homme-ordinateur --- Microsoft Expression Blend --- Interaction homme-ordinateur --- Informatique affective --- Commande oculaire --- Assistants personnels intelligents (logiciels) --- Interfaces neuronales directes --- Bornes interactives --- Systèmes homme-machine --- Context-aware pervasive systems --- Context-awareness (Computer science) --- Ubiquitous computing --- Global system for mobile communications --- Mobile computing --- Sensor networks --- site web --- Impôts --- Droit européen --- Aspect économique --- informatique --- Dispositifs --- Démonstration automatique --- Logiciels --- logiciel --- Information storage and retrieva. --- Artificial Intelligence. --- Optical data processing --- Pattern perception --- Visual discrimination --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Science --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Reconnaissance multivues --- Application software. --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- E-business --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Information superhighway --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software
Listing 1 - 7 of 7 |
Sort by
|