Technical Reports

Browse Reports

Format: 2018
13-019 Efficient Test Coverage Measurement for MC/DC
13-018 On Parameterized Abstractions in Unrolling-Based Decision Procedure for Algebraic Data Types
13-017 Towards the Analysis of Narrative Networks
13-016 Continuum of All-Pair Shortest-Path to All-Path via Random Walk
13-015 Community-Assisted Software Engineering Decision Making
13-014 Measuring spontaneous devaluations in user preferences
13-013 Energy-Optimal Trajectory Planning for Car-Like Robots
13-012 Bearing-Only Active Target Localization Strategies for a System of Two Communicating Mobile Robots: Full Technical Report
13-011 A Novel Regression Model Combining Instance Based Rule Mining With EM Algorithm
13-010 Sensor Planning for a Symbiotic UAV and UGV system for Precision Agriculture
13-009 Searching for a One-Dimensional Random Walker: Deterministic Strategies with a Time Budget When Crossing is Allowed
13-008 Searching for a One-Dimensional Random Walker: Randomized Strategy with Energy Budget
13-007 Nebula: Data Intensive Computing over Widely Distributed Voluntary Resources
13-006 Abstractions in Decision Procedures for Algebraic Data Types
13-005 Integration of Clinical and Genomic data: a Methodological Survey
13-004 Document Clustering: The Next Frontier
13-003 Supplement for "Change Detection from Temporal Sequences of Class Labels: Application to Land Cover Change Mapping"
13-002 Supplement for "Contextual Time Series Change Detection"
13-001 Long-Term Search Through Energy Efficiency and Harvesting
12-025 The Nature and Limits of Discriminative Patterns
12-024 Silver modularity analysis changelog
12-023 Information lifetime aware analysis for dynamic social networks
12-022 AREM: A Novel Associative Regression Model Based on EM Algorithm
12-021 CorLayer: A Transparent Link Correlation Layer for More Energy Efficient Broadcast
12-020 A New Teleconnection : The Australian Southern Oscillation
12-019 Understanding the complexity of 3G UMTS network performance - Modeling, Prediction, and Diagnosis
12-018 Contextual Time Series Change Detection
12-017 If You are Happy and Know It ... Tweet
12-016 Forming Long Term Teams to Exploit Synergies among Heterogeneous Agents
12-015 Crime pattern analysis: A spatial frequent pattern mining approach
12-014 Fast and Effective Lossy Compression Algorithms for Scientific
12-013 Jensen-Bregman LogDet Divergence for Efficient Similarity Computations on Positive Definite Tensors
12-012 Understanding the Sea SurfaceTemperature - Tropical Cyclone Relationship: A Data Driven Approach
12-011 A Data Mining Framework for Forest Fire Mapping
12-010 Automation for Regulated Issue Tracking Activities
12-009 Linear Convergence of ADMM on a Model Problem
12-008 Online Quadratically Constrained Convex Optimization with Applications to Risk Adjusted Portfolio Selection
12-007 MAP Inference on Million Node Graphical Models: KL-divergence based Alternating Directions Method
12-006 Sensor Placement and Selection for Bearing Sensors with Bounded Uncertainty
12-005 Lion and Man with Visibility in Monotone Polygons
12-004 Scalable Transaction Management with Serializable Snapshot Isolation on HBase
12-003 Optimizing MapReduce for Highly Distributed Environments
12-002 A pattern mining based integrative framework for biomarker discovery
12-001 Enhancing the functional content of protein interaction networks
11-031 SocialCloud: Using Social Networks for Building Distributed Computing Services
11-030 Taking Routers Off Their Meds: Unstable Routers and the Buggy BGP Implementations That Cause Them
11-029 Mobilizing the Cloud: Enabling Multi-User Mobile Outsourcing in the Cloud
11-028 Efficient Similarity Search via Sparse Coding
11-027 Censorship resistant overlay publishing
11-026 Probabilistic Tensor Factorization for Tensor Completion