THUMP: Semantic Analysis on Trajectory Traces to Explore Human Movement Patterns Shreya Ghosh Soumya K. Ghosh

Source URL: gdac.uqam.ca

• Wireless
• Geolocation
• Geocodes
• Geography
• Technology
• Global Positioning System
• Tracking
• Geographic data and information
• Location-based service
• Geotagging
• Geo
• Mobile phone tracking

Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

Source URL: rjoshi.org

• FO
• Finite model theory
• Model theory
• Metaphilosophy
• Mathematical logic
• Mathematics
• Sigma-algebra
• Pattern language

GroupLink: Group Event Recommendations Using Personal Digital Traces Honghao Wei Tsinghua University Beijing, 100084, China

Source URL: www.cs.cornell.edu

• Information science
• Collaboration
• Humancomputer interaction
• Information retrieval
• Recommender systems
• Human communication
• Social information processing
• Collective intelligence
• Collaborative filtering
• Computer-supported cooperative work
• Personalization
• GroupLens Research

Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction

Source URL: uclmr.github.io

• Computational neuroscience
• Artificial neural networks
• Applied mathematics
• Cybernetics
• Neuroscience
• Convolutional neural network
• Feature learning
• Deep learning
• Karel
• Neural network
• Long short-term memory
• Machine learning

Immersive Recommendation: News and Event Recommendations Using Personal Digital Traces Cheng-Kang Hsieh Longqi Yang

Source URL: www.cs.cornell.edu

• Collective intelligence
• Information science
• Information retrieval
• Computing
• Recommender systems
• Information systems
• New media
• Statistical natural language processing
• Collaborative filtering
• Cold start
• Matrix factorization
• Latent Dirichlet allocation

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

Source URL: www.cs.man.ac.uk

• Mathematics
• Algebra
• Theoretical computer science
• Finite automata
• Linear algebra
• Finite-state transducer
• Dynamic programming
• Edit distance
• Trace
• Finite-state machine
• Shortest path problem
• Levenshtein distance

Detecting Task Phases from Power Traces Joseph Granados, Jake Probst, Nick Armour, Jeffrey Bahns, Suzanne Rivoire Sonoma State University Chung-Hsing Hsu

Source URL: rivoire.cs.sonoma.edu

• Machine learning
• Learning
• Artificial intelligence
• Physics
• Image segmentation
• Training
• test
• and validation sets
• K-means clustering
• Data analysis
• Time series
• Phase
• Trace

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

Phase Recognition from Power Traces of HPC Workloads Joseph Granados, Jake Probst, Nick Armour, Jeff Bahns, Suzanne Rivoire Chung-Hsing Hsu

Source URL: rivoire.cs.sonoma.edu

• Kernel
• Trace
• Phase
• Benchmark
• Mach

The official version of this paper is at http://dl.acm.org/citation.cfm?id=DOI: http://dx.doi.org1 Privacy Games along Location Traces: A Game-Theoretic Framework for Optimizing Location Privacy

Source URL: carmelatroncoso.com