Main » Workshops »

Workshops (2016)

Content

up

Behavioral Analytics in Social and Ubiquitous Environments - 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Florence, Italy, May 19, 2015; 7th International Workshop on Modeling Social Media, MSM 2016, Montreal, QC, Canada, April 12, 2016; Revised Selected Papers

doi dblp
Behavioral Analytics in Social and Ubiquitous Environments - 6th International Workshop on Mining Ubiquitous and Social Environments, MUSE 2015, Porto, Portugal, September 7, 2015; 6th International Workshop on Modeling Social Media, MSM 2015, Florence, Italy, May 19, 2015; 7th International Workshop on Modeling Social Media, MSM 2016, Montreal, QC, Canada, April 12, 2016; Revised Selected Papers

doi dblp
Link Classification and Tie Strength Ranking in Online Social Networks with Exogenous Interaction Networks
Mohammed Abufouda | Katharina Anna Zweig

doi dblp
Stratification-Oriented Analysis of Community Structure in Networks of Face-to-Face Proximity
Stefan Bloemheuvel | Martin Atzmueller | Marie Postma

doi dblp
Analyzing Big Data Streams with Apache SAMOA
Nicolas Kourtellis | Gianmarco De Francisci Morales | Albert Bifet

doi dblp
Multimodal Behavioral Mobility Pattern Mining and Analysis Using Topic Modeling on GPS Data
Sebastiaan Merino | Martin Atzmueller

doi dblp
Sequential Monte Carlo Inference Based on Activities for Overlapping Community Models
Shohei Sakamoto | Koji Eguchi

doi dblp
Results of a Survey About the Perceived Task Similarities in Micro Task Crowdsourcing Systems
Steffen Schnitzer | Svenja Neitzel | Sebastian Schmidt | Christoph Rensing

doi dblp
Provenance of Explicit and Implicit Interactions on Social Media with W3C PROV-DM
Io Taxidou | Tom De Nies | Peter M. Fischer

up

Proceedings of the Workshop on Linked Data on the Web, LDOW 2016, co-located with 25th International World Wide Web Conference (WWW 2016)

dblp
Proceedings of the Workshop on Linked Data on the Web, LDOW 2016, co-located with 25th International World Wide Web Conference (WWW 2016)

pdf dblp
Annalist: A practical tool for creating, managing and sharing evolving linked data
Graham Klyne | Cerys Willoughby | Kevin R. Page

pdf dblp
Assessing Quantity and Quality of Links Between Link Data Datasets
Ciro Baron Neto | Dimitris Kontokostas | Sebastian Hellmann | Kay Müller | Martin Brümmer

pdf dblp
Automated Metadata Generation for Linked Data Generation and Publishing Workflows
Anastasia Dimou | Tom De Nies | Ruben Verborgh | Erik Mannens | Rik Van de Walle

pdf dblp
Complex Schema Mapping and Linking Data: Beyond Binary Predicates
Jacobo Rouces | Gerard de Melo | Katja Hose

pdf dblp
Discovering Spatial and Temporal Links among RDF Data
Panayiotis Smeros | Manolis Koubarakis

pdf dblp
Improving Link Specifications using Context-Aware Information
Andrea Cimmino | Carlos R. Rivero | David Ruiz

pdf dblp
KnowledgeWiki: An OpenSource Tool for Creating Community-Curated Vocabulary, with a Use Case in Materials Science
Nishita Jaykumar | Pavankalyan Yallamelli | Vinh Nguyen | Sarasi Lalithsena | Krishnaprasad Thirunarayan | Amit P. Sheth | Clare Paul

pdf dblp
Publish and Subscribe for RDF in Enterprise Value Networks
Marvin Frommhold | Natanael Arndt | Sebastian Tramp | Niklas Petersen

pdf dblp
R2RML-F: Towards Sharing and Executing Domain Logic in R2RML Mappings
Christophe Debruyne | Declan O'Sullivan

pdf dblp
Requirements on Linked Data Consumption Platform
Jakub Klímek | Petr Skoda | Martin Necaský

pdf dblp
Semantic Hadith: Leveraging Linked Data Opportunities for Islamic Knowledge
Amna Basharat | Bushra Abro | Ismailcem Budak Arpinar | Khaled Rasheed

