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.
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part III / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).
Neural information processing : 18th International Conference, ICONIP 2011, Shanghai, China, November 13-17, 2011, proceedings. Part III / Bao-Liang Lu, Liqing Zhang, James Kwok (eds.).
Creatore [ICONIP (Conference) (18th : 2011 : Shanghai, China)]
Estensione 1 online resource (xxii, 790 pages).
Disciplina 006.3/2
Accesso persona Lu, Bao-Liang
Zhang, Liqing, Ph. D.
Kwok, James, Dr
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data mining
Artificial intelligence
Computer simulation
Computer vision
Optical pattern recognition
Computation by Abstract Devices
Artificial Intelligence (incl. Robotics)
Pattern Recognition
Data Mining and Knowledge Discovery
Simulation and Modeling
Image Processing and Computer Vision
ISBN 9783642249655
3642249655
9783642249648
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004372489
[ICONIP (Conference) (18th : 2011 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: New York University
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Developments in language theory : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / Marie-Pierre Béal, Olivier Carton (eds.).
Creatore [Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]
Estensione 1 online resource (xiii, 460 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Béal, Marie-Pierre
Carton, Olivier
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642387715
3642387713
3642387705
9783642387708
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Ultrametric Finite Automata and Turing Machines / Rūsiņš Freivalds -- Recompression: Word Equations and Beyond / Artur Jeż -- Joint Spectral Characteristics: A Tale of Three Disciplines / Raphaël M. Jungers -- Unambiguous Finite Automata / Christof Löding -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages / Jean-Éric Pin.
Regular Papers. Two Dimensional Prefix Codes of Pictures / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Adjacent Ordered Multi-Pushdown Systems / Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan -- Cuts in Regular Expressions / Martin Berglund, Henrik Björklund, Frank Drewes, Brink van der Merwe, Bruce Watson -- Quantum Finite Automata and Linear Context-Free Languages: A Decidable Problem / Alberto Bertoni, Christian Choffrut, Flavio D'Alessandro -- On the Asymptotic Abelian Complexity of Morphic Words / Francine Blanchet-Sadri, Nathan Fox -- Strict Bounds for Pattern Avoidance / Francine Blanchet-Sadri, Brent Woodhouse -- A Fresh Approach to Learning Register Automata / Benedikt Bollig, Peter Habermehl, Martin Leucker, Benjamin Monmege -- Suffixes, Conjugates and Lyndon Words / Silvia Bonomo, Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino -- Extremal Words in the Shift Orbit Closure of a Morphic Sequence / James D. Currie, Narad Rampersad, Kalle Saari -- Inner Palindromic Closure / Jürgen Dassow, Florin Manea, Robert Mercaş, Mike Müller -- On the Dual Post Correspondence Problem / Joel D. Day, Daniel Reidenbach, Johannes C. Schneider.
One-Way Multi-Head Finite Automata with Pebbles But No States / Martin Kutrib, Andreas Malcher, Matthias Wendlandt -- Regular Expressions with Binding over Data Words for Querying Graph Databases / Leonid Libkin, Tony Tan, Domagoj Vrgoč -- Factorizations and Universal Automaton of Omega Languages / Vincent Carnino, Sylvain Lombardy -- Deciding Determinism of Unary Languages Is coNP-Complete / Ping Lu, Feifei Peng, Haiming Chen -- Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure / Victor Marsault, Jacques Sakarovitch -- 3-Abelian Cubes Are Avoidable on Binary Alphabets / Robert Mercaş, Aleksi Saarela -- Repetition Avoidance in Circular Factors / Hamoon Mousavi, Jeffrey Shallit -- Operator Precedence ω-Languages / Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli -- New Results on Deterministic Sgraffito Automata / Daniel Průša, František Mráz, Friedrich Otto -- On the Number of Abelian Bordered Words / Narad Rampersad, Michel Rigo, Pavel Salimov -- Proof of a Phase Transition in Probabilistic Cellular Automata / Damien Regnault -- Languages with a Finite Antidictionary: Growth-Preserving Transformations and Available Orders of Growth / Arseny M. Shur.
Brzozowski Algorithm Is Generically Super-Polynomial for Deterministic Automata / Sven De Felice, Cyril Nicaud -- A Coloring Problem for Sturmian and Episturmian Words / Aldo de Luca, Elena V. Pribavkina, Luca Q. Zamboni -- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages / Manfred Droste, Heiko Vogler -- Operational Characterization of Scattered MCFLs / Zoltán Ésik, Szabolcs Iván -- Abelian Repetitions in Sturmian Words / Gabriele Fici, Alessio Langiu, Thierry Lecroq, Arnaud Lefebvre, Filippo Mignosi -- Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers / Zoltán Fülöp, Andreas Maletti -- Subword Complexity and k-Synchronization / Daniel Goč, Luke Schaeffer, Jeffrey Shallit -- Some Decision Questions Concerning the Time Complexity of Language Acceptors / Oscar H. Ibarra, Bala Ravikumar -- Unambiguous Conjunctive Grammars over a One-Letter Alphabet / Artur Jeż, Alexander Okhotin -- Alternative Automata Characterization of Piecewise Testable Languages / Ondřej Klíma, Libor Polák -- Finite Automata with Advice Tapes / Uğur Küçük, A.C. Cem Say, Abuzer Yakaryılmaz.
Record Nr. NYU-004402759
[Conference on Developments in Language Theory (17th : 2013 : Marne-la-Vallée, France)]  
Materiale a stampa
Lo trovi qui: New York University
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
Creatore [Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]
Estensione 1 online resource (xvii, 669 pages).
Disciplina 004
Accesso persona Fernández-Baca, David
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642293443
3642293441
9783642293436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Generalization of the Convex Kakeya Problem / Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson and Takeshi Tokuyama, et al. -- Low Complexity Scheduling Algorithm Minimizing the Energy for Tasks with Agreeable Deadlines / Eric Angel, Evripidis Bampis and Vincent Chau -- Bichromatic 2-Center of Pairs of Points / Esther M. Arkin, José Miguel Díaz-Báñez, Ferran Hurtado, Piyush Kumar and Joseph S.B. Mitchell, et al. -- Erdős-Rényi Sequences and Deterministic Construction of Expanding Cayley Graphs / Vikraman Arvind, Partha Mukhopadhyay and Prajakta Nimbhorkar -- A Better Approximation Ratio and an IP Formulation for a Sensor Cover Problem / Rafael da Ponte Barbosa and Yoshiko Wakabayashi -- On the Advice Complexity of the Knapsack Problem / Hans-Joachim Böckenhauer, Dennis Komm, Richard Královič and Peter Rossmanith -- Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems / Nicolas Boria, Jérôme Monnot and Vangelis Th. Paschos -- On Plane Constrained Bounded-Degree Spanners / Prosenjit Bose, Rolf Fagerberg, André van Renssen and Sander Verdonschot.
Space-Efficient Approximation Scheme for Circular Earth Mover Distance / Joshua Brody, Hongyu Liang and Xiaoming Sun -- Density Classification on Infinite Lattices and Trees / Ana Bušić, Nazim Fatès, Jean Mairesse and Irène Marcovici -- Coloring Planar Homothets and Three-Dimensional Hypergraphs / Jean Cardinal and Matias Korman -- An Equivariance Theorem with Applications to Renaming / Armando Castañeda, Maurice Herlihy and Sergio Rajsbaum -- Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks / Armando Castañeda, Damien Imbs, Sergio Rajsbaum and Michel Raynal -- Pseudorandomness of a Random Kronecker Sequence / Eda Cesaratto and Brigitte Vallée -- Revisiting the Cache Miss Analysis of Multithreaded Algorithms / Richard Cole and Vijaya Ramachandran -- Parameterized Complexity of MaxSat above Average / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh -- Solving the 2-Disjoint Connected Subgraphs Problem Faster Than 2n / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk.
On the Non-progressive Spread of Influence through Social Networks / MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi and Vahab Mirrokni, et al. -- Forbidden Patterns / Johannes Fischer, Travis Gagie, Tsvi Kopelowitz, Moshe Lewenstein and Veli Mäkinen, et al. -- Structural Complexity of Multiobjective NP Search Problems / Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner and Maximilian Witek -- k-Gap Interval Graphs / Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan and Stefan Szeider, et al. -- Decidability Classes for Mobile Agents Computing / Pierre Fraigniaud and Andrzej Pelc -- NE Is Not NP Turing Reducible to Nonexponentially Dense NP Sets / Bin Fu -- Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width / Martin Fürer -- Indexed Multi-pattern Matching / Travis Gagie, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Leena Salmela, et al. -- New Lower Bound on Max Cut of Hypergraphs with an Application to r-Set Splitting / Archontia C. Giannopoulou, Sudeshna Kolay and Saket Saurabh.
Cache Me If You Can: Capacitated Selfish Replication Games / Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Naga Naresh Karuturi, C. Pandu Rangan and Rajmohan Rajaraman, et al. -- The Efficiency of MapReduce in Parallel External Memory / Gero Greiner and Riko Jacob -- Algorithms for Some H-Join Decompositions / Michel Habib, Antoine Mamcarz and Fabien de Montgolfier -- On the Bend-Number of Planar and Outerplanar Graphs / Daniel Heldt, Kolja Knauer and Torsten Ueckerdt -- Hiring above the m-th Best Candidate: A Generalization of Records in Permutations / Ahmed Helmi, Conrado Martínez and Alois Panholzer -- On the Performance of Smith's Rule in Single-Machine Scheduling with Nonlinear Cost / Wiebke Höhn and Tobias Jacobs -- Advantage of Overlapping Clusters for Minimizing Conductance / Rohit Khandekar, Guy Kortsarz and Vahab Mirrokni -- Independence of Tabulation-Based Hash Classes / Toryn Qwyllyn Klassen and Philipp Woelfel -- Oblivious Two-Way Finite Automata: Decidability and Complexity / Martin Kutrib, Andreas Malcher and Giovanni Pighizzini.
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs / Hélio B. Macêdo Filho, Raphael C.S. Machado and Celina M.H. Figueiredo -- Random Walks and Bisections in Random Circulant Graphs / Bernard Mans and Igor E. Shparlinski -- The Feedback Arc Set Problem with Triangle Inequality Is a Vertex Cover Problem / Monaldo Mastrolilli -- Fully Analyzing an Algebraic Pólya Urn Model / Basile Morcrette -- Degree-Constrained Node-Connectivity / Zeev Nutov -- Survivable Network Activation Problems / Zeev Nutov -- On the Integrality Gap of the Subtour LP for the 1,2-TSP / Jiawei Qian, Frans Schalekamp, David P. Williamson and Anke van Zuylen -- A Theory and Algorithms for Combinatorial Reoptimization / Hadas Shachnai, Gal Tamir and Tami Tamir -- Capacity Achieving Two-Write WOM Codes / Amir Shpilka -- The Relationship between Inner Product and Counting Cycles / Xiaoming Sun, Chengu Wang and Wei Yu -- Approximating Minimum Label s-t Cut via Linear Programming / Linqing Tang and Peng Zhang.
A O(1/ε2)n-Time Sieving Algorithm for Approximate Integer Programming / Daniel Dadush -- Two-Dimensional Range Diameter Queries / Pooya Davoodi, Michiel Smid and Freek van Walderveen -- An Improved Upper Bound on the Density of Universal Random Graphs / Domingos Dellamonica, Yoshiharu Kohayakawa, Vojtěch Rödl and Andrzej Ruciński -- Logspace Computations in Graph Groups and Coxeter Groups / Volker Diekert, Jonathan Kausch and Markus Lohrey -- Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points / Stefan Dobrev, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce and Ladislav Stacho -- On the Radon Number for P3-Convexity / Mitre C. Dourado, Dieter Rautenbach, Vinícius Fernandes dos Santos, Philipp M. Schäfer and Jayme L. Szwarcfiter, et al. -- Computing Minimum Geodetic Sets of Proper Interval Graphs / Tınaz Ekim, Aysel Erey, Pinar Heggernes, Pim van 't Hof and Daniel Meister -- Hausdorff Rank of Scattered Context-Free Linear Orders / Zoltán Ésik and Szabolcs Iván -- Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: Adaptiveness vs. Obliviousness and Randomization vs. Determinism / Martín Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro and Shmuel Zaks.
Record Nr. NYU-004622594
[Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]  
Materiale a stampa
Lo trovi qui: New York 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
Genere/Forma Electronic books
Conference papers and proceedings
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. NYU-004622636
[ICAISC (Conference) (11th : 2012 : Zakopane, Poland)]  
Materiale a stampa
Lo trovi qui: New York University
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
How the world computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe
Creatore [Conference on Computability in Europe (8th : 2012 : Cambridge, England)]
Estensione 1 online resource.
Disciplina 511.3/52
Accesso persona Cooper, S. B. (S. Barry)
Dawar, Anuj
Löwe, Benedikt
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Algebra -- Data processing
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Mathematical Logic and Foundations
ISBN 9783642308703
3642308708
9783642308697
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ordinal Analysis and the Infinite Ramsey Theorem / Bahareh Afshari and Michael Rathjen -- Curiouser and Curiouser: The Link between Incompressibility and Complexity / Eric Allender -- Information and Logical Discrimination / Patrick Allo -- Robustness of Logical Depth / Luís Antunes, Andre Souto and Andreia Teixeira -- Turing's Normal Numbers: Towards Randomness / Verónica Becher -- Logic of Ruler and Compass Constructions / Michael Beeson -- On the Computational Content of the Brouwer Fixed Point Theorem / Vasco Brattka, Stéphane Le Roux and Arno Pauly -- Square Roots and Powers in Constructive Banach Algebra Theory / Douglas S. Bridges and Robin S. Havea -- The Mate-in-n Problem of Infinite Chess Is Decidable / Dan Brumleve, Joel David Hamkins and Philipp Schlicht -- A Note on Ramsey Theorems and Turing Jumps / Lorenzo Carlucci and Konrad Zdanowski -- Automatic Functions, Linear Time and Learning / John Case, Sanjay Jain, Samuel Seah and Frank Stephan -- An Undecidable Nested Recurrence Relation / Marcel Celaya and Frank Ruskey -- Hard Instances of Algorithms and Proof Systems / Yijia Chen, Jörg Flum and Moritz Müller -- On Mathias Generic Sets / Peter A. Cholak, Damir D. Dzhafarov and Jeffry L. Hirst -- Complexity of Deep Inference via Atomic Flows / Anupam Das -- Connecting Partial Words and Regular Languages / Jürgen Dassow, Florin Manea and Robert Mercaş
Lower Bound on Weights of Large Degree Threshold Functions / Vladimir V. Podolskii -- What Are Computers (If They're not Thinking Things)? / John Preston -- Compactness and the Effectivity of Uniformization / Robert Rettinger -- On the Computability Power of Membrane Systems with Controlled Mobility / Shankara Narayanan Krishna, Bogdan Aman and Gabriel Ciobanu -- On Shift Spaces with Algebraic Structure / Ville Salo and Ilkka Törmä -- Finite State Verifiers with Constant Randomness / A.C. Cem Say and Abuzer Yakaryılmaz -- Game Arguments in Computability Theory and Algorithmic Information Theory / Alexander Shen -- Turing Patterns in Deserts / Jonathan A. Sherratt -- Subsymbolic Computation Theory for the Human Intuitive Processor / Paul Smolensky -- A Correspondence Principle for Exact Constructive Dimension / Ludwig Staiger -- Lown Boolean Subalgebras / Rebecca M. Steiner -- Bringing Up Turing's 'Child-Machine' / Susan G. Sterrett -- Is Turing's Thesis the Consequence of a More General Physical Principle? / Matthew P. Szudzik -- Some Natural Zero One Laws for Ordinals Below ε0 / Andreas Weiermann and Alan R. Woods -- On the Road to Thinking Machines: Insights and Ideas / Jiří Wiedermann -- Making Solomonoff Induction Effective / Or: You Can Learn What You Can Bound / Jörg Zimmermann and Armin B. Cremers.
Randomness, Computation and Mathematics / Rod Downey -- Learning, Social Intelligence and the Turing Test / Why an "Out-of-the-Box" Turing Machine Will Not Pass the Turing Test / Bruce Edmonds and Carlos Gershenson -- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization / Hartmut Ehrig, Claudia Ermel, Falk Hüffner, Rolf Niedermeier and Olga Runge -- Highness and Local Noncappability / Chengling Fang, Wang Shenling and Guohua Wu -- Turing Progressions and Their Well-Orders / David Fernández Duque and Joost J. Joosten -- A Short Note on Spector's Proof of Consistency of Analysis / Fernando Ferreira -- Sets of Signals, Information Flow, and Folktales / Mark Alan Finlayson -- On the Foundations and Philosophy of Info-metrics / Amos Golan -- On Mathematicians Who Liked Logic / The Case of Max Newman / Ivor Grattan-Guinness -- Densities and Entropies in Cellular Automata / Pierre Guillon and Charalampos Zinoviadis -- Foundational Analyses of Computation / Yuri Gurevich -- Turing Machine-Inspired Computer Science Results / Juris Hartmanis -- NP-Hardness and Fixed-Parameter Tractability of Realizing Degree Sequences with Directed Acyclic Graphs / Sepp Hartung and André Nichterlein -- A Direct Proof of Wiener's Theorem / Matthew Hendtlass and Peter Schuster -- Effective Strong Nullness and Effectively Closed Sets / Kojiro Higuchi and Takayuki Kihara.
Word Automaticity of Tree Automatic Scattered Linear Orderings Is Decidable / Martin Huschenbett -- On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic / Wiebe van der Hoek, Petar Iliev and Barteld Kooi -- On Immortal Configurations in Turing Machines / Emmanuel Jeandel -- A Slime Mold Solver for Linear Programming Problems / Anders Johannson and James Zou -- Multi-scale Modeling of Gene Regulation of Morphogenesis / Jaap A. Kaandorp, Daniel Botman, Carlos Tamulonis and Roland Dries -- Tree-Automatic Well-Founded Trees / Alexander Kartzow, Jiamou Liu and Markus Lohrey -- Infinite Games and Transfinite Recursion of Multiple Inductive Definitions / Keisuke Yoshii and Kazuyuki Tanaka -- A Hierarchy of Immunity and Density for Sets of Reals / Takayuki Kihara -- How Much Randomness Is Needed for Statistics? / Bjørn Kjos-Hanssen, Antoine Taveneaux and Neil Thapen -- Towards a Theory of Infinite Time Blum-Shub-Smale Machines / Peter Koepke and Benjamin Seyfferth -- Turing Pattern Formation without Diffusion / Shigeru Kondo -- Degrees of Total Algorithms versus Degrees of Honest Functions / Lars Kristiansen -- A 5n -- o(n) Lower Bound on the Circuit Size over U2 of a Linear Boolean Function / Alexander S. Kulikov, Olga Melanich and Ivan Mihajlin -- Local Induction and Provably Total Computable Functions: A Case Study / Andrés Cordón-Franco and F. Félix Lara-Martín.
What is Turing's Comparison between Mechanism and Writing Worth? / Jean Lassègue and Giuseppe Longo -- Substitutions and Strongly Deterministic Tilesets / Bastien Le Gloannec and Nicolas Ollinger -- The Computing Spacetime / Fotini Markopoulou -- Unifiability and Admissibility in Finite Algebras / George Metcalfe and Christoph Röthlisberger -- Natural Signs / Ruth Garrett Millikan -- Characteristics of Minimal Effective Programming Systems / Samuel E. Moelius III -- After Turing: Mathematical Modelling in the Biomedical and Social Sciences / From Animal Coat Patterns to Brain Tumours to Saving Marriages / James D. Murray -- Existence of Faster than Light Signals Implies Hypercomputation already in Special Relativity / Péter Németi and Gergely Székely -- Turing Computable Embeddings and Coding Families of Sets / Víctor A. Ocasio-González -- On the Behavior of Tile Assembly System at High Temperatures / Shinnosuke Seki and Yasushi Okuno -- Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase / Grant Olney Passmore and Paul B. Jackson -- Multi-valued Functions in Computability Theory / Arno Pauly -- Relative Randomness for Martin-Löf Random Sets / NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki and Kazuyuki Tanaka -- On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models / Mikhail G. Peretyat'kin.
Record Nr. NYU-004623040
[Conference on Computability in Europe (8th : 2012 : Cambridge, England)]  
Materiale a stampa
Lo trovi qui: New York University
Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings. Part I / Carlos A. Coello Coello [and others] (eds.).
Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings. Part I / Carlos A. Coello Coello [and others] (eds.).
Creatore [International Conference on Parallel Problem Solving from Nature (12th : 2012 : Taormina, Italy)]
Estensione 1 online resource.
Disciplina 004/.35
Accesso persona Coello Coello, Carlos A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Artificial intelligence
Computational Biology/Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
ISBN 9783642329371
3642329373
9783642329364
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Convergence of the IGO-Flow of Isotropic Gaussian Distributions on Convex Quadratic Problems / Tobias Glasmachers -- Homogeneous and Heterogeneous Island Models for the Set Cover Problem / Andrea Mambrini, Dirk Sudholt and Xin Yao -- Geometric Semantic Genetic Programming / Alberto Moraglio, Krzysztof Krawiec and Colin G. Johnson -- Efficient Negative Selection Algorithms by Sampling and Approximate Counting / Johannes Textor -- Convergence of the Continuous Time Trajectories of Isotropic Evolution Strategies on Monotonic C22-composite Functions / Youhei Akimoto, Anne Auger and Nikolaus Hansen -- A Parameterized Runtime Analysis of Simple Evolutionary Algorithms for Makespan Scheduling / Andrew M. Sutton and Frank Neumann -- On Algorithm-Dependent Boundary Case Identification for Problem Classes / Chao Qian, Yang Yu and Zhi-Hua Zhou -- Cumulative Step-Size Adaptation on Linear Functions / Alexandre Chotard, Anne Auger and Nikolaus Hansen -- On the Behaviour of the (1, [lambda])-[sigma]SA-ES for a Constrained Linear Problem / Dirk V. Arnold -- An Empirical Evaluation of O(1) Steepest Descent for NK-Landscapes / Darrell Whitley, Wenxiang Chen and Adele Howe -- Experimental Supplements to the Computational Complexity Analysis of Genetic Programming for Problems Modelling Isolated Program Semantics / Tommaso Urli, Markus Wagner and Frank Neumann.
ACO Beats EA on a Dynamic Pseudo-Boolean Function / Timo Kötzing and Hendrik Molter -- Runtime Analysis of Simple Interactive Evolutionary Biobjective Optimization Algorithms / Dimo Brockhoff, Manuel López-Ibáñez, Boris Naujoks and Günter Rudolph -- Parsimony Pressure versus Multi-objective Optimization for Variable Length Representations / Markus Wagner and Frank Neumann -- An Evolutionary and Graph-Based Method for Image Segmentation / Alessia Amelio and Clara Pizzuti -- Real-Time GPU Based Road Sign Detection and Classification / Roberto Ugolotti, Youssef S.G. Nashed and Stefano Cagnoni -- Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP / Michaela Sikulova and Lukas Sekanina -- Transfer Learning, Soft Distance-Based Bias, and the Hierarchical BOA / Martin Pelikan, Mark W. Hauschild and Pier Luca Lanzi -- Reinforcement Learning with N-tuples on the Game Connect-4 / Markus Thill, Patrick Koch and Wolfgang Konen -- Efficient Sampling and Handling of Variance in Tuning Data Mining Models / Patrick Koch and Wolfgang Konen -- A Spatial EA Framework for Parallelizing Machine Learning Methods / Uday Kamath, Johan Kaers, Amarda Shehu and Kenneth A. De Jong -- Competing Mutating Agents for Bayesian Network Structure Learning / Olivier Regnier-Coudert and John McCall.
A Meta-learning Prediction Model of Algorithm Performance for Continuous Optimization Problems / Mario A. Muñoz, Michael Kirley and Saman K. Halgamuge -- Pruning GP-Based Classifier Ensembles by Bayesian Networks / C. De Stefano, G. Folino, F. Fontanella and A. Scotto di Freca -- A Multi-parent Search Operator for Bayesian Network Building / David Iclănzan -- Enhancing Learning Capabilities by XCS with Best Action Mapping / Masaya Nakata, Pier Luca Lanzi and Keiki Takadama -- Using Expert Knowledge to Guide Covering and Mutation in a Michigan Style Learning Classifier System to Detect Epistasis and Heterogeneity / Ryan J. Urbanowicz, Delaney Granizo-Mackenzie and Jason H. Moore -- On Measures to Build Linkage Trees in LTGA / Peter A.N. Bosman and Dirk Thierens -- Evolvability Analysis of the Linkage Tree Genetic Algorithm / Dirk Thierens and Peter A.N. Bosman -- Alternative Restart Strategies for CMA-ES / Ilya Loshchilov, Marc Schoenauer and Michèle Sebag -- Are State-of-the-Art Fine-Tuning Algorithms Able to Detect a Dummy Parameter? / Elizabeth Montero, María-Cristina Riff, Leslie Pérez-Caceres and Carlos A. Coello Coello -- Compressed Network Complexity Search / Faustino Gomez, Jan Koutník and Jürgen Schmidhuber -- Single Node Genetic Programming on Problems with Side Effects / David Jackson.
Generalized Compressed Network Search / Rupesh Kumar Srivastava, Jürgen Schmidhuber and Faustino Gomez -- Analyzing Module Usage in Grammatical Evolution / John Mark Swafford, Erik Hemberg, Michael O'Neill and Anthony Brabazon -- On the Anytime Behavior of IPOP-CMA-ES / Manuel López-Ibáñez, Tianjun Liao and Thomas Stützle -- HappyCat -- A Simple Function Class Where Well-Known Direct Search Algorithms Do Fail / Hans-Georg Beyer and Steffen Finck -- Differential Gene Expression with Tree-Adjunct Grammars / Eoin Murphy, Miguel Nicolau, Erik Hemberg, Michael O'Neill and Anthony Brabazon -- Analysing the Effects of Diverse Operators in a Genetic Programming System / MinHyeok Kim, Bob (RI) McKay, Kangil Kim and Xuan Hoai Nguyen -- Quantitative Analysis of Locally Geometric Semantic Crossover / Krzysztof Krawiec and Tomasz Pawlak -- Length Scale for Characterising Continuous Optimization Problems / Rachael Morgan and Marcus Gallagher -- Analyzing the Behaviour of Population-Based Algorithms Using Rayleigh Distribution / Gabriel Luque and Enrique Alba -- Variable Transformations in Estimation of Distribution Algorithms / Davide Cucci, Luigi Malagò and Matteo Matteucci.
Controlling Overfitting in Symbolic Regression Based on a Bias/Variance Error Decomposition / Alexandros Agapitos, Anthony Brabazon and Michael O'Neill -- On Spectral Invariance of Randomized Hessian and Covariance Matrix Adaptation Schemes / Sebastian U. Stich and Christian L. Müller -- Variable Neighborhood Search and GRASP for Three-Layer Hierarchical Ring Network Design / Christian Schauer and Günther R. Raidl -- Extracting Key Gene Regulatory Dynamics for the Direct Control of Mechanical Systems / Jean Krohn and Denise Gorse -- An Evolutionary Optimization Approach for Bulk Material Blending Systems / Michael P. Cipold, Pradyumn Kumar Shukla, Claus C. Bachmann, Kaibin Bao and Hartmut Schmeck -- Study of Cancer Hallmarks Relevance Using a Cellular Automaton Tumor Growth Model / José Santos and Ángel Monteagudo -- Between Selfishness and Altruism: Fuzzy Nash-Berge-Zhukovskii Equilibrium / Réka Nagy, Noémi Gaskó, Rodica Ioana Lung and D. Dumitrescu -- A Spanning Tree-Based Encoding of the MAX CUT Problem for Evolutionary Search / Kisung Seo, Soohwan Hyun and Yong-Hyuk Kim -- A Hybrid Approach to Piecewise Modelling of Biochemical Systems / Zujian Wu, Shengxiang Yang and David Gilbert -- An Empirical Comparison of CMA-ES in Dynamic Environments / Chun-Kit Au and Ho-Fung Leung.
Record Nr. NYU-004624406
[International Conference on Parallel Problem Solving from Nature (12th : 2012 : Taormina, Italy)]  
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-004621198
[SSVM 2011 (2011 : ʻEn Gedi, Israel)]  
Materiale a stampa
Lo trovi qui: New York University
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Creatore [International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]
Estensione 1 online resource (xxv, 436 pages).
Disciplina 006.3
Accesso persona Ferrández Vicente, José Manuel
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Pattern Recognition
Information Systems Applications (incl. Internet)
ISBN 9783642386374
3642386377
3642386369
9783642386367
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Neural Network Simulation of Spreading Depression / Daniel Castello Paiva, Diego Andina -- Robustness of Artificial Metaplasticity Learning to Erroneous Input Distribution Assumptions / Marta de Pablos Álvaro, Diego Andina -- Neuron Threshold Variability in an Olfactory Model Improves Odorant Discrimination / Aaron Montero, Ramon Huerta -- Contrast Enhancement Mechanisms in the Retinothalamic Circuitry / Rubén Ferreiroa -- Neural Spike Activation in Hippocampal Cultures Using Hebbian Electrical Stimulation / V. Lorente, José Manuel Ferrández-Vicente -- Thalamo-Cortical Network and Seizure Dynamics: A Computational Study / F. Vallone, S. Chillemi, M. Barbi -- Modelling Prior and Retrospective Awareness of Actions / Dilhan J. Thilakarathne, Jan Treur -- Emotional Stress Detection in Contradictory versus Self-consistent Speech by Means of Voice Biometrical Signature / Victoria Rodellar-Biarge -- Vision Substitution Experiments with See ColOr / Guido Bologna, Juan Diego Gomez, Thierry Pun.
Robot Cognitive Stimulation for the Elderly / Adriana Tapus, Alexandra-Maria Vieru -- The Intelligent Room for Elderly Care / Oscar Martinez Mozos, Tokuo Tsuji -- A Method for Estimating Patient Specific Parameters for Simulation of Tissue Deformation by Finite Element Analysis / Ken'ichi Morooka, Shuji Sonoki, Ryo Kurazume -- REEM Service Robot: How May I Help You? / Luca Marchionni, Jordi Pages, Jordi Adell -- Training Study Approaches for a SVM-Based BCI: Adaptation to the Model vs Adaptation to the User / Enrique Hortal, Eduardo Iáñez, Andrés Úbeda -- Evaluation of a Telepresence Robot for the Elderly: A Spanish Experience / Javier Gonzalez-Jimenez, Cipriano Galindo -- Empirical Analysis of the Integration of a BCI and an EOG Interface to Control a Robot Arm / Eduardo Iáñez, Andrés Úbeda, Enrique Hortal -- Interplay between Natural and Artificial Intelligence in Training Autistic Children with Robots / Emilia Barakova, Tino Lourens.
Use of Multilayer Perceptron vs. Distance Measurement Methods for Classification of Exercises in Telerehabilitation / Oscar Marin-Alonso, Daniel Ruiz-Fernández -- Application of Artificial Metaplasticity Neural Networks to Cardiac Arrhythmias Classification / Y. Benchaib, Alexis Marcano-Cedeño -- SBRS: Bridging the Gap between Biomedical Research and Clinical Practice / Santiago Timón-Reina, Rafael Martínez-Tomás -- Perceptual Analysis of Speech Signals from People with Parkinson's Disease / J.R. Orozco-Arroyave, J.D. Arias-Londoño -- Characterization of Speech from Amyotrophic Lateral Sclerosis by Neuromorphic Processing / Pedro Gómez-Vilda, Ana Rita M. Londral -- Fast Approximate Inference in Hybrid Bayesian Networks Using Dynamic Discretisation / Helge Langseth, David Marquez, Martin Neil -- An Influence Diagram for the Collaboration in E-learning Environments / Antonio R. Anaya, Manuel Luque -- A Bayesian Model for Lexical Availability of Chilean High School Students in Mathematics / Pedro Salcedo L., Anita Ferreira C.
Heart Sound Segmentation in Noisy Environments / C. Castro Hoyos, S. Murillo-Rendón -- Kernel Spectral Clustering for Motion Tracking: A First Approach / D. Peluffo-Ordóñez, S. García-Vega -- Multi-labeler Analysis for Bi-class Problems Based on Soft-Margin Support Vector Machines / S. Murillo-Rendón, D. Peluffo-Ordóñez -- New Cues in Low-Frequency of Speech for Automatic Detection of Parkinson's Disease / E.A. Belalcazar-Bolaños -- Computer-Aided Detection of Microcalcifications in Digital Mammograms to Support Early Diagnosis of Breast Cancer / Nayid Triana -- Influence of Interactions between Virtual Channels in Cochlear Implants / Ernesto A. Martínez-Rams -- Dealing with Bullying through Genetic Algorithms / M. Angélica Pinninghoff, Pedro L. Salcedo -- Using Ant Colony Optimization for Edge Detection in Gray Scale Images / Ricardo Contreras, M. Angélica Pinninghoff -- Modeling the Effect of Fixational Eye Movements in Natural Scenes / Andrés Olmedo-Payá, Antonio Martínez-Álvarez.
A Novel Approach for Quantitative Analysis of 3D Phosphenes / C. Soto-Sanchez, Andrés Olmedo-Payá -- Inverse Allometry: Foundations for a Bioinspired LVH-Prediction Model / María Paula Bonomini, Fernando Ingallina -- Cochlear Implant: Transcutaneous Transmission Link with OFDM / Vicente Garcerán-Hernández -- Deficitary Nervous Excitability and Subjective Contraction of Time: Time-Dispersive Model / Isabel Gonzalo-Fonrodona, Miguel A. Porras -- Hybrid Tabu Search for Fuzzy Job Shop / Juan José Palacios, Jorge Puente -- Statistical Characteristics of Portal Images and Their Influence in Noise Reduction / Antonio González-López -- Self Organized Biogeography Algorithm for Clustering / Leila Hamdad, Anissa Achab -- Automatic Orientation of Functional Brain Images for Multiplataform Software / I. Alvarez Illán, Juan Manuel Górriz -- Solving Number Series with Simple Recurrent Networks / Stefan Glüge, Andreas Wendemuth -- Detection Method for Phase Synchronization in a Population of Spiking Neurons / Manuel Lopez, Francisco B. Rodríguez.
Cognitive robotics -- Natural computing -- Wetware computation -- Quality of life technologies -- Biomedical and industrial perception applications -- Web intelligence and neuroscience.
Record Nr. NYU-004638938
[International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part II / Emilio Corchado [and others] (eds.).
Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part II / Emilio Corchado [and others] (eds.).
Creatore [HAIS (Conference) (7th : 2012 : Salamanca, Spain)]
Estensione 1 online resource (xxxii, 606 pages) : illustrations.
Disciplina 006.3
Accesso persona Corchado, Emilio
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Information storage and retrieval systems
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Information Storage and Retrieval
ISBN 9783642289316
3642289312
9783642289309
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov and Dejan Gjorgjevikj -- Ensemble Pruning Using Harmony Search / Shina Sheen, S.V. Aishwarya, R. Anitha, S.V. Raghavan and S.M. Bhaskar -- A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez, Mikel Galar, Julián Luengo and Francisco Herrera -- Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos, Piotr Kania, Pawel Budzyna, Marcin Blachnik and Tadeusz Wieczorek, et al. -- Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanowicz, Slawomir Plamowski, Przemyslaw Kazienko and Wojciech Indyk -- Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman, Laszlo Kovacs, Agnes Jonas, Lajos Hajdu and Andras Hajdu -- Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda -- Encrypting Digital Images Using Cellular Automata / A. Martín del Rey, G. Rodríguez Sánchez and A. de la Villa Cuenca -- Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outliers for Security Applications / Zorana Banković, David Fraga, Juan Carlos Vallejo and José M. Moya -- Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez, Francisco Martínez, José-Francisco Vicent and Antonio Zamora -- Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina, José Luis Del-Río-Correa, César Enrique Rojas-López and José Alejandro Díaz-Méndez -- Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomašev and Dunja Mladenić.
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio, Alberto Ochoa-Zezzatti and Armando Rios-Lira -- Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala and Jerzy Stefanowski -- Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez, Geoffrey I. Webb, M. Julia Flores and José A. Gámez -- An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou, Georgios Evangelidis and Dimitris A. Dervos -- A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac, Isaac Triguero, Salvador García and Francisco Herrera -- Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte, Antonio Rivera, María José del Jesus and Francisco Herrera -- A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold, Maciej Dobrowolski, Henryk Maciejewski, Pawel Skrobanek and Ewa Walkowicz -- A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification / Stefanos Ougiaroglou and Georgios Evangelidis -- Adaptive Inventory Control in Production Systems / Balázs Lénárt, Katarzyna Grzybowska and Mónika Cimer -- Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek and Mieczysław Jagodziński -- Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus, Kamil Krot, Michał Kuliberda and Bolesław Jodkowski -- Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk -- Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski and Tomasz Marut.
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus and Pawel Stefaniak -- Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk, Krzysztof Kalinowski and Cezary Grabowik -- The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik, Damian Krenczyk and Krzysztof Kalinowski -- An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez, M. Pérez-Ortiz, F. Fernández-Navarro, J. Sánchez-Monedero and C. Hervás-Martínez -- Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / F. Fernández-Navarro, Huanhuan Chen, P.A. Gutiérrez, C. Hervás-Martínez and Xin Yao -- Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno, P.A. Gutiérrez and C. Hervás-Martínez -- A Genetic Programming Approach for Solving the Linear Ordering Problem / P.C. Pop and O. Matei -- Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal, José R. Villar, Marco García-Tamargo and Javier Sedano -- A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung and Lucian Sturzu-Năstase -- Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog and Camelia Chira -- From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota, Massimo Esposito and Giuseppe De Pietro -- Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo, Bruno Baruque and Emilio Corchado -- Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea, Iñigo Barandiaran, Carlos Jauquicoa, Grégory Maclair and Manuel Graña.^
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno and Manuel Graña -- A Hybrid Segmentation of Abdominal CT Images / Josu Maiora and Manuel Graña -- Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones and Manuel Graña -- Image Security and Biometrics: A Review / Ion Marqués and Manuel Graña -- Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon, Manuel Graña, A. Barrós-Loscertales, J.C. Bustamante and C. Ávila -- A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez, Daniel Mateos-Garcia and Jose C. Riquelme-Santos -- Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle, Peter Sussner and Estevão Esmi -- Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Estevão Esmi, Peter Sussner, Marcos Eduardo Valle, Fábio Sakuray and Laécio Barros -- A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter, Darya Chyzhyk, Gonzalo Urcid and Manuel Graña -- Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía and Manuel Graña -- Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierala and Jerzy Stefanowski -- Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi and Hamid Beigy -- Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke, Klemens Muthmann, Daniel Schuster, Alexander Schill and Kamil Aliyev, et al. -- Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski -- Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal and Michał Woźniak -- Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk and Marcin Zmyślony -- Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Bogusław Cyganek -- Combining Diverse One-Class Classifiers / Bartosz Krawczyk and Michał Woźniak.
Record Nr. NYU-004622125
[HAIS (Conference) (7th : 2012 : Salamanca, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, proceedings / Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
Creatore [DCFS (Workshop) (14th : 2012 : Braga, Portugal)]
Estensione 1 online resource (x, 318 pages) : illustrations.
Disciplina 005.13/1
Accesso persona Kutrib, Martin
Moreira, Nelma
Reis, Rogério
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642316234
3642316239
3642316220
9783642316227
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computing with Capsules / Jean-Baptiste Jeannin and Dexter Kozen -- Minicomplexity / Christos A. Kapoutsis -- Logical Analysis of Hybrid Systems: A Complete Answer to a Complexity Challenge / André Platzer -- Groups and Automata: A Perfect Match / Pedro V. Silva -- Uniform Distributed Pushdown Automata Systems / Fernando Arroyo, Juan Castellanos and Victor Mitrana -- Removing Nondeterminism in Constant Height Pushdown Automata / Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti and Beatrice Palano -- On Inverse Operations and Their Descriptional Complexity / Maria Paola Bianchi, Markus Holzer, Sebastian Jakobi and Giovanni Pighizzini -- Deciding Representability of Sets of Words of Equal Length / Francine Blanchet-Sadri and Sean Simmons -- Syntactic Complexities of Some Classes of Star-Free Languages / Janusz Brzozowski and Baiyu Li -- Randomness Behaviour in Blum Universal Static Complexity Spaces / Cezar Câmpeanu -- Production Complexity of Some Operations on Context-Free Languages / Jürgen Dassow and Ronny Harbich -- State Complexity of Star and Square of Union of k Regular Languages / Yuan Gao and Lila Kari -- State Complexity of Chop Operations on Unary and Finite Languages / Markus Holzer and Sebastian Jakobi -- On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars / Artur Jeż and Alexander Okhotin -- Descriptional Complexity of Biautomata / Galina Jirásková and Ondřej Klíma -- Descriptional Complexity of Pushdown Store Languages / Andreas Malcher, Katja Meckel, Carlo Mereghetti and Beatrice Palano -- On Internal Contextual Grammars with Subregular Selection Languages / Florin Manea and Bianca Truthe -- An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets / Alexander Meduna, Lukáš Vrábel and Petr Zemek -- Centralized PC Systems of Pushdown Automata versus Multi-head Pushdown Automata / Friedrich Otto -- State Complexity and Limited Nondeterminism / Alexandros Palioudakis, Kai Salomaa and Selim G. Akl -- Bounded Counter Languages / Holger Petersen -- State Complexity of Projection and Quotient on Unranked Trees / Xiaoxue Piao and Kai Salomaa -- Iterating Invertible Binary Transducers / Klaus Sutner and Kevin Lewi -- Minimal DFA for Symmetric Difference NFA / Brink van der Merwe, Hellis Tamm and Lynette van Zijl.
Record Nr. NYU-004623627
[DCFS (Workshop) (14th : 2012 : Braga, Portugal)]  
Materiale a stampa
Lo trovi qui: New York University