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.
Controlled natural language : third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / Tobias Kuhn, Norbert E. Fuchs (eds.).
Controlled natural language : third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / Tobias Kuhn, Norbert E. Fuchs (eds.).
Creatore [International Workshops on Controlled Natural Language (3rd : 2012 : Zurich, Switzerland)]
Estensione 1 online resource (x, 184 pages) : illustrations.
Disciplina 006.3/5
Accesso persona Kuhn, Tobias
Fuchs, N. E. (Norbert E.)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Information storage and retrieval systems
Artificial intelligence
Text processing (Computer science)
Translators (Computer programs)
Information Storage and Retrieval
Language Translation and Linguistics
Information Systems Applications (incl. Internet)
Document Preparation and Text Processing
ISBN 9783642326127
3642326129
9783642326110
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Applying CNL Authoring Support to Improve Machine Translation of Forum Data / Sabine Lehmann, Ben Gottesman, Robert Grabowski, Mayo Kudo and Siu Kei Pepe Lo, et al. -- SQUALL: A Controlled Natural Language for Querying and Updating RDF Graphs / Sébastien Ferré -- Answer Set Programming via Controlled Natural Language Processing / Rolf Schwitter -- OWL Simplified English: A Finite-State Language for Ontology Editing / Richard Power -- Spatiotemporal Extensions to a Controlled Natural Language / William R. Murray and Tomas Singliar -- Controlled Natural Language in Speech Recognition Based User Interfaces / Kaarel Kaljurand and Tanel Alumäe -- An Adaptation Technique for GF-Based Dialogue Systems / Faegheh Hasibi -- General Architecture of a Controlled Natural Language Based Multilingual Semantic Wiki / Kaarel Kaljurand -- FrameNet Resource Grammar Library for GF / Normunds Gruzitis, Peteris Paikens and Guntis Barzdins -- Legislative Drafting Guidelines: How Different Are They from Controlled Language Rules for Technical Writing? / Stefan Höfler -- Portuguese Controlled Language: Coping with Ambiguity / Palmira Marrafa, Raquel Amaro, Nuno Freire and Sara Mendes -- Multilingual Verbalisation of Modular Ontologies Using GF and lemon / Brian Davis, Ramona Enache, Jeroen van Grondelle and Laurette Pretorius.
Record Nr. NYU-004624090
[International Workshops on Controlled Natural Language (3rd : 2012 : Zurich, Switzerland)]  
Materiale a stampa
Lo trovi qui: New York University
Efficient topology estimation for large scale optical mapping / Armağan Elibol, Nuno Gracias, Rafael Garcia
Efficient topology estimation for large scale optical mapping / Armağan Elibol, Nuno Gracias, Rafael Garcia
Creatore [Elibol, Armağan]
Estensione 1 online resource.
Disciplina 629.8/92637
Accesso persona Gracias, Nuno
Garcia, Rafael
Genere/Forma Electronic books
Soggetto non controllato Engineering
Artificial intelligence
Robotics and Automation
Signal, Image and Speech Processing
Computational Intelligence
ISBN 9783642303135
3642303137
3642303129
9783642303128
Classificazione 54.83
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Feature-Based Image Mosaicing -- A New Global Alignment Method for Feature Based Image Mosaicing -- Combined ASKF-EKF Framework for Topology Estimation -- Topology Estimation Using Bundle Adjustment -- Conclusions.
Record Nr. NYU-004624103
[Elibol, Armağan]  
Materiale a stampa
Lo trovi qui: New York University
Progress in pattern recognition, image analysis, computer vision, and applications : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luis Alvarez [and others] (eds.).
Progress in pattern recognition, image analysis, computer vision, and applications : 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luis Alvarez [and others] (eds.).
Creatore [Iberoamerican Congress on Pattern Recognition (17th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource (xxii, 896 pages) : illustrations.
Disciplina 006.4/2
Accesso persona Alvarez, Luis, 1962-editor
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer vision
Optical pattern recognition
Biometrics
Image Processing and Computer Vision
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642332753
3642332757
3642332749
9783642332746
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Optimal "Anti-Bayesian" Parametric Pattern Classification Using Order Statistics Criteria / A. Thomas and B. John Oommen -- An Introduction to Restricted Boltzmann Machines / Asja Fischer and Christian Igel -- Human Activity Recognition with 2D and 3D Cameras / Zicheng Liu -- Smooth Signed Distance Surface Reconstruction and Applications / Gabriel Taubin -- Robot, Pass Me the Scissors! How Robots Can Assist Us in the Operating Room / Juan P. Wachs -- Pattern Recognition in Transportation / José Antonio Rodriguez-Serrano -- The Intrinsic Dimensionality of Attractiveness: A Study in Face Profiles / Andrea Bottino and Aldo Laurentini -- A Hybrid of Principal Component Analysis and Partial Least Squares for Face Recognition across Pose / Ajay Jaiswal, Nitin Kumar and R.K. Agrawal -- Gender Classification in Large Databases / Enrique Ramón-Balmaseda, Javier Lorenzo-Navarro and Modesto Castrillón-Santana -- Combining Face and Facial Feature Detectors for Face Detection Performance Improvement / Modesto Castrillón-Santana, Daniel Hernández-Sosa and Javier Lorenzo-Navarro -- Randomized Face Recognition on Partially Occluded Images / Ariel Morelli Andres, Sebastian Padovani, Mariano Tepper, Marta Mejail and Julio Jacobo -- Face Recognition: Would Going Back to Functional Nature Be a Good Idea? / Noslen Hernández, Yoanna Martínez-Díaz, Dania Porro-Muñoz and Heydi Méndez-Vázquez -- Dissimilarity Representations Based on Multi-Block LBP for Face Detection / Yoanna Martínez-Díaz, Heydi Méndez-Vázquez, Yenisel Plasencia-Calaña and Edel B. García-Reyes -- On the Vulnerability of Iris-Based Systems to a Software Attack Based on a Genetic Algorithm / Marta Gomez-Barrero, Javier Galbally, Pedro Tome and Julian Fierrez -- On the Robustness of Kernel-Based Clustering / Fabio A. González, David Bermeo, Laura Ramos and Olfa Nasraoui.
An Improved Multi-Class Spectral Clustering Based on Normalized Cuts / Diego Hernán Peluffo-Ordóñez, Carlos Daniel Acosta-Medina and César Germáan Castellanos-Domínguez -- A Simple Hybrid Method for Semi-Supervised Learning / Hernán C. Ahumada and Pablo M. Granitto -- Clustering of Incomplete Data and Evaluation of Clustering Quality / Vladimir V. Ryazanov -- A New Classifier Combination Scheme Using Clustering Ensemble / Miguel A. Duval-Poo, Joan Sosa-García, Alejandro Guerra-Gandón, Sandro Vega-Pons and José Ruiz-Shulcloper -- Nested Dichotomies Based on Clustering / Miriam Mónica Duarte-Villaseñor, Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad and Marisol Flores-Garrido -- Combining Re-Ranking and Rank Aggregation Methods / Daniel Carlos Guimarães Pedronette and Ricardo da S. Torres -- Extracting Understandable 3D Object Groups with Multiple Similarity Metrics / Antonio Adán and Miguel Adán -- Semantic Representation of Geospatial Objects Using Multiples Knowledge Domains / Rainer Larin Fonseca and Eduardo Garea Llano -- Feature Extraction and Classification for Insect Footprint Recognition / Bok-Suk Shin, James Russell and Reinhard Klette -- Vector Transition Classes Generation from Fuzzy Overlapping Classes / Enguerran Grandchamp, Sébastien Régis and Alain Rousteau -- Infant Cry Classification Using Genetic Selection of a Fuzzy Model / Alejandro Rosales-Pérez, Carlos A. Reyes-García, Jesus A. Gonzalez and Emilio Arch-Tirado -- Intention, Context and Gesture Recognition for Sterile MRI Navigation in the Operating Room / Mithun Jacob, Christopher Cange, Rebecca Packer and Juan P. Wachs -- Facilitated Gesture Recognition Based Interfaces for People with Upper Extremity Physical Impairments / Hairong Jiang, Juan P. Wachs and Bradley S. Duerstock.
A Performance Evaluation of HMM and DTW for Gesture Recognition / Josep Maria Carmona and Joan Climent -- Human Gait Identification Using Persistent Homology / Javier Lamar-León, Edel B. García-Reyes and Rocío Gonzalez-Diaz -- STOP: Space-Time Occupancy Patterns for 3D Action Recognition from Depth Map Sequences / Antonio W. Vieira, Erickson R. Nascimento, Gabriel L. Oliveira, Zicheng Liu and Mario F.M. Campos -- Human Activity Recognition by Class Label LLE / Juliana Valencia-Aguirre, Andrés M. Álvarez-Meza, Genaro Daza-Santacoloma, Carlos Daniel Acosta-Medina and Germa Castellanos-Domínguez -- Fast Non-parametric Action Recognition / Sebastián Ubalde and Norberto Adrián Goussies -- An Human-Computer Interface Using Facial Gestures for the Game of Truco / Gonzalo Castillo, Santiago Avendaño and Norberto Adrián Goussies -- Using Word Graphs as Intermediate Representation of Uttered Sentences / Jon Ander Gómez and Emilio Sanchis -- Image Classification Using Frequent Approximate Subgraphs / Niusvel Acosta-Mendoza, Annette Morales-González, Andrés Gago-Alonso, Edel B. García-Reyes and José E. Medina-Pagola -- Using Rough Sets and Maximum Similarity Graphs for Nearest Prototype Classification / Yenny Villuendas-Rey, Yailé Caballero-Mota and María Matilde García-Lorenzo -- Hierarchical Elastic Graph Matching for Hand Gesture Recognition / Yu-Ting Li and Juan P. Wachs -- On Speeding up Frequent Approximate Subgraph Mining / Niusvel Acosta-Mendoza, Andrés Gago-Alonso and José E. Medina-Pagola -- Segmentation of Building Facade Domes / Gayane Shalunts, Yll Haxhimusa and Robert Sablatnig -- Human Relative Position Detection Based on Mutual Occlusion / Víctor Borjas, Michal Drozdzal, Petia Radeva and Jordi Vitrià -- Online Matrix Factorization for Multimodal Image Retrieval / Juan C. Caicedo and Fabio A. González.
Improved HSI Color Space for Color Image Segmentation / Rodolfo Alvarado-Cervantes and Edgardo M. Felipe-Riveron -- Wavelet-FFT Filter Applied to Non Uniformity Correction in Infrared Imaging System / Cesar San Martin, Carlos Deocares, S. Godoy, P. Meza and Daniela Bonilla -- Concealing Damaged Coded Images Using Improved FSE with Critical Support Area / Alejandro Alvaro Ramírez-Acosta, Mireya S. García-Vázquez and Sunil Kumar -- Sketchable Histograms of Oriented Gradients for Object Detection / Ekaterina Zaytseva, Santi Seguí and Jordi Vitrià -- Supervised Biometric System Using Multimodal Compression Scheme / Wafa Chaabane, Régis Fournier, Amine Naït-ali, Julio Jacobo and Marta Mejail, et al. -- A New Morphological Measure of Histogram Bimodality / Miguel Angel Cataño and Joan Climent -- Street Detection with Asymmetric Haar Features / Geovany A. Ramirez and Olac Fuentes -- Automatic Camera Pose Recognition in Planar View Scenarios / Luis Alvarez, Luis Gomez, Pedro Henriquez and Luis Mazorra -- Texture Image Retrieval Based on Log-Gabor Features / Rodrigo Nava, Boris Escalante-Ramírez and Gabriel Cristóbal -- Image Retrieval Using Low Level Features of Object Regions with Application to Partially Occluded Images / E.R. Vimina and K. Poulose Jacob -- Continuous Multi-way Shape Measure for Dissimilarity Representation / Diana Porro-Muñoz, Robert P.W. Duin, Mauricio Orozco-Alzate and Isneri Talavera Bustamante -- Improving Spider Recognition Based on Biometric Web Analysis / Carlos M. Travieso Gonzalez, Jaime Roberto Ticay-Rivas, Marcos del Pozo-Baños, William G. Eberhard and Jesús B. Alonso-Hernández -- Legume Identification by Leaf Vein Images Classification / Mónica G. Larese, Roque M. Craviotto, Miriam R. Arango, Carina Gallo and Pablo M. Granitto -- CAR-NF+: An Improved Version of CAR-NF Classifier / Raudel Hernández-León, José Hernández- Palancar, Jesús Ariel Carrasco-Ochoa and José Francisco Martínez-Trinidad.
Recognition of Patterns of Health Problems and Falls in the Elderly Using Data Mining / Bogdan Pogorelc and Matjaž Gams -- SVMTOCP: A Binary Tree Base SVM Approach through Optimal Multi-class Binarization / Diego Arab Cohen and Elmer Andrés Fernández -- On the Comparison of Structured Data / Jyrko Correa-Morris and Noslen Hernández -- A Modification of the Lernmatrix for Real Valued Data Processing / José Juan Carbajal-Hernández, Luis P. Sánchez-Fernández, Luis A. Sánchez-Pérez, Jesús Ariel Carrasco-Ochoa and José Francisco Martínez-Trinidad -- Automatic Design of Binary W-Operators Using Artificial Feed-Forward Neural Networks Based on the Weighted Mean Square Error Cost Function / Marco Benalcázar, Marcel Brun, Virginia Ballarin, Isabel Passoni and Gustavo Meschino, et al. -- On Using Asymmetry Information for Classification in Extended Dissimilarity Spaces / Yenisel Plasencia-Calaña, Edel B. García-Reyes, Robert P.W. Duin and Mauricio Orozco-Alzate -- Improving Convergence of Restricted Boltzmann Machines via a Learning Adaptive Step Size / Noel Lopes and Bernardete Ribeiro -- Robust Asymmetric Adaboost / Pablo Ormeño, Felipe Ramírez, Carlos Valle, Héctor Allende-Cid and Héctor Allende -- Enhancing the Performance of AdaBoost Algorithms by Introducing a Frequency Counting Factor for Weight Distribution Updating / Diego Alonso Fernández Merjildo and Lee Luan Ling -- Significative Learning Using Alpha-Beta Associative Memories / Catalán-Salgado Edgar Armando, Yáñez-Márquez Cornelio and Figueroa-Nazuno Jesus -- Early Visual Processing for Pattern Recognition in Natural Environments / Rosana Matuk Herrera -- Motor Intention Recognition in EEG: In Pursuit of a Relevant Feature Set / Pablo A. Iturralde, Martín Patrone, Federico Lecumberry and Alicia Fernández.
Bag of Features for Automatic Classification of Alzheimer's Disease in Magnetic Resonance Images / Andrea Rueda, John Arevalo, Angel Cruz, Eduardo Romero and Fabio A. González -- An Automatic Segmentation Approach of Epithelial Cells Nuclei / Claudia Mazo, Maria Trujillo and Liliana Salazar -- Evaluation and Selection of Morphological Procedures for Automatic Detection of Micro-calcifications in Mammography Images / Claudia C. Diaz-Huerta, Edgardo M. Felipe-Riverón and Luis M. Montaño-Zetina -- Detection of Chickenpox Vesicles in Digital Images of Skin Lesions / Julián Oyola, Virginia Arroyo, Ana Ruedin and Daniel Acevedo -- Real-Time On-Board Image Processing Using an Embedded GPU for Monocular Vision-Based Navigation / Matías Alejandro Nitsche and Pablo De Cristóforis -- Hardware/Software Co-design for Real Time Embedded Image Processing: A Case Study / Sol Pedre, Tomáš Krajník, Elías Todorovich and Patricia Borensztejn -- Dynamic Textures Segmentation with GPU / Juan Manuel Rodríguez, Francisco Gómez Fernández, María Elena Buemi and Julio Jacobo-Berlles -- Fast Tracking Algorithm with Borders 1-D Histogram Correlation / María Curetti, Santiago Garcia Bravo, Gabriela Soledad Arri and Ladislao Mathé -- Disparity Confidence Measures on Engineered and Outdoor Data / Ralf Haeusler and Reinhard Klette -- Speckle Reduction Using Stochastic Distances / Leonardo Torres, Tamer Cavalcante and Alejandro C. Frery -- Automatic Classification of Volcanic Earthquakes in HMM-Induced Vector Spaces / Riccardo Avesani, Alessio Azzoni, Manuele Bicego and Mauricio Orozco-Alzate -- Building Change Detection from Uniform Regions / Charles Beumier and Mahamadou Idrissa -- Generalized Statistical Complexity of SAR Imagery / Eliana S. de Almeida, Antonio Carlos de Medeiros, Osvaldo A. Rosso and Alejandro C. Frery -- New Metrics to Evaluate Pattern Recognition in Remote Sensing Images / Manel Kallel, Mohamed Naouai and Yosr Slama.
Polarimetric SAR Image Smoothing with Stochastic Distances / Leonardo Torres, Antonio C. Medeiros and Alejandro C. Frery -- Recognition and Real-Time Detection of Blinking Eyes on Electroencephalographic Signals Using Wavelet Transform / Renato Salinas, Enzo Schachter and Michael Miranda -- Finite Rank Series Modeling for Discrimination of Non-stationary Signals / Lina Maria Sepulveda-Cano, Carlos Daniel Acosta-Medina and Germán Castellanos-Dominguez -- Quaternionic Analytic Signal Using Atomic Functions / E. Ulises Moya-Sánchez and Eduardo Bayro-Corrochano -- Separation and Classification of Harmonic Sounds for Singing Voice Detection / Martín Rocamora and Alvaro Pardo -- Online Signature Verification Based on Legendre Series Representation. Consistency Analysis of Different Feature Combinations / Marianela Parodi and Juan Carlos Gómez -- Gaussian Selection for Speaker Recognition Using Cumulative Vectors / Flavio J. Reyes Díaz, José Ramón Calvo de Lara and Gabriel Hernández Sierra -- Speaker Recognition Using a Binary Representation and Specificities Models / Gabriel Hernández-Sierra, Jean-François Bonastre and José Ramón Calvo de Lara -- Analysis of the Multifractal Nature of Speech Signals / Diana Cristina González, Lee Luan Ling and Fábio Violaro -- Beam-Search Formant Tracking Algorithm Based on Trajectory Functions for Continuous Speech / José Enrique García Laínez, Dayana Ribas González, Antonio Miguel Artiaga, Eduardo Lleida Solano and José Ramón Calvo de Lara -- Multi-level Modeling of Manuscripts for Authorship Identification with Collective Decision Systems / Salvador Godoy-Calderón, Edgardo M. Felipe-Riverón and Edith C. Herrera-Luna -- Extraction of Stationary Spectral Components Using Stochastic Variability / David Cárdenas-Peña, Juan David Martínez-Vargas and Germán Castellanos-Domínguez.
Finding Edges by a Contrario Detection of Periodic Subsequences / Mariano Tepper, Pablo Musé, Andrés Almansa and Marta Mejail -- A Non Bayesian Predictive Approach for Functional Calibration / Noslen Hernández, Rolando J. Biscay and Isneri Talavera -- Classifier Combination Using Random Walks on the Space of Concepts / Jorge Sánchez and Javier Redolfi -- Stochastic Approaches of Minimum Distance Method for Region Based Classification / Rogério G. Negri, Luciano V. Dutra and Sidnei J.S. Sant'Anna -- Skills Assessment of Users in Medical Training Based on Virtual Reality Using Bayesian Networks / Ronei M. Moraes, Liliane S. Machado and Leandro C. Souza -- New Strategies for Evaluating the Performance of Typical Testor Algorithms / Eduardo Alba, Diego Guilcapi and Julio Ibarra -- Hierarchies and Climbing Energies / Jean Serra, Bangalore Ravi Kiran and Jean Cousty -- A Method for Reducing the Cardinality of the Pareto Front / Ivan Cabezas and Maria Trujillo -- Feature Selection by Relevance Analysis for Abandoned Object Classification / Johanna Carvajal-González, AndrésM. Álvarez-Meza and German Castellanos-Domínguez -- Fusion of Local and Global Descriptors for Content-Based Image and Video Retrieval / Felipe S.P. Andrade, Jurandy Almeida, Hélio Pedrini and Ricardo da S. Torres -- Speed Estimation Thanks to Two Images from One Stationary Camera / Charles Beumier -- An Algorithm for Highlights Identification and Summarization of Broadcast Soccer Videos / Waldez Azevedo Gomes Junior and Díbio Leandro Borges -- Bubble Identification Based on High Speed Videometry Data: Algorithm and Validation / Carlos E.F. do Amaral, Rafael F. Alves, Marco J. da Silva, Lúcia V.R. Arruda and Leyza B. Dorini, et al. -- Object and Gesture Recognition to Assist Children with Autism during the Discrimination Training / Eduardo Quintana, Catalina Ibarra, Lizbeth Escobedo, Monica Tentori and Jesus Favela -- Pedestrian Detection Using a Feature Space Based on Colored Level Lines / Pablo Negri and Pablo Lotito.
Record Nr. NYU-004624137
[Iberoamerican Congress on Pattern Recognition (17th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: New York University
Belief revision in non-classical logics / Márcio Moretto Ribeiro
Belief revision in non-classical logics / Márcio Moretto Ribeiro
Creatore [Ribeiro, Márcio Moretto]
Estensione 1 online resource (xi, 120 pages).
Disciplina 005.101/5113
Genere/Forma Electronic books
Soggetto non controllato Artificial intelligence
Computer science
Logic
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
ISBN 9781447141860
1447141865
9781447141853
1447141857
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics Without Negation -- Base Revision in Logics Without Negation -- Algorithms for Belief Bases -- Conclusion.
Record Nr. NYU-004624353
[Ribeiro, Márcio Moretto]  
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
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Eleftherakis, George
Hinchey, Michael G. (Michael Gerard), 1969-
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642338267
3642338267
9783642338250
3642338259
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstraction as a Unifying Link for Formal Approaches to Concurrency / Cliff B. Jones -- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation / Đurica Nikolić, Corrado Priami and Roberto Zunino -- Sound Control-Flow Graph Extraction for Java Programs with Exceptions / Afshin Amighi, Pedro de C. Gomes, Dilian Gurov and Marieke Huisman -- Checking Sanity of Software Requirements / Jiří Barnat, Petr Bauch and Luboš Brim -- TVAL+ : TVLA and Value Analyses Together / Pietro Ferrara, Raphael Fuchs and Uri Juhasz -- A Systematic Approach to Atomicity Decomposition in Event-B / Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh -- Compositional Reasoning about Shared Futures / Crystal Chang Din, Johan Dovland and Olaf Owe -- Verification of Aspectual Composition in Feature-Modeling / Qinglei Zhang, Ridha Khedri and Jason Jaskolka -- A Denotational Model for Instantaneous Signal Calculus / Yongxin Zhao, Longfei Zhu, Huibiao Zhu and Jifeng He.
A Timed Mobility Semantics Based on Rewriting Strategies / Gabriel Ciobanu, Maciej Koutny and Jason Steggles -- Towards a Formal Component Model for the Cloud / Roberto Di Cosmo, Stefano Zacchiroli and Gianluigi Zavattaro -- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs / Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin and Zongyan Qiu -- Completing the Automated Verification of a Small Hypervisor -- Assembler Code Verification / Wolfgang Paul, Sabine Schmaltz and Andrey Shadrin -- A Configuration Approach for IMA Systems / Visar Januzaj, Stefan Kugele, Florian Biechele and Ralf Mauersberger -- polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries / Christian Colombo, Adrian Francalanza, Ruth Mizzi and Gordon J. Pace -- Frama-C / A Software Analysis Perspective / Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto and Julien Signoles, et al. -- An Optimization Approach for Effective Formalized fUML Model Checking / Islam Abdelhalim, Steve Schneider and Helen Treharne.
Efficient Probabilistic Abstraction for SysML Activity Diagrams / Samir Ouchani, Otmane Ait Mohamed and Mourad Debbabi -- ML Dependency Analysis for Assessors / Philippe Ayrault, Vincent Benayoun, Catherine Dubois and François Pessaux -- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms / Raluca Lefticaru and Florentin Ipate -- Securely Accessing Shared Resources with Concurrent Constraint Programming / Stefano Bistarelli and Francesco Santini -- A Practical Approach for Closed Systems Formal Verification Using Event-B / Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook -- Extensible Specifications for Automatic Re-use of Specifications and Proofs / Daniel Matichuk and Toby Murray -- Implementing Tactics of Refinement in CRefine / Madiel Conserva Filho and Marcel Vinicius Medeiros Oliveira -- JSXM: A Tool for Automated Test Generation / Dimitris Dranidis, Konstantinos Bratanis and Florentin Ipate -- A Low-Overhead, Value-Tracking Approach to Information Flow Security / Kostyantyn Vorobyov, Padmanabhan Krishnan and Phil Stocks.
Record Nr. NYU-004624987
[International Conference on Software Engineering and Formal Methods (10th : 2012 : Thessalonikē, Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Intelligent financial portfolio composition based on evolutionary computation strategies / António M.S.B.S. Gorgulho, Rui F.M.F. Neves, Nuno C.G. Horta
Intelligent financial portfolio composition based on evolutionary computation strategies / António M.S.B.S. Gorgulho, Rui F.M.F. Neves, Nuno C.G. Horta
Creatore [Gorgulho, António M. S. B. S.]
Estensione 1 online resource : color illustrations.
Disciplina 332.60285
Accesso persona Neves, Rui F. M. F.
Horta, Nuno C. G.
Genere/Forma Electronic books
Soggetto non controllato Engineering
Artificial intelligence
Finance
Computational Intelligence
Financial Economics
ISBN 9783642329890
3642329896
3642329888
9783642329883
9781283909020
1283909022
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Related work -- Solution's architecture -- System validation -- Conclusions and future work.
Record Nr. NYU-004625212
[Gorgulho, António M. S. B. S.]  
Materiale a stampa
Lo trovi qui: New York University
Handbook of neuroevolution through Erlang / Gene I. Sher
Handbook of neuroevolution through Erlang / Gene I. Sher
Creatore [Sher, Gene I.]
Estensione 1 online resource
Disciplina 570.285
Genere/Forma Electronic books
Handbooks and manuals
Handbooks
Soggetto non controllato Computer science
Software engineering
Artificial intelligence
Bioinformatics
Software Engineering/Programming and Operating Systems
Computational Biology/Bioinformatics
ISBN 9781461444633
1461444632
1461444624
9781461444626
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part 1. FOUNDATIONS -- Introduction to Neural Networks -- Introduction to Evolutionary Computation -- Introduction to Neuroevolutionary Methods -- The Unintentional Neural Network Programming Language -- Introduction: Applications & Motivations -- Part 2. NEUROEVOLUTION: TAKING THE FIRST STEP -- Developing a Feed Forward Neural Network -- Adding the "Stochastic Hill-Climber" Learning Algorithm -- Developing a Simple Neuroevolutionary Platform -- Testing the Neuroevolutionary System -- Part 3. A Case Study -- DXNN: A Case Study -- Part 4. Advanced Neuroevolution: Creating the Cutting Edge -- Decoupling & Modularizing Our Neuroevolutionary Platform -- Keeping Track of Important Population and Evolutionary Stats -- The Benchmarker -- Creating the Two Slightly More Complex Benchmarks -- Neural Plasticity -- Substrate Encoding -- Substrate Plasticity -- Part 5. Applications -- Artificial Life -- Evolving Currency Trading Agents -- Part 6. Promises Kept -- Conclusion.
Record Nr. NYU-004625618
[Sher, Gene I.]  
Materiale a stampa
Lo trovi qui: New York University
Advances in intelligent analysis of medical data and decision support systems / Roumen Kountchev and Barna Iantovics (eds.).
Advances in intelligent analysis of medical data and decision support systems / Roumen Kountchev and Barna Iantovics (eds.).
Estensione 1 online resource.
Disciplina 610.285
Accesso persona Kountchev, Roumen
Iantovics, Barna L.
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Soggetto non controllato Engineering
Artificial intelligence
Biomedical engineering
Computational Intelligence
ISBN 9783319000299
3319000292
3319000284
9783319000282
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine Learning Applications in Cancer Informatics / Abdel-Badeeh M. Salem -- Methods for Interpretation of Data in Medical Informatics / Boris Mirkin -- Visual System of Sign Alphabet Learning for Poorly-Hearing Children / Margarita Favorskaya -- Decorrelation of Sequences of Medical CT Images Based on the Hierarchical Adaptive KLT / Roumen Kountchev, Peter Ivanov -- Compression with Adaptive Speckle Suppression for Ultrasound Medical Images / Roumen Kountchev, Vladimir Todorov -- Adaptive Approach for Enhancement the Visual Quality of Low-Contrast Medical Images / Vladimir Todorov, Roumiana Kountcheva -- An Adaptive Enhancement of X-Ray Images / Veska Georgieva, Roumen Kountchev -- Medical Images Transform by Multistage PCA-Based Algorithm / Ivo Draganov, Roumen Kountchev -- A New Histogram-Based Descriptor for Images Retrieval from Databases / Kidiyo Kpalma, Cong Bai -- Combining Features Evaluation Approach in Content-Based Image Search for Medical Applications / Antoaneta A. Popova, Nikolay N. Neshov -- Semi-automatic Ultrasound Medical Image Recognition for Diseases Classification in Neurology / Jiří Blahuta, Tomáš Soukup, Petr Čermák -- Classification and Detection of Diabetic Retinopathy / Ahmad Taher Azar, Valentina E. Balas -- Principal Component Analysis Used in Estimation of Human's Immune System, Suffered from Allergic Rhinosinusopathy Complicated with Clamidiosis or without It / Lyudmila Pokidysheva, Irina Ignatova -- Computer-Aided Diagnosis of Laryngopathies in the LabVIEW Environment: Exemplary Implementation / Dominika Gurdak, Krzysztof Pancerz -- Analysis and Development of Techniques and Methods in Medical Practice in Cochlear Implant Systems / Svetlin Antonov, Snejana Pleshkova-Bekiarska -- On Confidentially Connected-Free Graphs / Mihai Talmaciu, Elena Nechita -- Route Search Algorithm in Timetable Graphs and Extension for Block Agents / Ion Cozac -- From Individual EHR Maintenance to Generalised Findings: Experiments for Application of NLP to Patient-Related Texts / Galia Angelova, Dimitar Tcharaktchiev -- A Terminology Indexing Based on Heuristics Using Linguistic Resources for Medical Textual Corpus / Ali Benafia, Ramdane Maamri, Zaidi Sahnoun -- Architecture for Medical Image Processing / Rumen Mironov, Roumen Kountchev -- A New Generation of Biomedical Equipment: FPGA / Marius M. Balas.
Record Nr. NYU-004626886
Materiale a stampa
Lo trovi qui: New York University
Intelligent interactive technologies and multimedia : second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings / Anupam Agrawal, R.C. Tripathi, Ellen Yi-Luen Do, Tiware, M.D., (eds.).
Intelligent interactive technologies and multimedia : second International Conference, IITM 2013, Allahabad, India, March 9-11, 2013. Proceedings / Anupam Agrawal, R.C. Tripathi, Ellen Yi-Luen Do, Tiware, M.D., (eds.).
Creatore [IITM (Conference) (2nd : 2013 : Allahabad, India)]
Estensione 1 online resource (xv, 347 pages) : illustrations.
Disciplina 006.3
Accesso persona Agrawal, Anupam, editor
Tripaṭhī, Āra. Sī, editor
Do, Ellen Yi-Luen, editor
Tiwari, M. D., editor.
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Information storage and retrieval systems
Artificial intelligence
Computer vision
Image Processing and Computer Vision
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9783642374630
3642374638
9783642374623
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Keynote Papers. Designing Interactive Computing for Happy Healthy Life / Ellen Yi-Luen Do -- Computing the Incomputable with Human Processing Units / Jonathan Corney [and others] -- Indexing for Image Retrieval: A Machine Learning Based Approach / Santanu Chaudhury, Ehtesham Hassan -- A Unifying Framework for Correspondence-Less Shape Alignment and Its Medical Applications / Zoltan Kato -- Full Papers. Adaptive Hand Gesture Recognition System for Multiple Applications / Siddharth S. Rautaray, Anupam Agrawal -- Enhancement of High Dynamic Range Dark Images Using Internal Noise in DWT Domain / Nidhi Gupta, Rajib Jha -- Identification of Title for Natural Languages Using Resource Description Framework and Anaphoric Reference Resolution / Madhuri A. Tayal, Mukesh Raghuwanshi, Latesh Malik -- Facilitating Social Interaction in Public Space / Nishtha Mehrotra, Pradeep Yammiyavar.
Testing the Effectiveness of Named Entities in Aligning Comparable English-Bengali Document Pair / Rajdeep Gupta, Sivaji Bandyopadhyay -- Self-embedding Pixel Wise Fragile Watermarking Scheme for Image Authentication / Durgesh Singh, Shivendra Shivani, Suneeta Agarwal -- CUDA Based Interactive Volume Rendering of 3D Medical Data / Piyush Kumar, Anupam Agrawal -- Enhancement of Screen Film Mammogram Up to a Level of Digital Mammogram / Aparna Bhale, Manish Joshi -- An Object Separability Based No-Reference Image Quality Measure Using Statistical Properties of Objects / De Kanjar, V. Masilamani -- Generation of Future Image Frames for an Image Sequence / Nishchal K. Verma, Ankan Bansal, Shikha Singh -- Solving a Maze: Experimental Exploration on Wayfinding Behavior for Cognitively Enhanced Collaborative Control / Adity Saikia, Shyamanta M. Hazarika.
Multilevel Semi-fragile Watermarking Technique for Improving Biometric Fingerprint System Security / M.V. Joshi, Vaibhav B. Joshi, Mehul S. Raval -- Implementation of Fractal Dimension for Finding 3D Objects: A Texture Segmentation and Evaluation Approach / T. Pant -- Fuzzy Clustering of Image Trademark Database and Pre-processing Using Adaptive Filter and Karhunen-Loève Transform / Akriti Nigam, Ajay Indoria, R.C. Tripathi -- Lesion Detection in Eye Due to Diabetic Retinopathy / Pankaj Badoni, R.C. Tripathi -- Classification and Live Migration of Data-Intensive Cloud Computing Environment / Sandip Kumar Pasayat, Sarada Prasanna Pati, Prasant Kumar Pattnaik -- Speed Invariant, Human Gait Based Recognition System for Video Surveillance Security / Priydarshi, Anup Nandy, Pavan Chakraborty, G.C. Nandi -- Multiresolution Framework Based Global Optimization Technique for Multimodal Image Registration / Arpita Das, Mahua Bhattacharya.
Semantic Annotation of Web Documents for Efficient Information Retrieval / Rashmi Chauhan, Rayan H. Goudar -- Intelligent Interactive Tutor for Rural Indian Education System / Omna Toshniwal, Pradeep Yammiyavar -- Crop Classification Using Gene Expression Programming Technique / Omkar Subbarama Narasipura [and others] -- Software Security Testing Process: Phased Approach / Suhel Ahmad Khan, Raees Ahmad Khan -- Short Papers. An ε- Optimal Strategy of Algorithmic Game Theory for Project Selection under Fuzziness / Tuli Bakshi [and others] -- Factors of Influence in Co-located Multimodal Interactions / Ramadevi Vennelakanti [and others] -- Hierarchal Structure of Community and Link Analysis / Seema Mishra, G.C. Nandi -- A Model to Calculate Knowledge from Knowledge Base / Anurag Singh [and others] -- Information Extraction from High Resolution Satellite Imagery Using Integration Technique / Pankaj Pratap Singh, R.D. Garg.
Record Nr. NYU-004627881
[IITM (Conference) (2nd : 2013 : Allahabad, India)]  
Materiale a stampa
Lo trovi qui: New York University