pdf dblp
Structured Feedback: A Distributed Protocol for Feedback and Patches on the Web of Data
Natanael Arndt | Kurt Junghanns | Roy Meissner | Philipp Frischmuth | Norman Radtke | Marvin Frommhold | Michael Martin

pdf dblp
Towards A Cache-Enabled, Order-Aware, Ontology-Based Stream Reasoning Framework
Rui Yan | Brenda Praggastis | William P. Smith | Deborah L. McGuinness

pdf dblp
Towards a Collaborative Process Platform: Publishing Processes according to the Linked Data Principles
Tobias Weller | Maria Maleshkova

up

Proceedings of the Second International Workshop on Search as Learning, SAL 2016, co-located with the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 21st, 2016

dblp
Proceedings of the Second International Workshop on Search as Learning, SAL 2016, co-located with the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2016, Pisa, Italy, July 21st, 2016

pdf dblp
Exploring Knowledge Learning in Collaborative Information Seeking Process
Yu Chi | Shuguang Han | Daqing He | Rui Meng

pdf dblp
Finding, Understanding and Learning: Making Information Discovery Tasks Useful for Children and Teachers
Ion Madrazo Azpiazu | Nevena Dragovic | Maria Soledad Pera

pdf dblp
How does Domain Expertise Affect Users' Search Processes in Exploratory Searches?
Jiaxin Mao | Yiqun Liu | Min Zhang | Shaoping Ma

pdf dblp
Integrating Domain Knowledge Differences into Modeling User Clicks on Search Result Pages
Saraschandra Karanam | Herre van Oostendorp

pdf dblp
Learning When Searching for Web Data
Laura Koesten | Emilia Kacprzak | Jeni Tennison

pdf dblp
Learning in Second-Language Searching
Anita Komlodi | Nadia Caidi

pdf dblp
Metacognitive Knowledge and Metacognitive Regulation in Time-Constrained in Information Search
Anita Crescenzi

pdf dblp
On Measuring Learning in Search: A Position Paper
Luanne Freund | Samuel Dodson | Rick Kopak

pdf dblp
Optimizing Search Results for Educational Goals: Incorporating Keyword Density as a Retrieval Objective
Rohail Syed | Kevyn Collins-Thompson

pdf dblp
Position Paper: Promoting User Engagement and Learning in Search Tasks By Effective Document Representation
Piyush Arora | Gareth J. F. Jones

pdf dblp
Retrieval Techniques for Contextual Learning
Nino Weingart | Carsten Eickhoff

pdf dblp
SaR-Web - A Tool to Support Search as Learning Processes
Giovanni Fulantelli | Ivana Marenzi | Qazi Asim Ijaz Ahmad | Davide Taibi

pdf dblp
Search Behaviour Before and After Search Success
Mengdie Zhuang | Elaine G. Toms | Gianluca Demartini

pdf dblp
Search Literacy: Learning to Search to Learn
Max L. Wilson | Chaoyu Ye | Michael B. Twidale | Hannah Grasse

pdf dblp
Towards Observable Indicators of Learning on Search
Jacek Gwizdka | Xueshu Chen

pdf dblp
Training on the Job: Learning While Searching in an Engineering Workplace
Dirk Ahlers | Mahsa Mehrpoor

up

Proceedings of the 1st International Workshop on Multimedia Analysis and Retrieval for Multimodal Interaction, MARMI@ICMR 2016, New York, New York, USA, June 6, 2016

doi dblp
Proceedings of the 1st International Workshop on Multimedia Analysis and Retrieval for Multimodal Interaction, MARMI@ICMR 2016, New York, New York, USA, June 6, 2016

doi dblp
Event-based MultiMedia Search and Retrieval for Question Answering
Benoit Huet

doi dblp
Action Recognition Using Convolutional Restricted Boltzmann Machines
Petar Palasek | Ioannis Patras

doi dblp
A Multimodal Annotation Schema for Non-Verbal Affective Analysis in the Health-Care Domain
Federico Sukno | Mónica Domínguez | Adria Ruiz | Dominik Schiller | Florian Lingenfelser | Louisa Pragst | Eleni Kamateri | Stefanos Vrochidis

