Main » CIKM »

ACM International Conference on Information and Knowledge Management (2016)


Content


    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


    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