Search

Search Results

• Data Driven Game Theoretic Cyber Threat Mitigation

  John Robertson, Vivin Paliath, Jana Shakarian, Amanda Thart, Paulo Shakarian

  4041-4046

  2016-02-18

• MetaSeer.STEM: Towards Automating Meta-Analyses

  Kishore Neppalli, Cornelia Caragea, Robin Mayes, Kim Nimon, Fred Oswald

  4035-4040

  2016-02-18

• Automated Capture and Execution of Manufacturability Rules Using Inductive Logic Programming

  Abha Moitra, Ravi Palla, Arvind Rangarajan

  4028-4034

  2016-02-18

• Optimizing Energy Costs in a Zinc and Lead Mine

  Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O’Sullivan, Helmut Simonis

  4022-4027

  2016-02-18

• Wikipedia in the Tourism Industry: Forecasting Demand and Modeling Usage Behavior

  Pejman Khadivi, Naren Ramakrishnan

  4016-4021

  2016-02-18

• Automated Regression Testing Using Constraint Programming

  Arnaud Gotlieb, Mats Carlsson, Marius Liaaen, Dusica Marijan, Alexandre Pétillon

  4010-4015

  2016-02-18

• Data-Augmented Software Diagnosis

  Amir Elmishali, Roni Stern, Meir Kalech

  4003-4009

  2016-02-18

• Document Type Classification in Online Digital Libraries

  Cornelia Caragea, Jian Wu, Sujatha Das Gollapalli, C. Lee Giles

  3997-4002

  2016-02-18

• An Autonomous Override System to Prevent Airborne Loss of Control

  Sweewarman Balachandran, Ella M. Atkins

  3991-3996

  2016-02-18

• Infusing Human Factors into Algorithmic Crowdsourcing

  Han Yu, Chunyan Miao, Zhiqi Shen, Jun Lin, Cyril Leung, Qiang Yang

  4062-4063

  2016-02-18

• Deploying nEmesis: Preventing Foodborne Illness by Data Mining Social Media

  Adam Sadilek, Henry Kautz, Lauren DiPrete, Brian Labus, Eric Portman, Jack Teitel, Vincent Silenzio

  3982-3989

  2016-02-18

• Ontology Re-Engineering: A Case Study from the Automotive Industry

  Nestor Rychtyckyj, Venkatesh Rama, Baskaran Sankaranarayanan, P Sreenivasa Kumar, Deepak Khemani

  3974-3981

  2016-02-18

• Deploying PAWS: Field Optimization of the Protection Assistant for Wildlife Security

  Fei Fang, Thanh H. Nguyen, Rob Pickles, Wai Y. Lam, Gopalasamy R. Clements, Bo An, Amandeep Singh, Milind Tambe, Andrew Lemieux

  3966-3973

  2016-02-18

• The Winograd Schema Challenge: Evaluating Progress in Commonsense Reasoning

  Leora Morgenstern, Charles L. Ortiz, Jr.

  4024-4025

  2015-01-25

• Time-Varying Clusters in Large-Scale Flow Cytometry

  Jeremy Hyrkas, Daniel Halperin, Bill Howe

  4022-4023

  2015-01-25

• Elementary School Science and Math Tests as a Driver for AI: Take the Aristo Challenge!

  Peter Clark

  4019-4021

  2015-01-25

• SKILL: A System for Skill Identification and Normalization

  Meng Zhao, Faizan Javed, Ferosh Jacob, Matt McNair

  4012-4017

  2015-01-25

• Preventing HIV Spread in Homeless Populations Using PSINET

  A. Yadav, L. Marcolino, E. Rice, R. Petering, H. Winetrobe, H. Rhoades, M. Tambe, H. Carmichael

  4006-4011

  2015-01-25

• Maestoso: An Intelligent Educational Sketching Tool for Learning Music Theory

  Paul Taele, Laura Barreto, Tracy Hammond

  3999-4005

  2015-01-25

• A Robust and Extensible Tool for Data Integration Using Data Type Models

  Andres Quiroz, Eric Huang, Luca Ceriani

  3993-3998

  2015-01-25

• HACKAR: Helpful Advice for Code Knowledge and Attack Resilience

  Ugur Kuter, Mark Burstein, J. Benton, Daniel Bryce, Jordan Thayer, Steve McCoy

  3987-3992

  2015-01-25

• Leveraging Ontologies to Improve Model Generalization Automatically with Online Data Sources

  Sasin Janpuangtong, Dylan A. Shell

  3981-3986

  2015-01-25

• Aggregating User Input in Ecology Citizen Science Projects

  Greg Hines, Alexandra Swanson, Margaret Kosmala, Chris Lintott

  3975-3980

  2015-01-25

• Design and Experiment of a Collaborative Planning Service for NetCentric International Brigade Command

  Christophe Guettier, Willy Lamal, Israel Mayk, Jacques Yelloz

  3967-3974

  2015-01-25

• Capturing Human Route Preferences from Track Information: New Results

  Johnathan Gohde, Mark Boddy, Hazel Shackleton, Steve Johnston

  3961-3966

  2015-01-25