doi dblp
Towards an Ontology-Driven Adaptive Dialogue Framework
Georgios Meditskos | Stamatia Dasiopoulou | Louisa Pragst | Stefan Ultes | Stefanos Vrochidis | Ioannis Kompatsiaris | Leo Wanner

doi dblp
Towards a Multimedia Knowledge-Based Agent with Social Competence and Human Interaction Capabilities
Leo Wanner | Josep Blat | Stamatia Dasiopoulou | Mónica Domínguez | Gerard Llorach | Simon Mille | Federico Sukno | Eleni Kamateri | Stefanos Vrochidis | Ioannis Kompatsiaris | Elisabeth André | Florian Lingenfelser | Gregor Mehlmann | Andries Stam | Ludo Stellingwerff | Bianca Vieru | Lori Lamel | Wolfgang Minker | Louisa Pragst | Stefan Ultes

doi dblp
Effective Speaker Retrieval and Recognition through Vector Quantization and Unsupervised Distance Learning
Victor de Abreu Campos | Daniel Carlos Guimarães Pedronette

doi dblp
A Probabilistic Ranking Model for Audio Stream Retrieval
YoungHoon Jung | Jaehwan Koo | Karl Stratos | Luca P. Carloni

up

Proceedings of the 7th Italian Information Retrieval Workshop, Venezia, Italy, May 30-31, 2016

dblp
Proceedings of the 7th Italian Information Retrieval Workshop, Venezia, Italy, May 30-31, 2016

pdf dblp
A Game Theory Approach to Feature Selection for Text Classification
Giorgio Maria Di Nunzio | Nicola Orio

pdf dblp
A Review of Ten Year Research on Query Log Privacy
Claudio Carpineto | Giovanni Romano

pdf dblp
Ask Me Any Rating: A Content-based Recommender System based on Recurrent Neural Networks
Cataldo Musto | Claudio Greco | Alessandro Suglia | Giovanni Semeraro

pdf dblp
Automated Taxonomy Building by Adopting Discriminant and Characteristic Capabilities
Giuliano Armano | Alessandro Giuliani | Emanuele Tamponi

pdf dblp
Basis of a Formal Framework for Information Retrieval Evaluation Measurements
Nicola Ferro | Marco Ferrante | Maria Maistro

pdf dblp
Combining Fisher Vector and Convolutional Neural Networks for Image Retrieval
Giuseppe Amato | Fabrizio Falchi | Fausto Rabitti | Lucia Vadicamo

pdf dblp
Computing Neighbourhoods with Language Models in a Collaborative Filtering Scenario
Daniel Valcarce | Javier Parapar | Álvaro Barreiro

pdf dblp
Crossword Puzzle Resolution in Italian using Distributional Models for Clue Similarity
Massimo Nicosia | Alessandro Moschitti

pdf dblp
Exploiting ERP Systems in Enterprise Search
Diego Tosato

pdf dblp
Fast and Compact Hamming Distance index
Simon Gog | Rossano Venturini

pdf dblp
GPU-based Parallelization of QuickScorer to Speed-up Document Ranking with Tree Ensembles
Francesco Lettich | Claudio Lucchese | Franco Maria Nardini | Salvatore Orlando | Raffaele Perego | Nicola Tonellotto | Rossano Venturini

pdf dblp
Google Web Searches and Wikipedia Results: A Measurement Study
Vittoria Cozza | Van Tien Hoang | Marinella Petrocchi

pdf dblp
Improving the Efficiency of Retrieval Effectiveness Evaluation: Finding a Few Good Topics with Clustering?
Kevin Roitero | Stefano Mizzaro

pdf dblp
Indexing 100M Images with Deep Features and MI-File
Giuseppe Amato | Fabrizio Falchi | Claudio Gennaro | Fausto Rabitti

pdf dblp
Injecting Sentiment Information in Context-aware Convolutional Neural Networks
Danilo Croce | Giuseppe Castellucci | Roberto Basili

pdf dblp
Post-Learning Optimization of Tree Ensembles
Claudio Lucchese | Franco Maria Nardini | Salvatore Orlando | Raffaele Perego | Fabrizio Silvestri | Salvatore Trani

