ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora
congresos y reuniones científicas
CASSANO, VALENTÍN; LOPEZ POMBO, CARLOS GUSTAVO; MAIBAUM, THOMAS S. E.
owards a Formula- tion of the Modularization Theorem for Presentations in Default Logics
Workshop on Algebraic Development Techniques
Lugar: Gregynog, Wales; Año: 2016;
RODRIGO CASTAÑO
Understanding partial verification attempts
3rd ICSE 2017 PhD and Young Researchers Warm Up Symposium
Lugar: Buenos Aires; Año: 2016;
ESTEBAN FEUERSTEIN; TOLOSA GABRIEL
Optimized Admission Policies for Intersection Caches using a Data Mining Approach
Second International Symposium on Web AlGorithms iSWAG2016
Lugar: Deauville, Normandie; Año: 2016;
LUCIANA FERRER; MARTIN GRACIARENA; VIKRAMJIT MITRA
A Phonetically Aware System for Speech Activity Detection
IEEE Conference on Acoustics, Speech and Signal Processing 2016
Lugar: Shangai; Año: 2016;
MITCH MCLAREN; LUCIANA FERRER; AARON LAWSON
Exploring the Role of Phonetic Bottleneck Features for Speaker and Language Recognition
IEEE Conference on Acoustics, Speech and Signal Processing 2016
Lugar: Shangai; Año: 2016;
SERGIO ABRIOLA; DIEGO FIGUEIRA; PABLO BARCELÓ; SANTIAGO FIGUEIRA
Bisimulations on data graphs
KR 2016, 15th International Conference on Principles of Knowledge Representation and Reasoning
Año: 2016;
ROBIN DUPUIS; ZHEJIANG HU; LIONEL MONTRIEUX; PIERRE YVES-SCHOBBENS; KEVIN COLSON; SEBASTIAN UCHITEL
Reusable self-adaptation through bidirectional pro- gramming.
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Año: 2016;
MARSHA CHECHIK; SEBASTIAN UCHITEL; SHOHAM BEN DAVID
Observational re- finement and merge for disjunctive mtss.
14th International Symposium on Automated Technology for Verification and Analysis
Año: 2016;
AXEL VAN LAMSWEERDE; JEFF KRAMER; DALAL ALRAJEH; SEBASTIAN UCHITEL
Risk-driven revision of requirements models
Proceedings of the 38th International Conference on Software Engineering,
Lugar: Austin; Año: 2016;
PARRA, R. GONZALO; ESPADA, ROCÍO; FERREIRO, DIEGO; TURJANSKI, PABLO; BECHER, VERÓNICA
Protein Repeats From First Principles
30º edición de la Escuela de Ciencias Informáticas
Lugar: Buenos Aires; Año: 2016;
RENE JUST; URKO RUEDA; TANJA VOS; JUAN PABLO GALEOTTI
Unit testing tool competition: round four
9th International Workshop on Search-Based Software Testing
Lugar: Austin; Año: 2016;
ALEXANDRE NOLIN; GABRIEL SENNO; SOPHIE LAPLANTE; JÉRÉMIE ROLAND; MATHIEU LAURIÈRE
Large Bell violations from communication complexity lower bounds
QuPa (Meeting of the Paris Centre for Quantum Computing)
Lugar: Paris; Año: 2016;
SOPHIE LAPLANTE; JÉRÉMIE ROLAND; MATHIEU LAURIÈRE; ALEXANDRE NOLIN; GABRIEL SENNO
Robust Bell Inequalities from Communication Complexity
11th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC)
Lugar: Berlín; Año: 2016;
GERVASIO D PEREZ; MAURO STABILE; SILVIA A COMASTRI; GABRIEL MARTIN
Algunos modelos de lentes oftálmicas NOVAR (Opulens) para tecnología Freeform
XII Taller de óptica y Fotónica
Lugar: Ciudad Autónoma de Buenos Aires; Año: 2016;
BECHER, VERÓNICA
Independence of normal numbers
Conference on Computability, Randomness and Applications
Lugar: Marsella; Año: 2016;
BECHER, VERÓNICA
Randomness!
28th European Summer School in Logic, Language and Information,
Lugar: Bolzano; Año: 2016;
CARTÓN, OLIVIER; BECHER, VERÓNICA
Aleatoriedad y Automatas
Workshop INFINIS Temas de tesis
Lugar: Buenos AIres; Año: 2016;
EZEQUIEL GUSTAVO CASTELLANO
Quality Attributes and Preferences on the Synthesis of Reactive Systems
ICSE 2017 PhD and Young Researchers Warmup Symposium
Lugar: Ciudad Autónoma Buenos Aires; Año: 2016;
NIN, VERONICA; FERNÁNDEZ SLEZAK, DIEGO; GOLDIN, ANDREA PAULA; CARBONI, ALEJANDRA; DELGADO, HERNAN; BELLOLI, LAOUEN
Executive Functions development in preschoolers from different socioeconomic backgrounds in Uruguay
2016 IMBES Conference
Lugar: Toronto; Año: 2016;
BIANCHI B; KAMIENKOWSKI JE; FERRER L; BENGOLEA MONZON G
Estimadores computacionales de la predicci ́ on humana durante la lectura
17th Argentine Symposium on Articial Intelligence - 45th JAIIO
Lugar: Ciudad Autonoma de Buenos Aires; Año: 2016;
KAMIENKOWSKI JE; BIANCHI B; SHALOM DE
Understanding predictability and proverb reading using Linear mixed Models and time-frequency analysis
2nd FALAN Congress
Año: 2016;
RAMIRO H. GÁLVEZ; MARIAN TRNKA; STEFAN BENUS; FLORENCIA SAVORETTI; JULIA HIRSCHBERG; RIVKA LEVITAN; AGUSTÍN GRAVANO; ANDREAS WEISE
Implementing acoustic-prosodic entrainment in a conversational avatar
Interspeech 2016
Lugar: San Francisco; Año: 2016;
AGUSTÍN GRAVANO; PABLO BRUSCO; STEFAN BENUS
Who do you think will speak next? Perception of turn-taking cues in Slovak and Argentine Spanish
Interspeech 2016
Lugar: San Francisco; Año: 2016;
VALENCIA-PABON, MARIO; BONOMO, FLAVIA; KOCH, IVO
A linear algorithm for the k-tuple chromatic number of partner limited graphs
VII Latin-American Workshop on Cliques in Graphs
Lugar: La Plata; Año: 2016;
FRÍAS ARMENTA, MARTÍN; TARAVILSE, LEOPOLDO; BONOMO, FLAVIA
On graphs with linear convergence
VII Latin-American Workshop on Cliques in Graphs
Lugar: La Plata; Año: 2016;
BONOMO, FLAVIA; TILLI, DORA
On fractional graph and hypergraph isomorphism and its applications
VII Latin-American Workshop on Cliques in Graphs
Lugar: La Plata; Año: 2016;
BONOMO, FLAVIA; MAZZOLENI, MARÍA PIA; ALCÓN, LILIANA
Vertex intersection graphs of paths on a grid: a characterization within block graphs
VII Latin-American Workshop on Cliques in Graphs
Lugar: La Plata; Año: 2016;
BECHER, VERÓNICA
Construction of normal numbers
Normal Numbers: Arithmetic, Computational and Probabilistic Aspects
Lugar: Viena; Año: 2016;
BECHER, VERÓNICA
Finite-state independence and normal sequences
Workshop INFINIS
Lugar: Paris; Año: 2016;
ZABALA, PAULA; MÉNDEZ-DÍAZ, ISABEL; FEUERSTEIN, ESTEBAN
New algorithms for composite retrieval,
CLEI 2016
Lugar: Valparaiso; Año: 2016;
ZABALA, PAULA; MÉNDEZ-DÍAZ, ISABEL
El problema de coloreo de aristas por etiquetado total bajo un enfoque de programacion lineal entera,
CLAIO 2016
Lugar: Santiago de Chile; Año: 2016;
JUAN JOSÉ MIRANDA-BRONT; ISABEL MÉNDEZ-DÍAZ; AGUSTIN MONTERO
An Integer Programming approach for the Time-Dependent Traveling Sa- lesman Problem with Time Windows
Workshop in Operations, Networks and Data Analytics
Lugar: CABA; Año: 2016;
ISABEL MÉNDEZ-DÍAZ; ESTEBAN FEUERSTEIN; AMIT STEIN; ANDRÉS KNEBEL; PAULA ZABALA
New algorithms for composite retrieval
42nd Latin American Computing Conference
Lugar: Valparaiso; Año: 2016;
JUAN KAMIENKOWSKY; LUCIANA FERRER; GASTÓN BENGOLEA
Estimadores computacionales de la predicción humana durante la lectura
JAIIO 45
Lugar: CABA; Año: 2016;
RICARDO O. RODRIGUEZ; LLUIS GODO
Fuzzy Neighborhood Semantics
SYSMICS2016
Lugar: Barcelona; Año: 2016;
RICARDO O. RODRIGUEZ; LLUIS GODO
Fuzzy neighbourhood semantics
Congreso Latinoamericano de Álgebra
Lugar: Buenos Aires; Año: 2016;
DIEGO CASTÁN; MITCHELL MCLAREN; LUCIANA FERRER
Analyzing the Effect of Channel Mismatch on the SRI Language Recognition Evaluation 2015 System
Odyssey 2016
Año: 2016;
MITCHELL MCLAREN; AARON LAWSON; DIEGO CASTÁN; LUCIANA FERRER
The 2016 Speakers in the Wild Speaker Recognition Evaluation
Interspeech 2016
Lugar: San Francisco; Año: 2016;
DIEGO CASTÁN; LUCIANA FERRER; MITCHELL MCLAREN; AARON LAWSON
The Speakers in the Wild (SITW) Speaker Recognition Database
Interspeech 2016
Lugar: San Francisco; Año: 2016;
LUCIANA FERRER; DIEGO CASTÁN; MITCHELL MCLAREN; AARON LAWSON
On the Issue of Calibration in DNN-Based Speaker Recognition Systems
Interspeech 2016
Lugar: San Francisco; Año: 2016;
MARTIN GRACIARENA; LUCIANA FERRER
Minimizing Annotation Effort for Adaptation of Speech-Activity Detection Systems
Interspeech 2016
Lugar: San Francisco; Año: 2016;
MARTIN GRACIARENA; VIKRAMJIT MITRA; LUCIANA FERRER
The SRI System for the NIST OpenSAD 2015 Speech Activity Detection Evaluation
Interspeech 2016
Lugar: San Francisco; Año: 2016;
FABIO GADDUCCI; AGUSTÍN E. MARTINEZ SUÑÉ; MAIBAUM, THOMAS S. E.; LOPEZ POMBO, CARLOS GUSTAVO
About partiality in institutions (co-)morphisms
Worshop on Algebraic Development Techniques
Lugar: Gregynog; Año: 2016;
DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; RODRIGUEZ, NATALIA; UCHITEL SEBASTIAN
2½-player generalized reactivity (1) games
55th IEEE Conference on Decision and Control, CDC 2016,
Año: 2016;
BRUSCO P; GRAVANO A; KAMIENKOWSKI JE
Automatic detection of turn-taking events in continuous EEG data from spontaneous dialogue
1st Workshop on Speech Engineering and Computational Neuroscience of Speech
Lugar: San Francisco; Año: 2016;
NEGROTTO, DANIEL; LOISEAU, IRENE
A Branch-and-cut Algorithm for the Prize-Collecting Capacitated Location Routing Problem
Land-TRANSLOG III
Lugar: Santa CruZ; Año: 2016;
LOISEAU, IRENE; NEGROTTO, DANIEL
An exact algorithm for the Prize-Collecting Capacitated Location Routing Problem
XVIII CLAIO, Latin-Iberoamerican Conference on Operations Research
Lugar: Santiago; Año: 2016;
REMBERTO EMANUEL DELGADILLO; IRENE LOISEAU
A genetic algorithm based heuristic for survivable networks design with p-Cycles
XVIII CLAIO, Latin-Iberoamerican Conference on Operations Research
Lugar: Santiago ; Año: 2016;
PECORARI, AGUSTÍN; LOISEAU, IRENE
Algoritmo Branch and Price para el problema de diseño de redes de comunicaciones basadas en p-ciclos
XVIII CLAIO, Latin-Iberoamerican Conference on Operations Research
Lugar: Santiago; Año: 2016;
LOMBARDI, CARLOS; RÍOS. ALEJANDRO; DE VRIJER, ROEL
Projections for Infinitary Rewriting
LSFA 2016 - 11th Workshop on Logical and Semantic Frameworks, with Applications
Lugar: Porto; Año: 2016;
RAMIRO H. GÁLVEZ; AGUSTÍN GRAVANO; JUAN MANUEL PÉREZ
Disentrainment may be a Positive Thing: A Novel Measure of Unsigned Acoustic-Prosodic Synchrony, and its Relation to Speaker Engagement
Interspeech
Lugar: San Francisco; Año: 2016;
ALEXIS TCACH; ESTEBAN MOCSKOS; RODRIGO CASTRO
Infrastructure Centric AQM approach for QoS in MANETs
Wireless Telecommunications Symposium
Lugar: Londrés; Año: 2016;
GÓMEZ FERNÁNDEZ, F.; UBALDE, S.; MEJAIL, M.
Skeleton-Based Action Recognition using Citation-KNN on Bags of Time-Stamped Pose Descriptors
IEEE International Conference on Image Processing (ICIP)
Lugar: Phoenix, Arizona, USA; Año: 2016;
RODRIGO CASTRO; MATIAS BONAVENTURA; DANIEL FOGUELMAN
MASADA: A Modeling and Simulation Automated Data Analysis Framework for Continuous Data-Intensive Validation of Simulation Models
30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas
Lugar: Las Palmas; Año: 2016;
DANIELA BLANCO; DIEGO FERRARO; RODRIGO CASTRO
Land Use Change in Agricultural Systems: Integrating Human Decisions and Cropping System Performance using a DEVS-based Cellular Automata Model
The International Society for Ecological Modelling Global Conference 2016
Lugar: Baltimore; Año: 2016;
PABLO NEGRI; MARTA MEJAIL; FLORENCIA IGLESIAS; DANIEL ACEVEDO; MARÍA ELENA BUEMI
Facial Expression Recognition: A Comparison Between Static and Dynamic Approaches
International Conference on Pattern Recognition Systems (ICPRS)
Lugar: Talca; Año: 2016;
MARIA ELENA BUEMI; PABLO NEGRI; DANIEL ACEVEDO; MARTA MEJAIL
Facial Expression Recognition based on Static and Dynamic Approaches
23rd International Conference on Pattern Recognition - ICPR 2016
Lugar: Cancun; Año: 2016;
DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; CIOLEK, DANIEL; UCHITEL SEBASTIAN
Directed Controller Synthesis of Discrete Event Systems: Taming Composition with Heuristics
55th IEEE Conference on Decision and Control
Lugar: Las Vegas; Año: 2016;
L. NAHABEDIAN; S. HONIDEN; UCHITEL SEBASTIAN; DIPPOLITO R. NICOLAS; K.TEI; BRABERMAN VICTOR; JEFF KRAMER
Assured and Correct Dynamic Update of Controllers
SEAMS: 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Lugar: Austin, Texas; Año: 2016;
NICOLÁS PONIEMAN; VICTOR DANIEL ELVIRA; LUCIO SANTI; KRZYSZTOF GENSER; SOON YUNG JUN; RODRIGO CASTRO
Application of state quantization-based methods in HEP particle transport simulation
22nd International Conference on Computing in High Energy and Nuclear Physics (CHEP 2016)
Lugar: San Francisco; Año: 2016;
JULIO JACOBO BERLLES; MARIA ELENA BUEMI; CARLOS ISMAEL OROZCO
A Study on Pedestrian Detection Using a Deep Convolutional Neural Network
ICPRS - International Conference on Pattern Recognition System
Lugar: Talca; Año: 2016;
MÉNDEZ-DÍAZ, ISABEL; CURCIO, BRIAN; ZABALA, PAULA
A polyhedral approach to the adjacent vertex distinguishable proper edge coloring problem
CLAIO 2016
Lugar: Santiago de Chile; Año: 2016;
ISABEL MÉNDEZ-DÍAZ; AGUSTIN MONTERO; JUAN JOSÉ MIRANDA-BRONT
An integer programming approach for the TDTSP-TW with time dependent travel speeds
CLAIO 2016
Lugar: Santiago de Chile; Año: 2016;
PRATS, L.; FRACCHIA, C.; LIPINA S.J.; KAMIENKOWSKI JE; FRAIMAN D; SIGMAN, M.; PIETTO LM; HERMIDA M.J.
Brain connectivity predicts performance in different domains of cognitive function in preschoolers
2 nd FALAN Congress (Federation of Latin American and Caribbean Neuroscience Societies)
Lugar: Buenos Aires; Año: 2016;
GATTI MATHIAS; KAMIENKOWSKI JUAN; PIETTO MARCOS LUIS; LIPINA SEBASTIAN
Electrophysiological approaches in the study of cognitive development outside the lab
2nd FALAN Congress
Lugar: Ciudad Autónoma de Buenos Aires; Año: 2016;
JUAN JOSÉ MIRANDA-BRONT; ISABEL MÉNDEZ-DÍAZ; AGUSTIN MONTERO
Integer programming and the TDTSP-TW with time dependent travel speeds
MIP@AR - Primer workshop argentino de programación entera y combinatoria poliedral
Lugar: Buenos Aires; Año: 2016;
IGNACIO VISSANI; CARLOS GUSTAVO LOPEZ POMBO
Semantics for non-incremental reconfigurations of Asynchronous Relational Networks
23rd International Workshop on Algebraic Development Techniques
Lugar: Gregynog, Wales; Año: 2016;