Autor Martín-Vide, Carlos
|
|
Documentos disponibles escritos por este autor (20)
Hacer una sugerencia Refinar búsqueda10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / Aranha, Claus ; Martín-Vide, Carlos ; Vega-Rodríguez, Miguel A.
Título : 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings Tipo de documento: documento electrónico Autores: Aranha, Claus, ; Martín-Vide, Carlos, ; Vega-Rodríguez, Miguel A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 121 p. 31 ilustraciones, 17 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-90425-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Aprendizaje automático Ingeniería de software Software de la aplicacion Informática Sistemas informáticos Teoría de la Computación Aplicaciones informáticas y de sistemas de información Matemáticas de la Computación Implementación de sistema informático Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Teoría y Práctica de la Computación Natural, TPNC 2021, celebrada virtualmente en diciembre de 2021. Los 9 artículos completos presentados junto con 3 charlas invitadas en este libro fueron cuidadosamente revisados y seleccionados entre 14 presentaciones. Los artículos están organizados en secciones temáticas denominadas Aplicaciones de la computación natural, aprendizaje profundo y aprendizaje por transferencia, algoritmos evolutivos y de enjambre. Nota de contenido: Applications of Natural Computing -- Deep Learning and Transfer Learning -- Evolutionary and Swarm Algorithms. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings [documento electrónico] / Aranha, Claus, ; Martín-Vide, Carlos, ; Vega-Rodríguez, Miguel A., . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 121 p. 31 ilustraciones, 17 ilustraciones en color.
ISBN : 978-3-030-90425-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Aprendizaje automático Ingeniería de software Software de la aplicacion Informática Sistemas informáticos Teoría de la Computación Aplicaciones informáticas y de sistemas de información Matemáticas de la Computación Implementación de sistema informático Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Teoría y Práctica de la Computación Natural, TPNC 2021, celebrada virtualmente en diciembre de 2021. Los 9 artículos completos presentados junto con 3 charlas invitadas en este libro fueron cuidadosamente revisados y seleccionados entre 14 presentaciones. Los artículos están organizados en secciones temáticas denominadas Aplicaciones de la computación natural, aprendizaje profundo y aprendizaje por transferencia, algoritmos evolutivos y de enjambre. Nota de contenido: Applications of Natural Computing -- Deep Learning and Transfer Learning -- Evolutionary and Swarm Algorithms. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings Tipo de documento: documento electrónico Autores: Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 449 p. 409 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-40608-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Gestión de base de datos Sistemas informáticos Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Implementación de sistema informático Ciencia de los datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sí se pospuso y se celebrado junto con LATA 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artículos invitados en tamaño completo. . Nota de contenido: Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings [documento electrónico] / Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 449 p. 409 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-40608-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Gestión de base de datos Sistemas informáticos Algoritmos Inteligencia artificial Lógica informática y fundamentos de la programación Implementación de sistema informático Ciencia de los datos Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 14.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2020, cuya celebración estaba prevista en Milán, Italia, en marzo de 2020. Debido a la pandemia de corona, la conferencia en sí se pospuso y se celebrado junto con LATA 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 59 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; gramáticas; idiomas; árboles y gráficos; y palabras y códigos. El libro también contiene 6 artículos invitados en tamaño completo. . Nota de contenido: Invited papers -- The New Complexity Landscape around Circuit Minimization -- Containment and Equivalence of Weighted Automata: Probabilistic and Max-Plus Cases -- Approaching Arithmetic Theories with Finite-State Automata -- Recompression: technique for word equations and compressed data -- How to prove that a language is regular or star-free -- Deciding classes of regular languages: the covering approach -- Algebraic Structures -- Nonstandard Cayley Automatic Representations for Fundamental Groups of Torus Bundles Over the Circle -- Deciding (R,+, < ,1) in (R,+, < ,Z) -- Ordered Semiautomatic Rings with Applications to Geometry -- Automata -- Boolean monadic recursive schemes as a logical characterization of the subsequential functions -- Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models -- Windable Heads & Recognizing NL with Constant Randomness -- Alternating Finite Automata with Limited Universal Branching -- Pebble-Intervals Automata and FO2 with Two Orders -- Limited Two-Way Deterministic Finite Automata with Advice -- Complexity -- On the size of depth-two threshold circuits for the inner product mod 2 function -- Complexity Issues of String to Graph Approximate Matching -- Complexity of Automatic Sequences -- Grammars -- Context-sensitive Fusion Grammars are Universal -- Cyclic shift on multi-component grammars -- Languages -- The Automatic Baire Property and an Effective Property of omega-Rational Functions -- The Power of Programs over Monoids in J -- Geometrically Closed Positive Varieties of Star-Free Languages -- Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas -- Trees and Graphs -- On the Weisfeiler-Leman Dimension of Fractional Packing -- Input Strictly Local Tree Transducers -- Words and Codes -- Lyndon words versus inverse Lyndon words: queries on su xes and bordered words -- On collapsing pre x normal words -- Simplified Parsing Expression Derivatives -- Complete Variable-Length Codes: AnExcursion into Word Edit Operations. . En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings Tipo de documento: documento electrónico Autores: Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XI, 343 p. 58 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-68195-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación Informática Matemáticas discretas Sistemas informáticos Procesamiento del lenguaje natural (Informática) Inteligencia artificial Gestión de base de datos Teoría de la Computación Matemáticas discretas en informática Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2021, celebrada en Milán, Italia, en marzo de 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; aprendiendo; lógicas y lenguajes; árboles y gráficos; y palabras y cadenas. Nota de contenido: Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings [documento electrónico] / Leporati, Alberto, ; Martín-Vide, Carlos, ; Shapira, Dana, ; Zandron, Claudio, . - 1 ed. . - [s.l.] : Springer, 2021 . - XI, 343 p. 58 ilustraciones, 23 ilustraciones en color.
ISBN : 978-3-030-68195-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ciencias de la Computación Informática Matemáticas discretas Sistemas informáticos Procesamiento del lenguaje natural (Informática) Inteligencia artificial Gestión de base de datos Teoría de la Computación Matemáticas discretas en informática Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Índice Dewey: 40.151 Resumen: Este libro constituye las actas de la 15.ª Conferencia Internacional sobre Teoría y Aplicaciones del Lenguaje y Autómatas, LATA 2021, celebrada en Milán, Italia, en marzo de 2021. Los 26 artículos completos presentados en este volumen fueron cuidadosamente revisados y seleccionados entre 52 presentaciones. Estaban organizados en secciones temáticas denominadas: estructuras algebraicas; autómatas; complejidad; aprendiendo; lógicas y lenguajes; árboles y gráficos; y palabras y cadenas. Nota de contenido: Algebraic structures -- Automata -- Complexity -- Learning -- Logics and languages -- Trees and graphs -- Words and strings. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings Tipo de documento: documento electrónico Autores: Jansson, Jesper, ; Martín-Vide, Carlos, ; Vega-Rodríguez, Miguel A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 155 p. 26 ilustraciones ISBN/ISSN/DL: 978-3-319-91938-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Bioinformática Procesamiento del lenguaje natural (Informática) Informática Matemáticas discretas Análisis numérico Inteligencia artificial Biología Computacional y de Sistemas Procesamiento del lenguaje natural (PNL) Matemáticas discretas en informática Índice Dewey: 570.285 Resumen: Este libro constituye las actas de la Quinta Conferencia Internacional sobre Algoritmos para Biología Computacional, AlCoB 2018, celebrada en Hong Kong, China, en junio de 2018. Los 11 artículos completos presentados junto con 1 artículo invitado fueron cuidadosamente revisados y seleccionados entre 20 presentaciones. Están organizados en las siguientes secciones temáticas: filogenética, reordenamiento y análisis de secuencias, biología de sistemas y otros procesos biológicos. . Nota de contenido: Phylogenetics -- Sequence Rearrangement and Analysis -- Systems Biology and Other Biological Processes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 5th International Conference, AlCoB 2018, Hong Kong, China, June 25–26, 2018, Proceedings [documento electrónico] / Jansson, Jesper, ; Martín-Vide, Carlos, ; Vega-Rodríguez, Miguel A., . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 155 p. 26 ilustraciones.
ISBN : 978-3-319-91938-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Bioinformática Procesamiento del lenguaje natural (Informática) Informática Matemáticas discretas Análisis numérico Inteligencia artificial Biología Computacional y de Sistemas Procesamiento del lenguaje natural (PNL) Matemáticas discretas en informática Índice Dewey: 570.285 Resumen: Este libro constituye las actas de la Quinta Conferencia Internacional sobre Algoritmos para Biología Computacional, AlCoB 2018, celebrada en Hong Kong, China, en junio de 2018. Los 11 artículos completos presentados junto con 1 artículo invitado fueron cuidadosamente revisados y seleccionados entre 20 presentaciones. Están organizados en las siguientes secciones temáticas: filogenética, reordenamiento y análisis de secuencias, biología de sistemas y otros procesos biológicos. . Nota de contenido: Phylogenetics -- Sequence Rearrangement and Analysis -- Systems Biology and Other Biological Processes. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings Tipo de documento: documento electrónico Autores: Camelin, Nathalie, ; Estève, Yannick, ; Martín-Vide, Carlos, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XI, 276 p. 58 ilustraciones ISBN/ISSN/DL: 978-3-319-68456-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial Procesamiento de datos Sistemas de reconocimiento de patrones Teoría de las máquinas Ciencias de la Computación Software de la aplicacion Minería de datos y descubrimiento de conocimientos Reconocimiento de patrones automatizado Lenguajes formales y teoría de los autómatas Teoría de la Computación Aplicaciones informáticas y de sistemas de información Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Quinta Conferencia Internacional sobre Lenguaje Estadístico y Procesamiento del Habla, SLSP 2017, celebrada en Le Mans, Francia, en octubre de 2017. Los 21 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 39 presentaciones. Los artículos cubren temas como anáfora y resolución de conferencias; identificación de autoría, plagio y filtrado de spam; traducción asistida por ordenador; corpus y recursos lingüísticos; minería de datos y web semántica; extracción de información; recuperación de información; representación del conocimiento y ontologías; léxicos y diccionarios; máquina traductora; tecnologías multimodales; comprensión del lenguaje natural; representación neuronal del habla y el lenguaje; minería de opiniones y análisis de sentimientos; análisis; etiquetado de parte del discurso; sistemas de preguntas y respuestas; etiquetado de roles semánticos; identificación y verificación del hablante; generación de habla y lenguaje; reconocimiento de voz; síntesis de voz; transcripción de voz; corrección del habla; sistemas de diálogo hablado; extracción de términos; categorización de texto; resumen de pruebas; modelado de usuarios. Están organizados en las siguientes secciones: lenguaje y extracción de información; postprocesamiento y aplicaciones de transcripciones automáticas; paralingüística y síntesis del habla; reconocimiento de voz: modelado y recursos. Nota de contenido: Language and information extraction -- Post-processing and applications of automatic transcriptions -- Speech paralinguistics and synthesis -- Speech recognition: modeling and resources. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 5th International Conference, SLSP 2017, Le Mans, France, October 23–25, 2017, Proceedings [documento electrónico] / Camelin, Nathalie, ; Estève, Yannick, ; Martín-Vide, Carlos, . - 1 ed. . - [s.l.] : Springer, 2017 . - XI, 276 p. 58 ilustraciones.
ISBN : 978-3-319-68456-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Procesamiento de datos Sistemas de reconocimiento de patrones Teoría de las máquinas Ciencias de la Computación Software de la aplicacion Minería de datos y descubrimiento de conocimientos Reconocimiento de patrones automatizado Lenguajes formales y teoría de los autómatas Teoría de la Computación Aplicaciones informáticas y de sistemas de información Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la Quinta Conferencia Internacional sobre Lenguaje Estadístico y Procesamiento del Habla, SLSP 2017, celebrada en Le Mans, Francia, en octubre de 2017. Los 21 artículos completos presentados fueron cuidadosamente revisados y seleccionados entre 39 presentaciones. Los artículos cubren temas como anáfora y resolución de conferencias; identificación de autoría, plagio y filtrado de spam; traducción asistida por ordenador; corpus y recursos lingüísticos; minería de datos y web semántica; extracción de información; recuperación de información; representación del conocimiento y ontologías; léxicos y diccionarios; máquina traductora; tecnologías multimodales; comprensión del lenguaje natural; representación neuronal del habla y el lenguaje; minería de opiniones y análisis de sentimientos; análisis; etiquetado de parte del discurso; sistemas de preguntas y respuestas; etiquetado de roles semánticos; identificación y verificación del hablante; generación de habla y lenguaje; reconocimiento de voz; síntesis de voz; transcripción de voz; corrección del habla; sistemas de diálogo hablado; extracción de términos; categorización de texto; resumen de pruebas; modelado de usuarios. Están organizados en las siguientes secciones: lenguaje y extracción de información; postprocesamiento y aplicaciones de transcripciones automáticas; paralingüística y síntesis del habla; reconocimiento de voz: modelado y recursos. Nota de contenido: Language and information extraction -- Post-processing and applications of automatic transcriptions -- Speech paralinguistics and synthesis -- Speech recognition: modeling and resources. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