pdf dblp
Searching and Ranking Activity-based Carpooling Ride
Chiara Renso | Salvatore Rinzivillo | Valéria Cesário Times | Vinicius Monteiro de Lira | Raffaele Perego

pdf dblp
Speeding-up Document Scoring with Tree Ensembles using CPU SIMD Extensions
Claudio Lucchese | Franco Maria Nardini | Salvatore Orlando | Raffaele Perego | Nicola Tonellotto | Rossano Venturini

pdf dblp
Transductive Distributional Correspondence Indexing for Cross-Domain Topic Classification
Alejandro Moreo Fernández | Andrea Esuli | Fabrizio Sebastiani

pdf dblp
Un Approccio per la Valutazione della Credibilità del Contenuto Generato dagli Utenti nei Siti di Recensioni
Marco Viviani | Alessio Serafino | Gabriella Pasi

pdf dblp
Una Strategia di Ranking di Attività Commerciali Basata su User Generated Content
Stefania Marrara | Gabriella Pasi | Simone Pellegrini

pdf dblp
Understanding Human Mobility During Events in Foursquare
Cristina Ioana Muntean | Franco Maria Nardini | Anastasios Noulas

pdf dblp
User-Item Group Formation with GroupFinder
Chiara Renso | José Antônio Fernandes de Macêdo | Franco Maria Nardini | Raffaele Perego | Igo Ramalho Brilhante

pdf dblp
Web Information Foraging
Yassine Drias | Gabriella Pasi

pdf dblp
What-If Analysis: A Visual Analytics Approach to Information Retrieval Evaluation
Marco Angelini | Nicola Ferro | Giuseppe Santucci | Gianmaria Silvello

up

Proceedings of the 10th Workshop on Geographic Information Retrieval, GIR 2016, Burlingame, California, USA, October 31, 2016

doi dblp
Proceedings of the 10th Workshop on Geographic Information Retrieval, GIR 2016, Burlingame, California, USA, October 31, 2016

doi dblp
A holistic framework of geographical semantic web aligning
Li Yu | Xiliang Liu | Mingxiao Li | Peng Peng | Feng Lu

doi dblp
Facility detection and popularity assessment from text classification of social media and crowdsourced data
Kevin A. Sparks | Roger G. Li | Gautam S. Thakur | Robert N. Stewart | Marie L. Urban

doi dblp
A depth-first branch-and-bound algorithm for geocoding historic itinerary tables
Daniel Blank | Andreas Henrich

doi dblp
Extracting spatial information from social media in support of agricultural management decisions
Nevena Golubovic | Chandra Krintz | Rich Wolski | Sara Lafia | Thomas Hervey | Werner Kuhn

doi dblp
Refining imprecise spatio-temporal events: a network-based approach
Andreas Spitz | Johanna Geiß | Michael Gertz | Stefan Hagedorn | Kai-Uwe Sattler

doi dblp
Semantic enrichment of places with VGI sources: a knowledge based approach
Camille Tardy | Gilles Falquet | Laurent Moccozet

doi dblp
Evaluation of NER systems for the recognition of place mentions in French thematic corpora
Carmen Brando | Catherine Dominguès | Magali Capeyron

doi dblp
Performance evaluation measures for toponym resolution
Morteza Karimzadeh

doi dblp
Towards geo-referencing infrastructure for local news
Guoray Cai | Ye Tian

up

Text Processing - FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers

doi dblp
Text Processing - FIRE 2016 International Workshop, Kolkata, India, December 7-10, 2016, Revised Selected Papers

doi dblp
PAN@FIRE: Overview of the PR-SOCO Track on Personality Recognition in SOurce COde
Francisco M. Rangel Pardo | Fabio A. González | Felipe Restrepo-Calle | Manuel Montes-y-Gómez | Paolo Rosso

doi dblp
Microblog Retrieval During Disasters: Comparative Evaluation of IR Methodologies
Moumita Basu | Kripabandhu Ghosh | Somenath Das | Somprakash Bandyopadhyay | Saptarshi Ghosh

doi dblp
Overview of the Mixed Script Information Retrieval (MSIR) at FIRE-2016
Somnath Banerjee | Kunal Chakma | Sudip Kumar Naskar | Amitava Das | Paolo Rosso | Sivaji Bandyopadhyay | Monojit Choudhury

