top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers / Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised selected papers / Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Creatore [UTP 2012 (2012 : Paris, France)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Wolff, Burkhart, 1962-
Gaudel, M.-C. (Marie-Claude)
Feliachi, Abderrahmane
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642357053
3642357059
9783642357046
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Unifying Theories of Undefinedness in UTP / Jim Woodcock, Victor Bandur -- Unifying Theories of Programming with Monads / Jeremy Gibbons -- Circus Time with Reactive Designs / Kun Wei, Jim Woodcock, Ana Cavalcanti -- Algebra Unifies Operational Calculi / Stephan van Staden, Tony Hoare -- A Probabilistic Theory of Designs Based on Distributions / Riccardo Bresciani, Andrew Butterfield -- The Logic of U ·(TP)² / Andrew Butterfield -- Conscriptions: A New Relational Model for Sequential Computations / Steve Dunne -- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude / Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin -- Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions / Chengcheng Wu, Yongxin Zhao, Huibiao Zhu -- Higher-Order UTP for a Theory of Methods / Frank Zeyda, Ana Cavalcanti -- Denotational Semantics for a Probabilistic Timed Shared-Variable Language / Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin.
Record Nr. NYU-004389892
[UTP 2012 (2012 : Paris, France)]  
Materiale a stampa
Lo trovi qui: New York University
Scale space and variational methods in computer vision : third international conference, SSVM 2011, Ein-Gedi, Israel, May 29-June 2, 2011 : revised selected papers / Alfred M. Bruckstein [and others] (eds.).
Scale space and variational methods in computer vision : third international conference, SSVM 2011, Ein-Gedi, Israel, May 29-June 2, 2011 : revised selected papers / Alfred M. Bruckstein [and others] (eds.).
Creatore [SSVM 2011 (2011 : ʻEn Gedi, Israel)]
Estensione 1 online resource (xiv, 798 pages) : color illustrations.
Disciplina 006.3/7
Accesso persona Bruckstein, Alfred, 1954-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Data mining
Computer graphics
Computer vision
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
Algorithm Analysis and Problem Complexity
Data Mining and Knowledge Discovery
Computation by Abstract Devices
ISBN 9783642247859
3642247857
9783642247842
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004373435
[SSVM 2011 (2011 : ʻEn Gedi, Israel)]  
Materiale a stampa
Lo trovi qui: New York University
Biomimetic and biohybrid systems : first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F.M.J. Verschure (eds.).
Biomimetic and biohybrid systems : first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F.M.J. Verschure (eds.).
Creatore [Living Machines 2012 (2012 : Barcelona, Spain)]
Estensione 1 online resource (xvi, 405 pages) : illustrations.
Disciplina 660.6
Accesso persona Prescott, Tony J., editor
Lepora, Nathan, editor
Mura, Anna, editor
Verschure, Paul F. M. J., 1962- editor
Soggetto non controllato Computer science
Computer vision
Optical pattern recognition
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Pattern Recognition
Information Systems Applications (incl. Internet)
Image Processing and Computer Vision
Control, Robotics, Mechatronics
ISBN 9783642315251
3642315259
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Conserved Biomimetic Control Architecture for Walking, Swimming and Flying Robots / Joseph Ayers, Daniel Blustein and Anthony Westphal -- A Digital Neuromorphic Implementation of Cerebellar Associative Learning / Luis Bobo, Ivan Herreros and Paul F.M.J. Verschure -- Simulating an Elastic Bipedal Robot Based on Musculoskeletal Modeling / Roberto Bortoletto, Massimo Sartori, Fuben He and Enrico Pagello -- A Soft-Body Controller with Ubiquitous Sensor Feedback / Alexander S. Boxerbaum, Kathryn A. Daltorio, Hillel J. Chiel and Roger D. Quinn -- Exploration of Objects by an Underwater Robot with Electric Sense / Frédéric Boyer and Vincent Lebastard -- Neuro-inspired Navigation Strategies Shifting for Robots: Integration of a Multiple Landmark Taxon Strategy / Ken Caluwaerts, Antoine Favre-Félix, Mariacarla Staffa, Steve N'Guyen and Christophe Grand, et al. -- Bioinspired Tunable Lens Driven by Electroactive Polymer Artificial Muscles / Federico Carpi, Gabriele Frediani and Danilo De Rossi -- A Pilot Study on Saccadic Adaptation Experiments with Robots / Eris Chinellato, Marco Antontelli and Angel P. del Pobil -- Jumping Robot with a Tunable Suspension Based on Artificial Muscles / Sanjay Dastoor, Sam Weiss, Hannah Stuart and Mark Cutkosky -- Static versus Adaptive Gain Control Strategy for Visuo-motor Stabilization / Naveed Ejaz, Reiko J. Tanaka and Holger G. Krapp -- Learning and Retrieval of Memory Elements in a Navigation Task / Thierry Hoinville, Rüdiger Wehner and Holk Cruse.
Imitation of the Honeybee Dance Communication System by Means of a Biomimetic Robot / Tim Landgraf, Michael Oertel, Andreas Kirbach, Randolf Menzel and Raúl Rojas -- A Framework for Mobile Robot Navigation Using a Temporal Population Code / André Luvizotto, César Rennó-Costa and Paul Verschure -- Generalization of Integrator Models to Foraging: A Robot Study Using the DAC9 Model / Encarni Marcos, Armin Duff, Martí Sánchez-Fibla and Paul F.M.J. Verschure -- The Emergence of Action Sequences from Spatial Attention: Insight from Rodent-Like Robots / Ben Mitchinson, Martin J. Pearson, Anthony G. Pipe and Tony J. Prescott -- How Past Experience, Imitation and Practice Can Be Combined to Swiftly Learn to Use Novel "Tools": Insights from Skill Learning Experiments with Baby Humanoids / Vishwanathan Mohan and Pietro Morasso -- Towards Contextual Action Recognition and Target Localization with Active Allocation of Attention / Dimitri Ognibene, Eris Chinellato, Miguel Sarabia and Yiannis Demiris -- Robot Localization Implemented with Enzymatic Numerical P Systems / Ana Brânduşa Pavel, Cristian Ioan Vasile and Ioan Dumitrache -- How Can Embodiment Simplify the Problem of View-Based Navigation? / Andrew Philippides, Bart Baddeley, Philip Husbands and Paul Graham -- The Dynamical Modeling of Cognitive Robot-Human Centered Interaction / Mikhail I. Rabinovich and Pablo Varona.
Internal Drive Regulation of Sensorimotor Reflexes in the Control of a Catering Assistant Autonomous Robot / César Rennó-Costa, André Luvizotto, Alberto Betella, Martí Sánchez-Fibla and Paul F.M.J. Verschure -- Incremental Learning in a 14 DOF Simulated iCub Robot: Modeling Infant Reach/Grasp Development / Piero Savastano and Stefano Nolfi -- A True-Slime-Mold-Inspired Fluid-Filled Robot Exhibiting Versatile Behavior / Takuya Umedachi, Ryo Idei and Akio Ishiguro -- CyberRat Probes: High-Resolution Biohybrid Devices for Probing the Brain / Stefano Vassanelli, Florian Felderer, Mufti Mahmud, Marta Maschietto and Stefano Girardi -- Crayfish Inspired Representation of Space via Haptic Memory in a Simulated Robotic Agent / Stephen G. Volz, Jennifer Basil and Frank W. Grasso -- Parallel Implementation of Instinctual and Learning Neural Mechanisms in a Simulated Mobile Robot / Briana Young, Stefano Ghirlanda and Frank W. Grasso -- Distributed Control of Complex Arm Movements / Reaching Around Obstacles and Scratching Itches / David Zipser -- Cerebellar Memory Transfer and Partial Savings during Motor Learning: A Robotic Study / Riccardo Zucca and Paul F.M.J. Verschure -- A Biomimetic Approach to an Autonomous Unmanned Air Vehicle / Fotios Balampanis and Paul F.M.J. Verschure -- Towards a Framework for Tactile Perception in Social Robotics / Hector Barron-Gonzalez, Nathan F. Lepora, Uriel Martinez-Hernandez, Mat Evans and Tony J. Prescott.
A Locomotion Strategy for an Octopus-Bioinspired Robot / Marcello Calisti, Michele Giorelli and Cecilia Laschi -- Design and Modeling of a New Biomimetic Robot Frog with the Ability of Jumping Altitude Regulation / Sadjad Eshgi, Vahid Azimirad and Hamid Hajimohammadi -- Sensation of a "Noisy" Whisker Vibration in Rats / Arash Fassihi, Vahid Esmaeili, Athena Akrami, Fabrizio Manzino and Mathew E. Diamond -- Integrating Molecular Computation and Material Production in an Artificial Subcellular Matrix / Harold Fellermann, Maik Hadorn, Eva Bönzli and Steen Rasmussen -- WARMOR: Whegs Adaptation and Reconfiguration of MOdular Robot with Tunable Compliance / Max Fremerey, Goran S. Djordjevic and Hartmut Witte -- Inverse and Direct Model of a Continuum Manipulator Inspired by the Octopus Arm / Michele Giorelli, Federico Renda, Andrea Arienti, Marcello Calisti and Matteo Cianchetti, et al. -- A Biomimetic, Swimming Soft Robot Inspired by the Octopus Vulgaris / Francesco Giorgio Serchi, Andrea Arienti and Cecilia Laschi -- Toward a Fusion Model of Feature and Spatial Tactile Memory in the Crayfish Cherax Destructor / Frank W. Grasso, Mat Evans, Jennifer Basil and Tony J. Prescott -- Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part I: Soft Skin Artifacts / Jinping Hou, Richard H.C. Bonser and George Jeronimidis -- Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part II: Tactile Sensors / Jinping Hou, Richard H.C. Bonser and George Jeronimidis.
Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part III: Biomimetic Suckers / Jinping Hou, Richard H.C. Bonser and George Jeronimidis -- Decentralized Control Scheme That Enables Scaffold-Based Peristaltic Locomotion / Akio Ishiguro, Kazuyuki Yaegashi, Takeshi Kano and Ryo Kobayashi -- Autonomous Decentralized Control Mechanism in Resilient Ophiuroid Locomotion / Takeshi Kano, Shota Suzuki and Akio Ishiguro -- A Multi-agent Platform for Biomimetic Fish / Tim Landgraf, Rami Akkad, Hai Nguyen, Romain O. Clément and Jens Krause, et al. -- The State-of-the-Art in Biomimetics / Nathan F. Lepora, Paul F.M.J. Verschure and Tony J. Prescott -- Action Development and Integration in an Humanoid iCub Robot / Tobias Leugger and Stefano Nolfi -- Insect-Like Odor Classification and Localization on an Autonomous Robot / Lucas L. López-Serrano, Vasiliki Vouloutsi, Alex Escudero Chimeno, Zenon Mathews and Paul F.M.J. Verschure -- Autonomous Viewpoint Control from Saliency / Shijian Lu and Joo Hwee Lim -- Bio-inspired Design of an Artificial Muscular-Hydrostat Unit for Soft Robotic Systems / Laura Margheri, Maurizio Follador, Matteo Cianchetti, Barbara Mazzolai and Cecilia Laschi -- Texture Classification through Tactile Sensing / Uriel Martinez-Hernandez, Hector Barron-Gonzalez, Mat Evans, Nathan F. Lepora and Tony Dodd, et al. -- Bio-inspiration for a Miniature Robot Inside the Abdomen / Alfonso Montellano López, Robert Richardson, Abbas Dehghani, Rupesh Roshan and David Jayne, et al.
Systematic Construction of Finite State Automata Using VLSI Spiking Neurons / Emre Neftci, Jonathan Binas, Elisabetta Chicca, Giacomo Indiveri and Rodney Douglas -- Self-burial Mechanism of Erodium cicutarium and Its Potential Application for Subsurface Exploration / Camilla Pandolfi, Diego Comparini and Stefano Mancuso -- Tragopogon dubius, Considerations on a Possible Biomimetic Transfer / Camilla Pandolfi, Vincent Casseau, Terence Pei Fu, Lionel Jacques and Dario Izzo -- Root-Soil Interaction Models for Designing Adaptive Exploring Robotic Systems / Liyana Popova, Alice Tonazzini and Barbara Mazzolai -- A Soft-Bodied Snake-Like Robot That Can Move on Unstructured Terrain / Takahide Sato, Takeshi Kano, Akihiro Hirai and Akio Ishiguro -- Direct Laser Writing of Neural Tissue Engineering Scaffolds for Biohybrid Devices / Colin R. Sherborne, Christopher J. Pateman and Frederik Claeyssens -- Biorobotic Actuator with a Muscle Tissue Driven by a Photostimulation / Masahiro Shimizu, Shintaro Yawata, Kota Miyasaka, Koichiro Miyamoto and Toshifumi Asano, et al. -- Shape Optimizing of Tail for Biomimetic Robot Fish / Majid Siami and Vahid Azimirad -- Intuitive Navigation of Snake-Like Robot with Autonomous Decentralized Control / Yasushi Sunada, Takahide Sato, Takeshi Kano, Akio Ishiguro and Ryo Kobayashi -- Design of Adhesion Device Inspired by Octopus Sucker / Francesca Tramacere, Lucia Beccai and Barbara Mazzolai.
Record Nr. STANFORD-a9656549
[Living Machines 2012 (2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Artificial intelligence and soft computing : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, proceedings. Part I / Leszek Rutkowski [and others] (eds.).
Artificial intelligence and soft computing : 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012, proceedings. Part I / Leszek Rutkowski [and others] (eds.).
Creatore [ICAISC (Conference) (11th : 2012 : Zakopane, Poland)]
Estensione 1 online resource (xxvii, 702 pages)
Disciplina 006.3
Accesso persona Rutkowski, Leszek
Soggetto non controllato Computer science
Database management
Information storage and retrieval systems
Artificial intelligence
Computer vision
Computation by Abstract Devices
Information Storage and Retrieval
ISBN 9783642293474
3642293476
3642293468
9783642293467
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Neural Network-Based PCA: An Application to Approximation of a Distributed Parameter System / Krzysztof Bartecki -- Parallel Realisation of the Recurrent Multi Layer Perceptron Learning / Jarosław Bilski and Jacek Smoląg -- An Innovative Hybrid Neuro-wavelet Method for Reconstruction of Missing Data in Astronomical Photometric Surveys / Giacomo Capizzi, Christian Napoli and Lucio Paternò -- Speeding Up the Training of Neural Networks with CUDA Technology / Daniel Salles Chevitarese, Dilza Szwarcman and Marley Vellasco -- On the Uniform Convergence of the Orthogonal Series-Type Kernel Regression Neural Networks in a Time-Varying Environment / Meng Joo Er and Piotr Duda -- On the Strong Convergence of the Orthogonal Series-Type Kernel Regression Neural Networks in a Non-stationary Environment / Piotr Duda, Yoichi Hayashi and Maciej Jaworski -- On the Strong Convergence of the Recursive Orthogonal Series-Type Kernel Probabilistic Neural Networks Handling Time-Varying Noise / Piotr Duda and Marcin Korytkowski -- Incidental Neural Networks as Nomograms Generators / Bogumił Fiksak and Maciej Krawczak -- Selection of Activation Functions in the Last Hidden Layer of the Multilayer Perceptron / Krzysztof Halawa -- Information Freedom and Associative Artificial Intelligence / Adrian Horzyk.
On the Application of the Parzen-Type Kernel Regression Neural Network and Order Statistics for Learning in a Non-stationary Environment / Maciej Jaworski, Meng Joo Er and Lena Pietruczuk -- On Learning in a Time-Varying Environment by Using a Probabilistic Neural Network and the Recursive Least Squares Method / Maciej Jaworski and Marcin Gabryel -- Binary Perceptron Learning Algorithm Using Simplex-Method / Vladimir Kryzhanovskiy, Irina Zhelavskaya and Jakov Karandashev -- Objects Auto-selection from Stereo-Images Realised by Self-Correcting Neural Network / Łukasz Laskowski -- On-Line Trajectory-Based Linearisation of Neural Models for a Computationally Efficient Predictive Control Algorithm / Maciej Lstrok}awryńczuk -- Short Time Series of Website Visits Prediction by RBF Neural Networks and Support Vector Machine Regression / Vladimir Olej and Jana Filipova -- Spectra of the Spike-Flow Graphs in Geometrically Embedded Neural Networks / Jarosław Piersa and Tomasz Schreiber -- Weak Convergence of the Parzen-Type Probabilistic Neural Network Handling Time-Varying Noise / Lena Pietruczuk and Meng Joo Er -- Strong Convergence of the Recursive Parzen-Type Probabilistic Neural Network Handling Nonstationary Noise / Lena Pietruczuk and Yoichi Hayashi -- Improving Performance of Self-Organising Maps with Distance Metric Learning Method / Piotr Płoński and Krzysztof Zaremba.
Robust Neural Network for Novelty Detection on Data Streams / Andrzej Rusiecki -- Solving Differential Equations by Means of Feed-Forward Artificial Neural Networks / Marek Wojciechowski -- Practical Application of Artificial Neural Networks in Designing Parameters of Steel Heat Treatment Processes / Emilia Wołowiec and Piotr Kula -- A New Method for Dealing with Unbalanced Linguistic Term Set / Łukasz Bartczuk, Piotr Dziwiński and Janusz T. Starczewski -- Fuzzy Clustering of Intuitionistic Fuzzy Data / Bohdan S. Butkiewicz -- A New Method for Comparing Interval-Valued Intuitionistic Fuzzy Values / Ludmila Dymova, Pavel Sevastjanov and Anna Tikhonenko -- The Use of Belief Intervals in Operations on Intuitionistic Fuzzy Values / Ludmila Dymova, Pavel Sevastjanov and Kamil Tkacz -- A Method of Fast Application of the Fuzzy PID Algorithm Using Industrial Control Device / Sławomir Jaszczak and Joanna Kołodziejczyk -- Implications on Ordered Fuzzy Numbers and Fuzzy Sets of Type Two / Magdalena Kacprzak, Witold Kosiński and Piotr Prokopowicz -- Fuzzy Supervised Self-Organizing Map for Semi-supervised Vector Quantization / Marika Kästner and Thomas Villmann -- Fuzzy Inference-Based Reliable Fall Detection Using Kinect and Accelerometer / Michal Kepski, Bogdan Kwolek and Ivar Austvoll.
Defuzzification Functionals Are Homogeneous, Restrictive Additive and Normalized Functions / Witold Kosiński, Agnieszka Rosa, Dorota Cendrowska and Katarzyna Węgrzyn-Wolska -- Determining OWA Operator Weights by Mean Absolute Deviation Minimization / Michał Majdan and Włodzimierz Ogryczak -- Efficient MPC Algorithms Based on Fuzzy Wiener Models and Advanced Methods of Prediction Generation / Piotr M. Marusak -- Evaluation of Health-Related Fitness Using Fuzzy Inference Elements / Tadeusz Nawarycz, Krzysztof Pytel and Lidia Ostrowska-Nawarycz -- Fuzzy Regression Compared to Classical Experimental Design in the Case of Flywheel Assembly / Jacek Pietraszek -- A New Fuzzy Classifier for Data Streams / Lena Pietruczuk, Piotr Duda and Maciej Jaworski -- Metasets: A New Approach to Partial Membership / Bartłomiej Starosta -- On an Enhanced Method for a More Meaningful Pearson's Correlation Coefficient between Intuitionistic Fuzzy Sets / Eulalia Szmidt and Janusz Kacprzyk -- Surface Area of Level-2 Fuzzy Regions / Unifying Possibilistic and Versitic Interpretations of Regions / Jörg Verstraete -- Fuzzy Neural Gas for Unsupervised Vector Quantization / Thomas Villmann, Tina Geweniger, Marika Kästner and Mandy Lange -- Fuzzy Epoch-Incremental Reinforcement Learning Algorithm / Roman Zajdel.
Statistically-Induced Kernel Function for Support Vector Machine Classifier / Cezary Dendek and Jacek Mańdziuk -- Bandwidth Selection in Kernel Density Estimators for Multiple-Resolution Classification / Mateusz Kobos and Jacek Mańdziuk -- Competing Risks and Survival Tree Ensemble / Małgorzata Krętowska -- Sign Language Recognition Using Kinect / Simon Lang, Marco Block and Raúl Rojas -- Investigation of Rotation Forest Method Applied to Property Price Prediction / Tadeusz Lasota, Tomasz Łuczak and Bogdan Trawiński -- Locally Optimized Kernels / Tomasz Maszczyk and Włodzisław Duch -- Application of Hierarchical Classifier to Minimal Synchronizing Word Problem / Igor T. Podolak, Adam Roman and Dariusz Jędrzejczyk -- Dimensionality Reduction Using External Context in Pattern Recognition Problems with Ordered Labels / Ewa Skubalska-Rafajłowicz, Adam Krzyżak and Ewaryst Rafajłowicz -- SVM with CUDA Accelerated Kernels for Big Sparse Problems / Krzysztof Sopyła, Paweł Drozda and Przemysław Górecki -- Initialization of Nonnegative Matrix Factorization with Vertices of Convex Polytope / Rafal Zdunek -- Comparison of Corner Detectors for Revolving Objects Matching Task / Grzegorz Bagrowski and Marcin Luckner.
A Hierarchical Action Recognition System Applying Fisher Discrimination Dictionary Learning via Sparse Representation / Ruihan Bao and Tadashi Shibata -- Do We Need Complex Models for Gestures? A Comparison of Data Representation and Preprocessing Methods for Hand Gesture Recognition / Marcin Blachnik and Przemysław Głomb -- Learning 3D AAM Fitting with Kernel Methods / Marina A. Cidota, Dragos Datcu and Leon J.M. Rothkrantz -- An Analytical Approach to the Image Reconstruction Problem Using EM Algorithm / Piotr Dobosz -- Recognition of Two-Dimensional Shapes Based on Dependence Vectors / Krzysztof Gdawiec and Diana Domańska -- Ranking by K-Means Voting Algorithm for Similar Image Retrieval / Przemysław Górecki, Krzysztof Sopyła and Paweł Drozda -- Shape Parametrization and Contour Curvature Using Method of Hurwitz-Radon Matrices / Dariusz Jakóbczak and Witold Kosiński -- Vision-Based Recognition of Fingerspelled Acronyms Using Hierarchical Temporal Memory / Tomasz Kapuscinski -- Lip Tracking Method for the System of Audio-Visual Polish Speech Recognition / Mariusz Kubanek, Janusz Bobulski and Lukasz Adrjanowicz -- Object Recognition Using Summed Features Classifier / Marcus Lindner, Marco Block and Raúl Rojas -- Novel Method for Parasite Detection in Microscopic Samples / Patryk Najgebauer, Tomasz Nowak, Jakub Romanowski, Janusz Rygał and Marcin Korytkowski, et al.
Lipreading Procedure Based on Dynamic Programming / Agnieszka Owczarek and Krzysztof Ślot -- Meshes vs. Depth Maps in Face Recognition Systems / Sebastian Pabiasz and Janusz T. Starczewski -- Facial Expression Recognition for Detecting Human Aggression / Ewa Piątkowska and Jerzy Martyna -- Combining Color and Haar Wavelet Responses for Aerial Image Classification / Ricardo C.B. Rodrigues, Sergio Pellegrino and Hemerson Pistori -- Properties and Structure of Fast Text Search Engine in Context of Semantic Image Analysis / Janusz Rygał, Patryk Najgebauer, Tomasz Nowak, Jakub Romanowski and Marcin Gabryel, et al. -- Full Body Motion Tracking in Monocular Images Using Particle Swarm Optimization / Bogusław Rymut, Tomasz Krzeszowski and Bogdan Kwolek -- DriastSystem: A Computer Vision Based Device for Real Time Traffic Sign Detection and Recognition / Marcin Tekieli and Marek Słoński -- Real-Time Object Tracking Algorithm Employing On-Line Support Vector Machine and Multiple Candidate Regeneration / Pushe Zhao, Renyuan Zhang and Tadashi Shibata.
On the Complexity of Shared Conceptualizations / Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz and Jesús Giráldez-Cru -- Local Controlled Vocabulary for Modern Web Service Description / Konstanty Haniewicz -- Semantics and Reasoning for Control Application Engineering Models / David Hästbacka and Seppo Kuikka MapReduce Approach to Collective Classification for Networks / Wojciech Indyk, Tomasz Kajdanowicz, Przemysław Kazienko and Sławomir Plamowski -- Semantic Wiki-Based Knowledge Management System by Interleaving Ontology Mapping Tool / Jason J. Jung and Dariusz Król -- A Method for Tuning User Profiles Based on Analysis of User Preference Dynamics in Document Retrieval Systems / Bernadetta Mianowska and Ngoc Thanh Nguyen -- A Term Normalization Method for Better Performance of Terminology Construction / Myunggwon Hwang, Do-Heon Jeong, Hanmin Jung, Won-Kyoung Sung and Juhyun Shin, et al. -- Stabilisation and Steering of Quadrocopters Using Fuzzy Logic Regulators / Boguslaw Szlachetko and Michal Lower.
Record Nr. STANFORD-a13353584
[ICAISC (Conference) (11th : 2012 : Zakopane, Poland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Jyrki Kivinen [and others] (eds.).
Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Jyrki Kivinen [and others] (eds.).
Creatore [ALT 2011 (2011 : Espoo, Finland)]
Estensione 1 online resource (xiii, 451 pages) : illustrations (some color).
Disciplina 006.31
Accesso persona Kivinen, Jyrki, 1965-
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Logics and Meanings of Programs
Information Systems Applications (incl. Internet)
ISBN 9783642244124
3642244122
3642244114
9783642244117
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. STANFORD-a9386684
[ALT 2011 (2011 : Espoo, Finland)]  
Materiale a stampa
Lo trovi qui: Stanford University
Intelligent computing technology : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / De-Shuang Huang [and others] (eds.).
Intelligent computing technology : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / De-Shuang Huang [and others] (eds.).
Creatore [International Conference on Intelligent Computing (8th : 2012 : Huangshan Shi, China)]
Estensione 1 online resource (xxiv, 667 pages) : illustrations.
Disciplina 006.3
Accesso persona Huang, De-Shuang
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Bioinformatics
Image Processing and Computer Vision
Pattern Recognition
Computational Biology/Bioinformatics
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642315886
3642315887
9783642315879
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PSO Assisted NURB Neural Network Identification / Xia Hong and Sheng Chen -- 2D Discontinuous Function Approximation with Real-Valued Grammar-Based Classifier System / Lukasz Cielecki and Olgierd Unold -- A Scatter Search Methodology for the Aircraft Conflict Resolution Problem / Zhi-Zeng Li, Xue-Yan Song, Ji-Zhou Sun and Zhao-Tong Huang -- Self-adaptive Differential Evolution Based Multi-objective Optimization Incorporating Local Search and Indicator-Based Selection / Datong Xie, Lixin Ding, Shenwen Wang, Zhaolu Guo and Yurong Hu, et al. -- Application of Data Mining in Coal Mine Safety Decision System Based on Rough Set / Tianpei Zhou -- Study on Web Text Feature Selection Based on Rough Set / Xianghua Lu and Weijing Wang -- A Generalized Approach for Determining Fuzzy Temporal Relations / Luyi Bai and Zongmin Ma -- Applications on Information Flow and Biomedical Treatment of FDES Based on Fuzzy Sequential Machines Theory / Hongyan Xing and Daowen Qiu -- Discontinuous Fuzzy Systems and Henstock Integrals of Fuzzy Number Valued Functions / Yabin Shao and Zengtai Gong -- A Phased Adaptive PSO Algorithm for Multimodal Function Optimization / Haiping Yu and Fengying Yang -- The Comparative Study of Different Number of Particles in Clustering Based on Three-Layer Particle Swarm Optimization / Guoliang Huang, Xinling Shi, Zhenzhou An and He Sun -- Implementation of Mutual Localization of Multi-robot Using Particle Filter / Yang Weon Lee -- Optimization of Orthogonal Poly Phase Coding Waveform Based on Bees Algorithm and Artificial Bee Colony for MIMO Radar / Milad Malekzadeh, Alireza Khosravi, Saeed Alighale and Hamed Azami -- SVM Regularizer Models on RKHS vs. on Rm / Yinli Dong and Shuisheng Zhou -- Research on Performance Comprehensive Evaluation of Thermal Power Plant under Low-Carbon Economy / Xing Zhang -- Computing the Minimum [lambda]-Cover in Weighted Sequences / Hui Zhang, Qing Guo and Costas S. Iliopoulos -- A Novel Hybrid Evolutionary Algorithm for Solving Multi-Objective Optimization Problems / Huantong Geng, Haifeng Zhu, Rui Xing and Tingting Wu -- Heuristic Algorithms for Solving Survivable Network Design Problem with Simultaneous Unicast and Anycast Flows / Huynh Thi Thanh Binh, Pham Vu Long, Nguyen Ngoc Dat and Nguyen Sy Thai Ha -- Protein-Protein Binding Affinity Prediction Based on an SVR Ensemble / Xueling Li, Min Zhu, Xiaolai Li, Hong-Qiang Wang and Shulin Wang -- A Novel Two-Stage Alignment Method for Liquid Chromatography Mass Spectrometry-Based Metabolomics / Xiaoli Wei, Xue Shi, Seongho Kim, Craig McClain and Xiang Zhang.
Reconstruction of Metabolic Association Networks Using High-throughput Mass Spectrometry Data / Imhoi Koo, Xiang Zhang and Seongho Kim -- Predicting Protein Subcellular Localization by Fusing Binary Tree and Error-Correcting Output Coding / Lili Guo and Yuehui Chen -- Exponential Stability of a Class of High-Order Hybrid Neural Networks / Qian Ye, Baotong Cui, Xuyang Lou and Ke Lou -- Mining Google Scholar Citations: An Exploratory Study / Ze Huang and Bo Yuan -- Knowledge Acquisition of Multiple Information Sources Based on Aircraft Assembly Design / Liang Xia, Lizhi Zhang and Zhenguo Yan -- Generalizing Sufficient Conditions and Traceable Graphs / Kewen Zhao -- Note on the Minimal Energy Ordering of Conjugated Trees / Yulan Xiao and Bofeng Huo -- An Ensemble Method Based on Confidence Probability for Multi-domain Sentiment Classification / Quan Zhou, Yuhong Zhang and Xuegang Hu -- Robust ISOMAP Based on Neighbor Ranking Metric / Chun Du, Shilin Zhou, Jixiang Sun and Jingjing Zhao -- Modeling by Combining Dimension Reduction and L2Boosting / Junlong Zhao -- Geometric Linear Regression and Geometric Relation / Kaijun Wang and Liying Yang -- Optimal Control Strategies of a Tuberculosis Model with Exogenous Reinfection / Yali Yang, Xiuchao Song, Yuzhou Wang and Guoyun Luo -- Method of Smartphone Users' Information Protection Based on Composite Behavior Monitor / Hua Zha and Chunlin Peng -- Improved Digital Chaotic Sequence Generator Utilized in Encryption Communication / Xiaoyuan Li, Bin Qi and Lu Wang -- Modeling and Adaptive Control for Flapping-Wing Micro Aerial Vehicle / Qingwei Li and Hongjun Duan -- Distributed Staff's Integral Systems Design and Implementation / Qing Xie, Guo-Dong Liu, Zheng-Hua Shu, Bing-Xin Wang and Deng-Ji Zhao -- Research of QoC-aware Service Adaptation in Pervasive Environment / Di Zheng, Qingwei Xu and Ke-rong Ben -- Energy Efficient Filtering Nodes Assignment Method for Sensor Networks Using Fuzzy Logic / Soo Young Moon and Tae Ho Cho -- Sentiment Analysis with Multi-source Product Reviews / Hongwei Jin, Minlie Huang and Xiaoyan Zhu -- Identifying CpG Islands in Genome Using Conditional Random Fields / Wei Liu, Hanwu Chen and Ling Chen -- A Novel Gene Selection Method for Multi-catalog Cancer Data Classification / Xuejiao Lei, Yuehui Chen and Yaou Zhao.
A Novel Discretization Method for Microarray-Based Cancer Classification / Ding Li, Rui Li and Hong-Qiang Wang -- Sequence-Based Prediction of Protein-Protein Interactions Using Random Tree and Genetic Algorithm / Lei Zhang -- A Two-Stage Reduction Method Based on Rough Set and Factor Analysis / Zheng Liu, Liying Fang, Mingwei Yu, Pu Wang and Jianzhuo Yan -- Eyebrow Segmentation Based on Binary Edge Image / Jiatao Song, Liang Wang and Wei Wang -- X-ray Image Contrast Enhancement Using the Second Generation Curvelet Transform / Hao Li and Guanying Huo -- MMW Image Blind Restoration Using Sparse ICA in Contourlet Transform Domain / Li Shang, Pin-gang Su and Wen-jun Huai -- An Adaptive Non Local Spatial Fuzzy Image Segmentation Algorithm / Hanqiang Liu and Feng Zhao -- MMW Image Enhancement Based on Gray Stretch Technique and SSR Theory / Wen-Jun Huai, Li Shang and Pin-Gang Su -- A Study of Images Denoising Based on Two Improved Fractional Integral Marks / Changxiong Zhou, Tingqin Yan, Wenlin Tao and Shufen Lui -- Leaf Image Recognition Using Fourier Transform Based on Ordered Sequence / Li-Wei Yang and Xiao-Feng Wang -- Discriminant Graph Based Linear Embedding / Bo Li, Jin Liu, Wen-Yong Dong and Wen-Sheng Zhang -- A Performance Analysis of Omnidirectional Vision Based Simultaneous Localization and Mapping / Hayrettin Erturk, Gurkan Tuna, Tarik Veli Mumcu and Kayhan Gulez -- Trajectory Estimation of a Tracked Mobile Robot Using the Sigma-Point Kalman Filter with an IMU and Optical Encoder / Xuan Vinh Ha, Cheolkeun Ha and Jewon Lee -- Development of a Mobile Museum Guide Robot That Can Configure Spatial Formation with Visitors / Mohammad Abu Yousuf, Yoshinori Kobayashi, Yoshinori Kuno, Akiko Yamazaki and Keiichi Yamazaki -- A Novel Image Matting Approach Based on Naive Bayes Classifier / Zhanpeng Zhang, Qingsong Zhu and Yaoqin Xie -- Detecting Insulators in the Image of Overhead Transmission Lines / Jingjing Zhao, Xingtong Liu, Jixiang Sun and Lin Lei -- Realizing Geometry Surface Modeling of Complicated Geological Object Based on Delaunay Triangulation / Xiangbin Meng, Panpan Lv, Xin Wang and Hua Chen -- Researching of the Evolution of Discontent in Mass Violence Event / FanLiang Bu and YuNing Zhao -- An Efficient Two-Stage Level Set Segmentation Framework for Overlapping Plant Leaf Image / Xiao-Feng Wang and Hai Min -- Behavior Analysis of Software Systems Based on Petri Net Slicing / Jiaying Ma, Wei Han and Zuohua Ding -- Aircraft Landing Scheduling Based on Semantic Agent Negotiation Mechanism / Zhao-Tong Huang, Xue-Yan Song, Ji-Zhou Sun and Zhi-Zeng Li.
A Real-Time Posture Simulation Method for High-Speed Train / Huijuan Zhou, Bo Chen, Yong Qin and Yiran Liu -- High-Order Terminal Sliding-Mode Observers for Anomaly Detection / Yong Feng, Fengling Han, Xinghuo Yu, Zahir Tari and Lilin Li, et al. -- An Automated Bug Triage Approach: A Concept Profile and Social Network Based Developer Recommendation / Tao Zhang and Byungjeong Lee -- A New Method for Filtering IDS False Positives with Semi-supervised Classification / Minghua Zhang and Haibin Mei -- Dual-form Elliptic Curves Simple Hardware Implementation / Jianxin Wang and Xingjun Wang -- Genetic Based Auto-design of Fuzzy Controllers for Vector Controlled Induction Motor Drives / Moulay Rachid Douiri and Mohamed Cherkaoui -- Very Short Term Load Forecasting for Macau Power System / Chong Yin Fok and Mang I Vai -- A Method for the Enhancement of the Detection Power and Energy Savings against False Data Injection Attacks in Wireless Sensor Networks / Su Man Nam and Tae Ho Cho -- Virtual Cluster Tree Based Distributed Data Classification Strategy Using Locally Linear Embedding in Wireless Sensor Network / Xin Song, Cuirong Wang, Cong Wang and Xi Hu -- Fault Detection and Isolation in Wheeled Mobile Robot / Ngoc Bach Hoang, Hee-Jun Kang and Young-Shick Ro -- The Research on Mapping from DAML+OIL Ontology to Basic-Element and Complex-Element of Extenics / Wen Bin -- The Study of Codeswitching in Advertisements / Wang Hua -- Powered Grid Scheduling by Ant Algorithm / Feifei Liu and Xiaoshe Dong -- An Efficient Palmprint Based Recognition System Using 1D-DCT Features / G.S. Badrinath, Kamlesh Tiwari and Phalguni Gupta -- An Efficient Algorithm for De-duplication of Demographic Data / Vandana Dixit Kaushik, Amit Bendale, Aditya Nigam and Phalguni Gupta -- A Transportation Model with Interval Type-2 Fuzzy Demands and Supplies / Juan C. Figueroa-García and Germán Hernández -- Unstructured Scene Object Localization Algorithm Based on Sparse Overcomplete Representation / Peng Lu, Yuhe Tang, Eryan Chen, Huige Shi and Shanshan Zhang -- Solving the Distribution Center Location Problem Based on Multi-swarm Cooperative Particle Swarm Optimizer / Xianghua Chu, Qiang Lu, Ben Niu and Teresa Wu -- Improved Bacterial Foraging Optimization with Social Cooperation and Adaptive Step Size / Xiaohui Yan, Yunlong Zhu, Hanning Chen and Hao Zhang -- Root Growth Model for Simulation of Plant Root System and Numerical Function Optimization / Hao Zhang, Yunlong Zhu and Hanning Chen -- Bacterial-Inspired Algorithms for Engineering Optimization / Ben Niu, Jingwen Wang, Hong Wang and Lijing Tan -- Multiobjective Dynamic Multi-Swarm Particle Swarm Optimization for Environmental/Economic Dispatch Problem / Jane-Jing Liang, Wei-Xing Zhang, Bo-Yang Qu and Tie-Jun Chen.
Record Nr. STANFORD-a9689451
[International Conference on Intelligent Computing (8th : 2012 : Huangshan Shi, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Swarm intelligence : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings / Marco Dorigo [and others] (eds.).
Swarm intelligence : 8th International Conference, ANTS 2012, Brussels, Belgium, September 12-14, 2012. Proceedings / Marco Dorigo [and others] (eds.).
Creatore [ANTS (Conference : Swarm intelligence) (8th : 2012 : Brussels, Belgium)]
Estensione 1 online resource : illustrations (some color).
Disciplina 006.3
Accesso persona Dorigo, Marco
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642326509
3642326501
3642326498
9783642326493
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Particle Swarm Embedding Algorithm for Nonlinear Dimensionality Reduction / Oliver Kramer -- ABC-Miner: An Ant-Based Bayesian Classification Algorithm / Khalid M. Salama and Alex A. Freitas -- Analysing Robot Swarm Decision-Making with Bio-PEPA / Mieke Massink, Manuele Brambilla, Diego Latella, Marco Dorigo and Mauro Birattari -- Automatic Generation of Multi-objective ACO Algorithms for the Bi-objective Knapsack / Leonardo C.T. Bezerra, Manuel López-Ibáñez and Thomas Stützle -- Bare Bones Particle Swarms with Jumps / Mohammad Majid al-Rifaie and Tim Blackwell -- Hybrid Algorithms for the Minimum-Weight Rooted Arborescence Problem / Sergi Mateo, Christian Blum, Pascal Fua and Engin Türetgen -- Improving the cAnt-MinerPB Classification Algorithm / Matthew Medland, Fernando E.B. Otero and Alex A. Freitas -- Introducing Novelty Search in Evolutionary Swarm Robotics / Jorge Gomes, Paulo Urbano and Anders Lyhne Christensen -- Measuring Diversity in the Cooperative Particle Swarm Optimizer / Adiel Ismail and Andries P. Engelbrecht -- Multi-armed Bandit Formulation of the Task Partitioning Problem in Swarm Robotics / Giovanni Pini, Arne Brutschy, Gianpiero Francesca, Marco Dorigo and Mauro Birattari -- Scalability Study of Particle Swarm Optimizers in Dynamic Environments / Barend J. Leonard and Andries P. Engelbrecht.
Self-reconfigurable Modular e-pucks / Lachlan Murray, Jon Timmis and Andy Tyrrell -- Task Partitioning via Ant Colony Optimization for Distributed Assembly / James Worcester and M. Ani Hsieh -- The Self-adaptive Comprehensive Learning Particle Swarm Optimizer / Adiel Ismail and Andries P. Engelbrecht -- Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions / Heiko Hamann -- A Hybrid Particle Swarm Optimization Algorithm for the Open Vehicle Routing Problem / Yannis Marinakis and Magdalene Marinaki -- A Self-adaptive Heterogeneous PSO Inspired by Ants / Filipe V. Nepomuceno and Andries P. Engelbrecht -- A "Thermodynamic" Approach to Multi-robot Cooperative Localization with Noisy Sensors / Yotam Elor and Alfred M. Bruckstein -- AcoSeeD: An Ant Colony Optimization for Finding Optimal Spaced Seeds in Biological Sequence Search / Dong Do Duc, Huy Q. Dinh, Thanh Hai Dang, Kris Laukens and Xuan Huan Hoang -- Analysis of Ant-Based Routing with Wireless Medium Access Control / Rui Fang, Zequn Huang, Louis Rossi and Chien-Chung Shen -- Ant-Based Approaches for Solving Autocorrelation Problems / Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas and Michael N. Vrahatis.
Collision-Induced "Priority Rule" Governs Efficiency of Pheromone-Communicating Swarm Robots / Ryusuke Fujisawa, Shigeto Dobata, Yuuta Sasaki, Riku Takisawa and Fumitoshi Matsuno -- Dynamic Load Balancing Inspired by Cemetery Formation in Ant Colonies / Ronald Klazar and Andries P. Engelbrecht -- Feasibility of an Ant Colony Optimization Algorithm for Multi-leaf Collimator (MLC) Aperture Definition and Beam Weighting in Volumetric Modulated Arc Therapy (VMAT) Radiotherapy Treatment Planning / Owen Clancey and Matthew Witten -- Formica ex Machina: Ant Swarm Foraging from Physical to Virtual and Back Again / Joshua P. Hecker, Kenneth Letendre, Karl Stolleis, Daniel Washington and Melanie E. Moses -- Improving Peer Review with ACORN: ACO Algorithm for Reviewer's Network / Mark Flynn and Melanie Moses -- Learning Finite-State Machines with Ant Colony Optimization / Daniil Chivilikhin and Vladimir Ulyantsev -- Mobbing Behavior and Deceit and Its Role in Bio-inspired Autonomous Robotic Agents / Justin Davis and Ronald Arkin -- Performance of Bacterial Foraging Optimization in Dynamic Environments / Jade Abbott and Andries P. Engelbrecht -- Piecewise Linear Approximation of n-Dimensional Parametric Curves Using Particle Swarms / Christopher Wesley Cleghorn and Andries P. Engelbrecht -- Probabilistic Stochastic Diffusion Search / Mahamed G.H. Omran and Ayed Salman.
Self-organized Clustering of Square Objects by Multiple Robots / Yong Song, Jung-Hwan Kim and Dylan A. Shell -- Self-reproduction versus Transition Rules in Ant Colonies for Medical Volume Segmentation / Robert Haase, Hans-Joachim Böhme, Rosalind Perrin, Klaus Zöphel and Nasreddin Abolmaali -- Swarm Interpolation Using an Approximate Chebyshev Distribution / Joshua Kirby, Marco A. Montes de Oca, Steven Senger, Louis F. Rossi and Chien-Chung Shen -- Using MOPSO to Solve Multiobjective Bilevel Linear Problems / Maria João Alves -- Clustering Moodle Data via Ant Colony Optimization / Päivi Suomalainen -- Continuous Trait-Based Particle Swarm Optimisation (CTB-PSO) / Ed Keedwell, Mark Morley and Darren Croft -- Exploring Different Functions for Heuristics, Discretization, and Rule Quality Evaluation in Ant-Miner / Khalid M. Salama and Fernando E.B. Otero -- Fuzzy-Based Aggregation with a Mobile Robot Swarm / Farshad Arvin, Ali Emre Turgut and Shigang Yue -- Maturity of the Particle Swarm as a Metric for Measuring the Particle Swarm Intelligence / Zdenka Winklerová -- Multi-objective Firefly Algorithm for Energy Optimization in Grid Environments / María Arsuaga-Ríos and Miguel A. Vega-Rodríguez -- Particle Swarm Optimization with Random Sampling in Variable Neighbourhoods for Solving Global Minimization Problems / Gonzalo Nápoles, Isel Grau and Rafael Bello.
Record Nr. STANFORD-a9708955
[ANTS (Conference : Swarm intelligence) (8th : 2012 : Brussels, Belgium)]  
Materiale a stampa
Lo trovi qui: Stanford University
Quantum interaction : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, revised selected papers / Jerome R. Busemeyer [and others] (eds.).
Quantum interaction : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, revised selected papers / Jerome R. Busemeyer [and others] (eds.).
Creatore [QI 2012 (2012 : Paris, France)]
Estensione 1 online resource (x, 238 pages) : illustrations.
Disciplina 006.3
Accesso persona Busemeyer, Jerome R.
Soggetto non controllato Computer science
Information theory
Computer software
Artificial intelligence
Computer simulation
Theory of Computation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
ISBN 9783642356599
3642356591
3642356583
9783642356582
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Quantum Inspired Modelling of Changing Attitudes and Self-organising Societies / Kirsty Kitto, Fabio Boschetti, Peter Bruza -- On Least Action Principles for Discrete Quantum Scales / François Dubois, Isabelle Greff, Thomas Hélie -- Real, Complex, and Binary Semantic Vectors / Dominic Widdows, Trevor Cohen -- The Guppy Effect as Interference / Diederik Aerts, Jan Broekaert, Liane Gabora, Tomas Veloz -- A Quantum Model for the Ellsberg and Machina Paradoxes / Diederik Aerts, Sandro Sozzo, Jocelyn Tapia -- A Quantum-Like Model of Escherichia coli's Metabolism Based on Adaptive Dynamics / Masanari Asano, Irina Basieva, Andrei Khrennikov, Masanori Ohya -- Fractals, Dissipation and Coherent States / Giuseppe Vitiello -- Hierarchical Bayesian Estimation of Quantum Decision Model Parameters / Jerome R. Busemeyer, Zheng Wang, Jennifer S. Trueblood.
Many Paths Lead to Discovery: Analogical Retrieval of Cancer Therapies / Trevor Cohen, Dominic Widdows, Lance De Vine, Roger Schvaneveldt -- Emergence and Instability of Individual Identity / Ariane Lambert-Mogiliansky, Jerome R. Busemeyer -- Entanglement of Conceptual Entities in Quantum Model Theory (QMod) / Diederik Aerts, Sandro Sozzo -- Quantum Model Theory (QMod): Modeling Contextual Emergent Entangled Interfering Entities / Diederik Aerts, Sandro Sozzo -- Quantum-Like Representation of Irrational Inference / Masanari Asano, Irina Basieva, Andrei Khrennikov, Masanori Ohya -- Type Indeterminacy in Privacy Decisions: The Privacy Paradox Revisited / Christian Flender, Günter Müller.
Adaptive Dynamics and Its Application to Context Dependent Systems Breaking the Classical Probability Law / Masanari Asano, Irina Basieva, Andrei Khrennikov, Masanori Ohya -- Modelling Word Activation in Semantic Networks: Three Scaled Entanglement Models Compared / David Galea, Peter Bruza, Kirsty Kitto, Douglas Nelson -- Quantum Entanglement and the Issue of Selective Influences in Psychology: An Overview / Ehtibar N. Dzhafarov, Janne V. Kujala -- Quantum-Like Behavior of Classical Systems / Thomas Filk -- Connecting the Dots: Mass, Energy, Word Meaning, and Particle-Wave Duality / Sándor Darányi, Peter Wittek -- Indiscernability and Mean Field, a Base of Quantum Interaction / Michel Gondran, Sébastien Lepaul -- Social-Psychological Harmonic Oscillators in the Self-regulation of Organizations and Systems / William F. Lawless, Donald A. Sofge.
Record Nr. STANFORD-a9861329
[QI 2012 (2012 : Paris, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Applications of evolutionary computation : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings / Anna I. Esparcia-Alcázar et al. (eds.).
Applications of evolutionary computation : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings / Anna I. Esparcia-Alcázar et al. (eds.).
Creatore [EvoApplications (Conference) (16th : 2013 : Vienna, Austria)]
Estensione 1 online resource (xxvii, 639 pages) : illustrations.
Disciplina 005.1
Accesso persona Esparcia-Alcázar, Anna Isabel, editor
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Pattern Recognition
Computation by Abstract Devices
Computer Applications
ISBN 9783642371929
3642371922
3642371914
9783642371912
Classificazione 54.79
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto EvoCOMNET. An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks / Doina Bucur [and others] -- Routing Low-Speed Traffic Requests onto High-Speed Lightpaths by Using a Multiobjective Firefly Algorithm / Álvaro Rubio-Largo, Miguel A. Vega-Rodríguez -- Pareto-optimal Glowworm Swarms Optimization for Smart Grids Management / Eleonora Riva Sanseverino, Maria Luisa Di Silvestre, Roberto Gallea -- An Overlay Approach for Optimising Small-World Properties in VANETs / Julien Schleich [and others] -- Impact of the Number of Beacons in PSO-Based Auto-localization in UWB Networks / Stefania Monica, Gianluigi Ferrari -- Load Balancing in Distributed Applications Based on Extremal Optimization / Ivanoe De Falco [and others] -- A Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming / Gianluigi Folino, Francesco Sergio Pisani -- Solving the Location Areas Scheme in Realistic Networks by Using a Multi-objective Algorithm / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez.
EvoCOMPLEX. The Small-World Phenomenon Applied to a Self-adaptive Resources Selection Model / María Botón-Fernández, Francisco Prieto Castrillo, Miguel A. Vega-Rodríguez -- Partial Imitation Hinders Emergence of Cooperation in the Iterated Prisoner's Dilemma with Direct Reciprocity / Mathis Antony, Degang Wu, K.Y. Szeto -- A Memetic Approach to Bayesian Network Structure Learning / Alberto Tonda [and others] -- Multiobjective Evolutionary Strategy for Finding Neighbourhoods of Pareto-optimal Solutions / Ewa Gajda-Zagórska -- Genetic Programming-Based Model Output Statistics for Short-Range Temperature Prediction / Kisung Seo [and others] -- Evolutionary Multi-Agent System in Hard Benchmark Continuous Optimisation / Sebastian Pisarski [and others] -- EvoENERGY. Domestic Load Scheduling Using Genetic Algorithms / Ana Soares [and others] -- Evolutionary Algorithm Based Control Policies for Flexible Optimal Power Flow over Time / Stephan Hutterer, Michael Affenzeller, Franz Auinger -- Using a Genetic Algorithm for the Determination of Power Load Profiles / Frédéric Krüger, Daniel Wagner, Pierre Collet -- Comparing Ensemble-Based Forecasting Methods for Smart-Metering Data / Oliver Flasch [and others] -- Evolving Non-Intrusive Load Monitoring / Dominik Egarter, Anita Sobe, Wilfried Elmenreich.
EvoFIN. On the Utility of Trading Criteria Based Retraining in Forex Markets / Alexander Loginov, Malcolm I. Heywood -- Identifying Market Price Levels Using Differential Evolution / Michael Mayo -- Evolving Hierarchical Temporal Memory-Based Trading Models / Patrick Gabrielsson, Rikard König, Ulf Johansson -- Robust Estimation of Vector Autoregression (VAR) Models Using Genetic Algorithms / Ronald Hochreiter, Gerald Krottendorfer -- Usage Patterns of Trading Rules in Stock Market Trading Strategies Optimized with Evolutionary Methods / Krzysztof Michalak, Patryk Filipiak, Piotr Lipinski -- Combining Technical Analysis and Grammatical Evolution in a Trading System / Iván Contreras, J. Ignacio Hidalgo, Laura Núñez-Letamendia -- EvoGAMES. A Card Game Description Language / Jose M. Font [and others] -- Generating Map Sketches for Strategy Games / Antonios Liapis, Georgios N. Yannakakis, Julian Togelius -- A Procedural Balanced Map Generator with Self-adaptive Complexity for the Real-Time Strategy Game Planet Wars / Raúl Lara-Cabrera, Carlos Cotta, Antonio J. Fernández-Leiva -- Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design / Michael Cook [and others] -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting Strategy / Ransom K. Winder -- Comparing Evolutionary Algorithms to Solve the Game of MasterMind / Javier Maestro-Montojo, Juan Julián Merelo, Sancho Salcedo-Sanz.
EvoIASP. A Genetic Algorithm for Color Image Segmentation / Alessia Amelio, Clara Pizzuti -- Multiobjective Projection Pursuit for Semisupervised Feature Extraction / Mihaela Elena Breaban -- Land Cover/Land Use Multiclass Classification Using GP with Geometric Semantic Operators / Mauro Castelli [and others] -- Adding Chaos to Differential Evolution for Range Image Registration / Ivanoe De Falco [and others] -- Genetic Programming for Automatic Construction of Variant Features in Edge Detection / Wenlong Fu, Mark Johnston, Mengjie Zhang -- Automatic Construction of Gaussian-Based Edge Detectors Using Genetic Programming / Wenlong Fu, Mark Johnston, Mengjie Zhang -- Implicit Fitness Sharing for Evolutionary Synthesis of License Plate Detectors / Krzysztof Krawiec, Mateusz Nawrocki -- Feedback-Based Image Retrieval Using Probabilistic Hypergraph Ranking Augmented by Ant Colony Algorithm / Ling-Yan Pan, Yu-Bin Yang -- An Evolutionary Approach for Automatic Seedpoint Setting in Brain Fiber Tracking / Tobias Pilic, Hendrik Richter -- Prediction of Forest Aboveground Biomass: An Exercise on Avoiding Overfitting / Sara Silva [and others] -- Human Action Recognition from Multi-Sensor Stream Data by Genetic Programming / Feng Xie, Andy Song, Vic Ciesielski -- Novel Initialisation and Updating Mechanisms in PSO for Feature Selection in Classification / Bing Xue, Mengjie Zhang, Will N. Browne.
EvoINDUSTRY. CodeMonkey; a GUI Driven Platform for Swift Synthesis of Evolutionary Algorithms in Java / Reza Etemadi, Nawwaf Kharma, Peter Grogono -- Multi-Objective Optimizations of Structural Parameter Determination for Serpentine Channel Heat Sink / Xuekang Li [and others] -- EvoNUM. Towards Non-linear Constraint Estimation for Expensive Optimization / Fabian Gieseke, Oliver Kramer -- Repair Methods for Box Constraints Revisited / Simon Wessing -- Scalability of Population-Based Search Heuristics for Many-Objective Optimization / Ramprasad Joshi, Bharat Deshpande -- EvoPAR. On GPU Based Fitness Evaluation with Decoupled Training Partition Cardinality / Jazz Alyxzander Turner-Baggs, Malcolm I. Heywood -- EvoSpace: A Distributed Evolutionary Platform Based on the Tuple Space Model / Mario García-Valdez, Leonardo Trujillo, Francisco Fernández de Vega -- Cloud Driven Design of a Distributed Genetic Programming Platform / Owen Derby, Kalyan Veeramachaneni, Una-May O'Reilly -- Cloud Scale Distributed Evolutionary Strategies for High Dimensional Problems / Dennis Wilson, Kalyan Veeramachaneni, Una-May O'Reilly.
EvoRISK. Malicious Automatically Generated Domain Name Detection Using Stateful-SBB / Fariba Haddadi [and others] -- EvoROBOT. Evolving Gaits for Physical Robots with the HyperNEAT Generative Encoding: The Benefits of Simulation / Suchan Lee [and others] -- Co-evolutionary Approach to Design of Robotic Gait / Jan Černý, Jiří Kubalík -- A Comparison between Different Encoding Strategies for Snake-Like Robot Controllers / Dámaso Pérez-Moneo Suárez, Claudio Rossi -- MONEE: Using Parental Investment to Combine Open-Ended and Task-Driven Evolution / Nikita Noskov [and others] -- Virtual Spatiality in Agent Controllers: Encoding Compartmentalization / Jürgen Stradner [and others] -- Evolving Counter-Propagation Neuro-controllers for Multi-objective Robot Navigation / Amiram Moshaiov, Michael Zadok -- Toward Automatic Gait Generation for Quadruped Robots Using Cartesian Genetic Programming / Kisung Seo, Soohwan Hyun -- Adapting the Pheromone Evaporation Rate in Dynamic Routing Problems / Michalis Mavrovouniotis, Shengxiang Yang -- Finding Robust Solutions to Dynamic Optimization Problems / Haobo Fu [and others] -- An Ant-Based Selection Hyper-heuristic for Dynamic Environments / Berna Kiraz, A. Şima Etaner-Uyar, Ender Özcan.
Record Nr. STANFORD-a10092729
[EvoApplications (Conference) (16th : 2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: Stanford University
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. STANFORD-a10173851
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: Stanford University