doi dblp
From Vector Space Models to Vector Space Models of Semantics
Barathi Ganesh H. B. | M. Anand Kumar | K. P. Soman

doi dblp
Algorithms and Corpora for Persian Plagiarism Detection - Overview of PAN at FIRE 2016
Habibollah Asghari | Salar Mohtaj | Omid Fatemi | Heshaam Faili | Paolo Rosso | Martin Potthast

doi dblp
Predicting Type of Obfuscation to Enhance Text Alignment Algorithms
Fatemeh Mashhadirajab | Mehrnoush Shamsfard

doi dblp
A Fast Multi-level Plagiarism Detection Method Based on Document Embedding Representation
Erfaneh Gharavi | Hadi Veisi | Kayvan Bijari | Kiarash Zahirnia

doi dblp
Plagiarism Detection Based on a Novel Trie-Based Approach
Alireza Talebpour | Mohammad Shirzadi Laskoukelayeh | Zahra Aminolroaya

doi dblp
Using Local Text Similarity in Pairwise Document Analysis for Monolingual Plagiarism Detection
Nava Ehsan | Azadeh Shakery

doi dblp
Shared Task on Detecting Paraphrases in Indian Languages (DPIL): An Overview
M. Anand Kumar | Shivkaran Singh | B. Kavirajan | K. P. Soman

doi dblp
Anuj@DPIL-FIRE2016: A Novel Paraphrase Detection Method in Hindi Language Using Machine Learning
Anuj Saini | Aayushi Verma

doi dblp
Learning to Detect Paraphrases in Indian Languages
Kamal Sarkar

doi dblp
Sentence Paraphrase Detection Using Classification Models
Liuyang Tian | Hui Ning | Leilei Kong | Kaisheng Chen | Haoliang Qi | Zhongyuan Han

doi dblp
Feature Engineering and Characterization of Classifiers for Consumer Health Information Search
D. Thenmozhi | Palaniappan Mirunalini | Chandrabose Aravindan

doi dblp
Identification of Relevance and Support for Consumer Health Information
Suresh Kumar Sanampudi | Naveen Kumar Laskari

doi dblp
Entity Extraction of Hindi-English and Tamil-English Code-Mixed Social Media Text
Remmiya Devi G | P. V. Veena | M. Anand Kumar | K. P. Soman

up

Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016

dblp
Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016

pdf dblp
Recent Advances in Information Access at Thomson Reuters R&D: News and Beyond
Jochen L. Leidner

pdf dblp
Monitoring Reputation in the Wild Online West
Julio Gonzalo

pdf dblp
Boolean Queries for News Monitoring: Suggesting New Query Terms to Expert Users
Suzan Verberne | Thymen Wabeke | Rianne Kaptein

pdf dblp
An Analysis of Novelty Dynamics in News Media Coverage
Ronaldo Cristiano Prati | Walter Teixeira Lima Junior

pdf dblp
Detecting Attention Dominating Moments Across Media Types
Igor Brigadir | Derek Greene | Pádraig Cunningham

pdf dblp
Semi-Supervised Events Clustering in News Retrieval
Jack G. Conrad | Michael Bender

pdf dblp
Cross-Lingual Trends Detection for Named Entities in News Texts with Dynamic Neural Embedding Models
Andrey Kutuzov | Elizaveta Kuzmenko

pdf dblp
Using News Articles for Real-time Cross-Lingual Event Detection and Filtering
Gregor Leban | Blaz Fortuna | Marko Grobelnik

pdf dblp
Temporal Random Indexing: a Tool for Analysing Word Meaning Variations in News
Pierpaolo Basile | Annalina Caputo | Giovanni Semeraro

pdf dblp
What do a Million News Articles Look like?
David P. A. Corney | Dyaa Albakour | Miguel Martinez-Alvarez | Samir Moussa

pdf dblp
Exploring a Large News Collection Using Visualization Tools
Tiago Devezas | José Luís Devezas | Sérgio Nunes

pdf dblp
Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections
Marco Pavan | Stefano Mizzaro | Matteo Bernardon | Ivan Scagnetto

pdf dblp
Visualising the Propagation of News on the Web
Svitlana Vakulenko | Max C. Göbel | Arno Scharl | Lyndon J. B. Nixon

pdf dblp
Comparative Analysis of GDELT Data Using the News Site Contrast System
Masaharu Yoshioka | Noriko Kando

up

Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval co-located with the 38th European Conference on Information Retrieval (ECIR 2016), Padova, Italy, March 20, 2016

dblp
Proceedings of the Third Workshop on Bibliometric-enhanced Information Retrieval co-located with the 38th European Conference on Information Retrieval (ECIR 2016), Padova, Italy, March 20, 2016

pdf dblp
Editorial for the 3rd Bibliometric-Enhanced Information Retrieval Workshop at ECIR 2016
Philipp Mayr | Ingo Frommholz | Guillaume Cabanac

pdf dblp
Bibliometrics in Online Book Discussions: Lessons for Complex Search Tasks
Marijn Koolen

pdf dblp
Weak Links and Strong Meaning: The Complex Phenomenon of Negational Citations
Marc Bertin | Iana Atanassova

pdf dblp
Towards a More Fine Grained Analysis of Scientific Authorship: Predicting the Number of Authors Using Stylometric Features
Andi Rexha | Stefan Klampfl | Mark Kröll | Roman Kern

pdf dblp
The References of References: Enriching Library Catalogs via Domain-Specific Reference Mining
Giovanni Colavizza | Matteo Romanello | Frédéric Kaplan

pdf dblp
Bibliometrics: a Publication Analysis Tool
Rosa Padrós-Cuxart | Clara Riera-Quintero | Francesc March-Mir

pdf dblp
Engineering a Tool to Detect Automatically Generated Papers
Minh Tien Nguyen | Cyril Labbé

pdf dblp
Bag of Works Retrieval: TF*IDF Weighting of Co-cited Works
Howard D. White

pdf dblp
On the Need for and Provision for an 'IDEAL' Scholarly Information Retrieval Test Collection
Birger Larsen | Christina Lioma

up

Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016

dblp
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016

pdf dblp
Invited talk: Developments, Libraries and Automated Theorem Provers
Chad Brown

pdf dblp
Invited talk: On Differences in Proofs Between Intuitionistic and Classical Logic
Aleksy Schubert

pdf dblp
Tarski's Geometry and the Euclidean Plane in Mizar
Adam Grabowski | Roland Coghetto

pdf dblp
Formalization of the prime number theorem and Dirichlet's theorem
Mario Carneiro

pdf dblp
Topological Foundations for a Formal Theory of Manifolds
Karol Pak

pdf dblp
Registrations vs Redefinitions in Mizar
Artur Kornilowicz

pdf dblp
Linking to Compound Conditions in Mizar
Adam Naumowicz

pdf dblp
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
Lucius Schoenbaum

pdf dblp
Understanding Mathematical Expressions: An Eye-Tracking Study
Andrea Kohlhase | Michael Fürsich

pdf dblp
The plain text trap when copying mathematical formulae
Paul Libbrecht | Matija Lokar

pdf dblp
Proposal for Coexistence of Mathematical Handwritten and Keyboard Input in a WYSIWYG Expression Editor
Juan Lao-Tebar | Francisco Alvaro | Daniel Marques

pdf dblp
KAT: an Annotation Tool for STEM Documents
Tom Wiesing | Felix Schmoll

pdf dblp
Notation-based Semantification
Ion Toloaca | Michael Kohlhase

pdf dblp
Lucas-Interpretation from Users' Perspective
Walther Neuper

pdf dblp
Rigor of TP in Educational Engineering Software
Walther Neuper

pdf dblp
Automated theorem proving for elementary geometry
Marek Janasz

pdf dblp
Knowledge Management across Formal Libraries
Dennis Müller

pdf dblp
Augmenting Mathematical Formulae for More Effective Querying & Presentation
Moritz Schubotz

pdf dblp
Design and development of a tool based on Coq to write and format mathematical proofs
Théo Zimmermann

pdf dblp
swMATH - Challenges, Next Steps, and Outlook
Hagen Chrapary | Wolfgang Dalitz | Wolfram Sperber

pdf dblp
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar
Hiroyuki Okazaki | Yuichi Futa

pdf dblp
A Smooth Transition to Modern mathoid-based Math Rendering in Wikipedia with Automatic Visual Regression Testing
Moritz Schubotz | Alan P. Sexton

pdf dblp
Getting the units right
Moritz Schubotz | David Veenhuis | Howard S. Cohl

pdf dblp
Lemma Extraction Criteria Based on Properties of Theorem Statements
Karol Pak

pdf dblp
The impact of proof steps sequence on proof readability - experimental setting
Karol Pak | Aleksy Schubert

pdf dblp
Models for Metamath
Mario Carneiro

pdf dblp
A first step towards automated conjecture-making in higher arithmetic geometry
Andreas Holmstrom

pdf dblp
Initial Experiments with Statistical Conjecturing over Large Formal Corpora
Thibault Gauthier | Cezary Kaliszyk | Josef Urban

pdf dblp
A Standard for Aligning Mathematical Concepts
Cezary Kaliszyk | Michael Kohlhase | Dennis Müller | Florian Rabe

pdf dblp
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies
Denis Rochau | Michael Kohlhase | Dennis Müller

up

Proceedings of the Second International Workshop on Data Science for Macro-Modeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26 - July 1, 2016

doi dblp
Proceedings of the Second International Workshop on Data Science for Macro-Modeling, DSMM@SIGMOD 2016, San Francisco, CA, USA, June 26 - July 1, 2016

doi dblp
Financial Entity Identification and Information Integration (FEIII) Challenge: The Report of the Organizing Committee
Mark D. Flood | John Grant | Haiping Luo | Louiqa Raschid | Ian Soboroff | Kyungjin Yoo

doi dblp
How Twitter is Changing the Nature of Financial News Discovery
Mark Dredze | Prabhanjan Kambadur | Gary Kazantsev | Gideon Mann | Miles Osborne

doi dblp
Supporting stock trading in multiple foreign markets: a multilingual news summarization approach
Elena Baralis | Luca Cagliero | Tania Cerquitelli

doi dblp
Combination of Rule-based and Textual Similarity Approaches to Match Financial Entities
Ahmad Samiei | Ioannis K. Koumarelas | Michael Loster | Felix Naumann

doi dblp
Karsha Drawdown Explorer Demonstration
Tharindu Peiris | Joe Langsam | Louiqa Raschid

doi dblp
Agent-Based Models of the Corporate Bond Market
Donald J. Berndt | David Boogers | James A. McCart

doi dblp
resMBS: Constructing a Financial Supply Chain from Prospectus
Douglas Burdick | Soham De | Louiqa Raschid | Mingchao Shao | Zheng Xu | Elena Zotkina

doi dblp
Probabilistic Financial Community Models with Latent Dirichlet Allocation for Financial Supply Chains
Zheng Xu | Louiqa Raschid

doi dblp
An Ontology of Form PF
Liju Fan | Mark D. Flood

doi dblp
Linking Deutsche Bundesbank Company Data using Machine-Learning-Based Classification: Extended Abstract
Christopher-J. Schild | Simone Schultz

doi dblp
Measuring Systemic Risk with Network Connectivity: Extended Abstract
Sumanta Basu | Sreyoshi Das | George Michailidis | Amiyatosh Purnanandam

doi dblp
Online Learning of Volatility from Multiple Option Term Lengths
Scott McQuade | Claire Monteleoni

doi dblp
Financial Entity Record Linkage with Random Forests
Kunho Kim | C. Lee Giles

doi dblp
An Ensemble Approach to Financial Entity Matching for the FEIII 2016 Challenge
Enrico Palumbo | Giuseppe Rizzo | Raphaël Troncy

doi dblp
Thomson Reuters and the FEIII Challenge
Brian Ulicny | Alex Constandache | Joseph Cunningham | Michael Traub | Kimberly Yu | Carlos Azeglio | Maki Saito-Varadi

doi dblp
FactSet Concordance: Entity Data Management
Raymond Bentley Hicks

doi dblp
Local, Domain-independent Heuristics for the FEIII Challenge: Lessons and Observations
Mayank Kejriwal | Daniel P. Miranker

doi dblp
Towards High-Precision and Reusable Entity Resolution Algorithms over Sparse Financial Datasets
Douglas Burdick | Lucian Popa | Rajasekar Krishnamurthy