Stop the war!
Остановите войну!
for scientists:
default search action
CoRR, March 2016
-
You Are What Apps You Use: Demographic Prediction Based on User's Apps. -
Anchored Rectangle and Square Packings. -
Modeling the Infectiousness of Twitter Hashtags. -
A complexity dichotomy for poset constraint satisfaction. -
Effective Sequential Protocol Composition in Maude-NPA. -
PROMETHEE is Not Quadratic: An O(qn log(n)) Algorithm. -
Interlinked Cycles for Index Coding: Generalizing Cycles and Cliques. -
Crashing Modulus Attack on Modular Squaring for Rabin Cryptosystem. -
Dynamic Stackelberg User-in-the-Loop Repeated Game for Device-to-Device Communications. -
Designing Domain Specific Word Embeddings: Applications to Disease Surveillance. -
Robust Multi-body Feature Tracker: A Segmentation-free Approach. -
From Duels to Battefields: Computing Equilibria of Blotto and Other Games. -
Learning Multilayer Channel Features for Pedestrian Detection. -
Cascaded Subpatch Networks for Effective CNNs. -
Platform Autonomous Custom Scalable Service using Service Oriented Cloud Computing Architecture. -
A Universal Update-pacing Framework For Visual Tracking. -
Asymptotic Analysis of Random Lattices in High Dimensions. -
-
Storm Detection by Visual Learning Using Satellite Images. -
A Fast Distributed Algorithm for Large-Scale Demand Response Aggregation. -
GOGMA: Globally-Optimal Gaussian Mixture Alignment. -
Broadcast Repair for Wireless Distributed Storage Systems. -
Design and Analysis Framework for Sparse FIR Channel Shortening. -
Convolutional Rectifier Networks as Generalized Tensor Decompositions. -
Energy Efficient Transmission for Multicast Services in MISO Distributed Antenna Systems. -
Protecting suppliers' private information: the case of stock levels and the impact of correlated items. -
Harvesting the (Self-)Interference in Heterogeneous Full-Duplex Networks For Joint Rate-Energy Optimization. -
Phase-only signal reconstruction by MagnitudeCut. -
An Optimal Algorithm for l1-Heavy Hitters in Insertion Streams and Related Problems. -
Segmental Recurrent Neural Networks for End-to-end Speech Recognition. -
Finding the Nucleoli of Large Cooperative Games: A Disproof with Counter-Example. -
Fetishizing Food in Digital Age: #foodporn Around the World. -
Caching Incentive Design in Wireless D2D Networks: A Stackelberg Game Approach. -
On the hardness of switching to a small number of edges. -
Event Search and Analytics: Detecting Events in Semantically Annotated Corpora for Search and Analytics. -
Component Based Modeling of Ultrasound Signals. -
Gland Segmentation in Colon Histology Images: The GlaS Challenge Contest. -
How to Re-Divide a Cake Fairly. -
Hybrid Feedback Path Following for Robotic Walkers via Bang-Bang Control Actions. -
MIMO-NOMA Design for Small Packet Transmission in the Internet of Things. -
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. -
On synchronization and consensus patterns in complex networks: from analysis to control. -
Characterization of threshold functions: state of the art, some new contributions and open problems. -
Piecewise Testable Languages and Nondeterministic Automata. -
Scalable Metric Learning via Weighted Approximate Rank Component Analysis. -
Easy-First Dependency Parsing with Hierarchical Tree LSTMs. -
Noisy Activation Functions. -
General Tensor Spectral Co-clustering for Higher-Order Data. -
A Fast Randomized Algorithm for Multi-Objective Query Optimization. -
Distributed Load Management Algorithms in Anycast-based CDNs. -
Visualizing source code in 3D Maya software. -
Quantifying the vanishing gradient and long distance dependency problem in recursive neural networks and recursive LSTMs. -
A Nonlinear Adaptive Filter Based on the Model of Simple Multilinear Functionals. -
On GitHub's Programming Languages. -
Technical Report: Band selection for nonlinear unmixing of hyperspectral images as a maximal click problem. -
Convolutional Patch Representations for Image Retrieval: an Unsupervised Approach. -
Crowdsourcing On-street Parking Space Detection. -
Guided Cost Learning: Deep Inverse Optimal Control via Policy Optimization. -
Weakly Supervised Localization using Deep Feature Maps. -
Wanted: Floating-Point Add Round-off Error instruction. -
Keypoint Density-based Region Proposal for Fine-Grained Object Detection and Classification using Regions with Convolutional Neural Network Features. -
-
Solving Combinatorial Games using Products, Projections and Lexicographically Optimal Bases. -
LOFS: Library of Online Streaming Feature Selection. -
Jimbo: A Collaborative IDE with Live Preview. -
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents] -
Repairing Conflicts among MVCC Transactions. -
US-Cut: Interactive Algorithm for rapid Detection and Segmentation of Liver Tumors in Ultrasound Acquisitions. -
Synthesized Classifiers for Zero-Shot Learning. -
Learnt quasi-transitive similarity for retrieval from large collections of faces. -
Ironing the Border: Optimal Auctions for Negatively Correlated Items. -
Asymptotic behavior of ℓp-based Laplacian regularization in semi-supervised learning. -
MacroBase: Analytic Monitoring for the Internet of Things. -
Without-Replacement Sampling for Stochastic Gradient Methods: Convergence Results and Application to Distributed Optimization. -
Hierarchical Role-Based Access Control with Homomorphic Encryption for Database as a Service. -
A jammer's perspective of reachability and LQ optimal control. -
Colored Spanning Graphs for Set Visualization. -
Some essential skills and their combination in an architecture for a cognitive and interactive robot. -
Optimal Scheduling for Incentive WiFi Offloading under Energy Constraint. -
A Theorem on Multi-Objective Optimization Approach for Bit Allocation of Scalable Coding. -
Decapitation via Digital Epidemics: A Bio-Inspired Transmissive Attack. -
Generalized Analysis of Convergence of Absolute Trust in Peer to Peer Networks. -
Decentralized Detection in Energy Harvesting Wireless Sensor Networks. -
Porting Code Across Simple Mobile Robots. -
PLATO: Policy Learning using Adaptive Trajectory Optimization. -
Semi-Automated Design Space Exploration for Formal Modelling. -
A Novel Interleaving Scheme for Polar Codes. -
Are you Charlie or Ahmed? Cultural pluralism in Charlie Hebdo response on Twitter. -
Superimposed Pilots are Superior for Mitigating Pilot Contamination in Massive MIMO - Part I: Theory and Channel Estimation. -
Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution. -
Physics-Based Damage-Aware Manipulation Strategy Planning Using Scene Dynamics Anticipation. -
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. -
Nesting Depth of Operators in Graph Database Queries: Expressiveness Vs. Evaluation Complexity. -
Unsupervised Watertight Mesh Generation for Physics Simulation Applications Using Growing Neural Gas on Noisy Free-Form Object Models. -
Distributed Spectral Efficiency Maximization in Full-Duplex Cellular Networks. -
Finding Relationships between Socio-Technical Aspects and Personality Traits by Mining Developer E-mails. -
A Security Analysis and Revised Security Extension for the Precision Time Protocol. -
Probabilistic Relational Model Benchmark Generation. -
LevelMerge: Collaborative Game Level Editing by Merging Labeled Graphs. -
RowHammer: Reliability Analysis and Security Implications. -
Continuous Deep Q-Learning with Model-based Acceleration. -
Non-additive Security Game. -
Equity forecast: Predicting long term stock price movement using machine learning. -
BPTree: an ℓ2 heavy hitters algorithm using constant memory. -
On self-dual double circulant codes. -
Vertex Cover Structural Parameterization Revisited. -
Filter based Taxonomy Modification for Improving Hierarchical Classification. -
Learning Word Segmentation Representations to Improve Named Entity Recognition for Chinese Social Media. -
Hierarchical Haptic Manipulation for Complex Skill Learning. -
The SPHERE Challenge: Activity Recognition with Multimodal Sensor Data. -
Hybrid Collaborative Filtering with Neural Networks. -
Character-based Neural Machine Translation. -
Grand Challenges in Measuring and Characterizing Scholarly Impact. -
Active Requirement Mining of Bounded-Time Temporal Properties of Cyber-Physical Systems. -
A Nonlinear Weighted Total Variation Image Reconstruction Algorithm for Electrical Capacitance Tomography. -
MOT16: A Benchmark for Multi-Object Tracking. -
Some Remarks on Conway and Iteration Theories. -
Automatic segmentation of lizard spots using an active contour model. -
Shallow and Deep Convolutional Networks for Saliency Prediction. -
Shortest Paths and Convex Hulls in 2D Complexes with Non-Positive Curvature. -
Pareto optimal matchings of students to courses in the presence of prerequisites. -
QoE-Based Low-Delay Live Streaming Using Throughput Predictions. -
Counter-fitting Word Vectors to Linguistic Constraints. -
Frequency-hiding Dependency-preserving Encryption for Outsourced Databases. -
Large Peg-Army Maneuvers. -
LiDAR Ground Filtering Algorithm for Urban Areas Using Scan Line Based Segmentation. -
Client-CASH: Protecting Master Passwords against Offline Attacks. -
Trainyard is NP-Hard. -
Super Mario as a String: Platformer Level Generation Via LSTMs. -
Autonomous Vehicle Routing in Congested Road Networks. -
PCANet: An energy perspective. -
Training Input-Output Recurrent Neural Networks through Spectral Methods. -
Decentralized State Estimation via a Hybrid of Consensus and Covariance intersection. -
Enhancing Freebase Question Answering Using Textual Evidence. -
Cellular Automata Segmentation of the Boundary between the Compacta of Vertebral Bodies and Surrounding Structures. -
Interactive and Scale Invariant Segmentation of the Rectum/Sigmoid via User-Defined Templates. -
Using Quadrilaterals to Compute the Shortest Path. -
Learning Tabletop Object Manipulation by Imitation. -
MGNC-CNN: A Simple Approach to Exploiting Multiple Word Embeddings for Sentence Classification. -
Tight Analysis of a Multiple-Swap Heuristic for Budgeted Red-Blue Median. -
Formalising Confluence in PVS. 11-17 -
Compositional model checking of concurrent systems, with Petri nets. 19-30 -
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. 31-45 -
Finiteness and Computation in Toposes. 61-77 -
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. 79-94 -
Local Map Descriptor for Compressive Change Retrieval. -
Audio Word2Vec: Unsupervised Learning of Audio Segment Representations using Sequence-to-sequence Autoencoder. -
Learning Real and Boolean Functions: When Is Deep Better Than Shallow. -
Self-localization from Images with Small Overlap. -
Automatic learning of gait signatures for people identification. -
Convolutional Neural Networks using Logarithmic Data Representation. -
Feedback Control of Real-Time Display Advertising. -
A novel and automatic pectoral muscle identification algorithm for mediolateral oblique (MLO) view mammograms using ImageJ. -
Yes-no Bloom filter: A way of representing sets with fewer false positives. -
Modeling the Sequence of Brain Volumes by Local Mesh Models for Brain Decoding. -
Camera identification with deep convolutional networks. -
What is the right way to represent document images? -
Spectrum Pooling in MmWave Networks: Opportunities, Challenges, and Enablers. -
Towards the Specification of Adaptive Robotic Systems. -
Using Newton's method to model a spatial light distribution of a LED with attached secondary optics. -
Elastic Net Hypergraph Learning for Image Clustering and Semi-supervised Classification. -
Implementation of the fast table grid user interface element for working with large database tables. -
Minimization of Büchi Automata using Fair Simulation. -
If-Conversion Optimization using Neuro Evolution of Augmenting Topologies. -
A Survey of the State of the Art in Data Mining and Integration Query Languages. -
A Generalized Optimization Framework for Wireless Powered Communication Networks. -
Deep Reinforcement Learning from Self-Play in Imperfect-Information Games. -
Read networks and k-laminar graphs. -
The Domination Game: Proving the 3/5 Conjecture on Isolate-Free Forests. -
Network Unfolding Map by Edge Dynamics Modeling. -
A Dynamic Overlay Supporting Just-In-Time Assembly to Construct Customized Hardware Accelerators. -
Completing partial schedules for Open Shop with unit processing times and routing. -
Reducing complexity of autonomous control agents for verifiability. -
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing. -
From manuscript catalogues to a handbook of Syriac literature: Modeling an infrastructure for Syriaca.org. -
Optimal Rebuilding of Multiple Erasures in MDS Codes. -
Rate Splitting for MIMO Wireless Networks: A Promising PHY-Layer Strategy for LTE Evolution. -
GeoGebra Tools with Proof Capabilities. -
Multi-domain Neural Network Language Generation for Spoken Dialogue Systems. -
Principles of Layered Attestation. -
HyperFace: A Deep Multi-task Learning Framework for Face Detection, Landmark Localization, Pose Estimation, and Gender Recognition. -
Decision Forests, Convolutional Networks and the Models in-Between. -
New Convex Programs for Fisher's Market Model and its Generalizations. -
Modular Decomposition and Analysis of Registration based Trackers. -
A Robot Learning to Play a Mobile Game Under Unknown Dynamics. -
Learning Physical Intuition of Block Towers by Example. -
FastCap: An Efficient and Fair Algorithm for Power Capping in Many-Core Systems. -
Ecology-Based DoS Attack in Cognitive Radio Networks. -
Performance Assessment of WhatsApp and IMO on Android Operating System (Lollipop and KitKat) during VoIP calls using 3G or WiFi. -
Recovering Games from Perturbed Equilibrium Observations Using Convex Optimization. -
Compressed Sensing for Tactile Skins. -
Joint Learning Templates and Slots for Event Schema Induction. -
Where to be wary: The impact of widespread photo-taking and image enhancement practices on users' geo-privacy. -
Simplified Relative Citation Ratio for Static Paper Ranking: UFMG/LATIN at WSDM Cup 2016. -
Finding best possible constant for a polynomial inequality. -
OFDM demodulation using virtual time reversal processing in underwater acoustic communication. -
Cloud Server Benchmarks for Performance Evaluation of New Hardware Architecture. -
End-to-end Sequence Labeling via Bi-directional LSTM-CNNs-CRF. -
PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio. -
Neural Architectures for Named Entity Recognition. -
Motivating Healthy Water Intake through Prompting, Historical Information, and Implicit Feedback. -
Designing for Different Stages in Behavior Change. -
A Unified View of Localized Kernel Learning. -
In the Search of Optimal Concurrency. -
Proportional Fair Rate Allocation for Private Shared Networks. -
Inter-User Interference Coordination in Full-Duplex Systems Based on Geographical Context Information. -
Sampling approach to sparse approximation problem: determining degrees of freedom by simulated annealing. -
TANGO: Transparent heterogeneous hardware Architecture deployment for eNergy Gain in Operation. -
Contextual trace refinement for concurrent objects: Safety and progress. -
Dynamic Memory Networks for Visual and Textual Question Answering. -
Methods for Stochastic Collection and Replenishment (SCAR) optimisation for persistent autonomy. -
Capacity Results for the Multicast Cognitive Interference Channel. -
Computing the Power Distribution in the IMF. -
Computational Aspects of Private Bayesian Persuasion. -
Approximate Relational Hoare Logic for Continuous Random Samplings. -
-
Nominal Automata with Name Binding. -
Edge Coloring and Stopping Sets Analysis in Product Codes with MDS components. -
Minimax Design and Order Estimation of FIR Filters for Extending the Bandwidth of ADCs. -
Distributed (Δ+1)-Coloring in Sublogarithmic Rounds. -
A knowledge representation meta-model for rule-based modelling of signalling networks. 47-59 -
Performance Localisation. -
Improved Sufficient Conditions for Sparse Recovery with Generalized Orthogonal Matching Pursuit. -
Inferential Privacy Guarantees for Differentially Private Mechanisms. -
Hoaxy: A Platform for Tracking Online Misinformation. -
Rapidly Mixing Markov Chains: A Comparison of Techniques (A Survey). -
A Bayesian Model of Multilingual Unsupervised Semantic Role Induction. -
Optimized Polynomial Evaluation with Semantic Annotations. -
Collecting Examples for Instance-Spanning Constraints. -
Analyzing Games with Ambiguous Player Types using the MINthenMAX Decision Model. -
Delta State Replicated Data Types. -
Effective use of the PGAS Paradigm: Driving Transformations and Self-Adaptive Behavior in DASH-Applications. -
Parallel Texts in the Hebrew Bible, New Methods and Visualizations. -
-
Text Understanding with the Attention Sum Reader Network. -
A Randomized Misfit Approach for Data Reduction in Large-Scale Inverse Problems. -
High precision grasp pose detection in dense clutter. -
X-rank and identifiability for a polynomial decomposition model. -
FLICA: A Framework for Leader Identification in Coordinated Activity. -
Causal models for debugging and control in cloud computing. -
Randomized algorithms for finding a majority element. -
Phase Retrieval of Real-Valued Signals in a Shift-Invariant Space. -
Sentiment Analysis in Scholarly Book Reviews. -
Integrated Sequence Tagging for Medieval Latin Using Deep Representation Learning. -
Computing Shortest Paths Using A*, Landmarks, and Polygon Inequalities (Abstract). -
Depth Superresolution using Motion Adaptive Regularization. -
Low Complexity Hybrid Precoding and Channel Estimation Based on Hierarchical Multi-Beam Search for Millimeter-Wave MIMO Systems. -
Getting More Out Of Syntax with PropS. -
Degrees of Freedom of the MIMO 2x2 Interference Network with General Message Sets. -
Queue-Aware Energy-Efficient Joint Remote Radio Head Activation and Beamforming in Cloud Radio Access Networks. -
SourcererCC and SourcererCC-I: Tools to Detect Clones in Batch mode and During Software Development. -
Network Morphism. -
Capacity of Systems with Queue-Length Dependent Service Quality. -
Frequent-Itemset Mining using Locality-Sensitive Hashing. -
Saliency Detection combining Multi-layer Integration algorithm with background prior and energy function. -
Intracell Interference Characterization and Cluster Inference for D2D Communication. -
Underwater Fish Tracking for Moving Cameras based on Deformable Multiple Kernels. -
A Feature Learning and Object Recognition Framework for Underwater Fish Images. -
Coverage gain and Device-to-Device user Density: Stochastic Geometry Modeling and Analysis. -
Understanding the Sparse Vector Technique for Differential Privacy. -
-
Classifier ensemble creation via false labelling. -
A Linked Data Scalability Challenge: Concept Reuse Leads to Semantic Decay. -
Low-Rank Matrix Completion for Topological Interference Management by Riemannian Pursuit. -
New Algorithms for Heavy Hitters in Data Streams. -
Grading of Mammalian Cumulus Oocyte Complexes using Machine Learning for in Vitro Embryo Culture. -
New Algorithms for Maximum Disjoint Paths Based on Tree-Likeness. -
Normal-order reduction grammars. -
Semantic Style Transfer and Turning Two-Bit Doodles into Fine Artworks. -
An Argument-based Creative Assistant for Harmonic Blending. -
Fast calculation of correlations in recognition systems. -
Identifying and Improving Dataset References in Social Sciences Full Texts. -
Generalised rely-guarantee concurrency: An algebraic foundation. -
Complex-demand Scheduling Problem with Application in Smart Grid. -
Approaches to Modeling Insurgency. -
Coupling of finite element method with boundary algebraic equations. -
Variational methods for Conditional Multimodal Learning: Generating Human Faces from Attributes. -
On the Number of Cycles in a Graph. -
Proof of Threshold Saturation for Spatially Coupled Sparse Superposition Codes. -
Type Based Sign Modulation for Molecular Communication. -
Unambiguous Prioritized Repairing of Databases. -
Low-Complexity Iterative Sinusoidal Parameter Estimation. -
Semi-Automatic Data Annotation, POS Tagging and Mildly Context-Sensitive Disambiguation: the eXtended Revised AraMorph (XRAM). -
Hierarchical Decision Making In Electricity Grid Management. -
Proximal groupoid patterns In digital images. -
Smart Procurement of Naturally Generated Energy (SPONGE) for Plug-in Hybrid Electric Buses. -
Online Learning to Rank with Feedback at the Top. -
Generalization error bounds for learning to rank: Does the length of document lists matter? -
Improved Noise Weighting in CELP Coding of Speech - Applying the Vorbis Psychoacoustic Model To Speex. -
General Participative Media Single Image Restoration. -
-
Physical Layer Security for Massive MIMO Systems Impaired by Phase Noise. -
Personalized Advertisement Recommendation: A Ranking Approach to Address the Ubiquitous Click Sparsity Problem. -
PageRank Pipeline Benchmark: Proposal for a Holistic System Benchmark for Big-Data Platforms. -
Concentrated Differential Privacy. -
Bounds on the Voter Model in Dynamic Networks. -
Confidence-Constrained Maximum Entropy Framework for Learning from Multi-Instance Data. -
Hanabi is NP-complete, Even for Cheaters who Look at Their Cards. -
A Latent Variable Recurrent Neural Network for Discourse Relation Language Models. -
Optimal Geographic Caching in Finite Wireless Networks. -
NP-Completeness of the Negative k-Cycle Problem. -
Millimetre Wave MIMO Channel Estimation using Overlapped Beam Patterns and Rate Adaptation. -
Temporal Opinion Spam Detection by Multivariate Indicative Signals. -
Stochastic Collection and Replenishment (SCAR): Objective Functions. -
Stochastic Collection and Replenishment (SCAR) Optimisation for Persistent Autonomy. -
A Two-Stage Shape Retrieval (TSR) Method with Global and Local Features. -
Partially Block Markov Superposition Transmission of Gaussian Source with Nested Lattice Codes. -
A Real-Time and Energy-Efficient Implementation of Difference-of-Gaussian with Flexible Thin-Film Transistors. -
Towards a DSL for Perception-Based Safety Systems. -
#greysanatomy vs. #yankees: Demographics and Hashtag Use on Twitter. -
Deep Contrast Learning for Salient Object Detection. -
On the Implicit Graph Conjecture. -
Two Tales of the World: Comparison of Widely Used World News Datasets GDELT and EventRegistry. -
Graph Theoretic Investigations on Inefficiencies in Network Models. -
A matter of words: NLP for quality evaluation of Wikipedia medical articles. -
PAR-Constrained Multiuser MIMO OFDM based on Convex Optimization and Concentration of Measure. -
Towards Enabling Broadband for a Billon Plus Population with TV White Spaces. -
Identifying Randomly Activated Users via Sign-Compute-Resolve on Graphs. -
From A to Z: Supervised Transfer of Style and Content Using Deep Neural Network Generators. -
Position paper: Towards an observer-oriented theory of shape comparison. -
Differentially Private Policy Evaluation. -
Independent Sets in Classes Related to Chair/Fork-free Graphs. -
Linear Codes over Galois Ring GR(p2, r) Related to Gauss sums. -
Supervisor Localization of Timed Discrete-Event Systems under Partial Observation and Communication Delay. -
Adaptive Visualisation System for Construction Building Information Models Using Saliency. -
How to make RSA and some other encryptions probabilistic. -
-
Unscented Bayesian Optimization for Safe Robot Grasping. -
Learning Shared Representations in Multi-task Reinforcement Learning. -
Distributed Model Predictive Control Using a Chain of Tubes. -
TruthDiscover: A Demonstration of Resolving Object Conflicts on Massive Linked Data. -
Aggregated 2D Range Queries on Clustered Points. -
Optimal dictionary for least squares representation. -
A Learning-based Frame Pooling Model For Event Detection. -
Finding the Maximum Subset with Bounded Convex Curvature. -
Delay Bounds in Feed-Forward Networks - A Fast and Accurate Network Calculus Solution. -
Analytical Estimation of Carrier Phase Recovery Approaches in Long-Haul High-Speed Optical Communication Systems. -
From Design Contracts to Component Requirements Verification. -
Von Neumann Algebras form a Model for the Quantum Lambda Calculus. -
Learning a Discriminative Null Space for Person Re-identification. -
Complete Elgot Monads and Coalgebraic Resumptions. -
Who are Like-minded: Mining User Interest Similarity in Online Social Networks. -
Modeling Information Diffusion in Social Networks. -
Wireless Information and Power Transfer in Full-Duplex Communication Systems. -
Distributed Multi-Task Learning with Shared Representation. -
Rigorous Analysis of Software Countermeasures against Cache Attacks. -
Self-stabilizing Balls & Bins in Batches. -
Gaussian Process Regression for Out-of-Sample Extension. -
Learning Hand-Eye Coordination for Robotic Grasping with Deep Learning and Large-Scale Data Collection. -
Elastic Functional Coding of Riemannian Trajectories. -
An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems. -
Authenticating users through their arm movement patterns. -
Leveraging MPI-3 Shared-Memory Extensions for Efficient PGAS Runtime Systems. -
On higher order computations and synaptic meta-plasticity in the human brain: IT point of view (March, 2016). -
Online Sparse Linear Regression. -
Drift Robust Non-rigid Optical Flow Enhancement for Long Sequences. -
Blur Robust Optical Flow using Motion Channel. -
In-Vehicle PLC: In-Car and In-Ship Channel Characterization. -
Auditing spreadsheets: With or without a tool? -
Problem Solving in Sprego. -
What slows you down? Your network or your device? -
TTC: A high-performance Compiler for Tensor Transpositions. -
Towards Automated Android App Collusion Detection. -
Aggregated evaluation of operation quality of complex hierarchical network systems. -
Terminal Embeddings. -
Constant Approximation for Capacitated k-Median with (1 + ε)-Capacity Violation. -
Distributed TensorFlow with MPI. -
Enhanced Robot Audition Based on Microphone Array Source Separation with Post-Filter. -
Optimal Link Adaptation for Multicarrier Communication Systems. -
Hand Segmentation for Hand-Object Interaction from Depth map. -
Motion Planning for Fluid Manipulation using Simplified Dynamics. -
Biologically inspired model simulating visual pathways and cerebellum function in human - Achieving visuomotor coordination and high precision movement with learning ability. -
On the Polar Code Encoding in Fading Channels. -
Local Partial Clique Covers for Index Coding. -
Interactive Browsing and Navigation in Relational Databases. -
The Mysteries of Security Games: Equilibrium Computation becomes Combinatorial Algorithm Design. -
The Effect of Communication Topology on Scalar Field Estimation by Networked Robotic Swarms. -
Efficient Optimal Joint Channel Estimation and Data Detection for Massive MIMO Systems. -
Microprocessor Optimizations for the Internet of Things. -
The Design Principles of Konrad Zuse's Mechanical Computers. -
Dynamic Clustering in Social Networks using Louvain and Infomap Method. -
An Evolvable Fuzzy Logic System for handoff management in heterogeneous Wireless Networks. -
Robust static output feedback control using a Particle Swarm Optimization-DE-linear matrix inequality algorithm hybrid algorithm. -
A hybrid approach based segmentation technique for brain tumor in MRI Images. -
On Self-Reducibility and Reoptimization of Closest Substring Problem. -
Exponential stability of a PI plus reset integrator controller by a sampled-data system approach. -
A non-extensive entropy feature and its application to texture classification. -
The Mathematics of Xenology: Di-cographs, Symbolic Ultrametrics, 2-structures and Tree-representable Systems of Binary Relations. -
Anticipatory Radio Resource Management for Mobile Video Streaming with Linear Programming. -
Fair Scheduling for Data Collection in Mobile Sensor Networks with Energy Harvesting. -
An Introduction to Mechanized Reasoning. -
A Software Package for Chemically Inspired Graph Transformation. -
The Exploratory Research of the Effect Communication Model and Effect Improving Strategy of Interactive Advertising. -
Extracting Arabic Relations from the Web. -
Effective Capacity in Broadcast Channels with Arbitrary Inputs. -
Mixture Proportion Estimation via Kernel Embedding of Distributions. -
The Erdos-Posa Property for Directed Graphs. -
Semi-supervised Variational Autoencoders for Sequence Classification. -
A New Method to Visualize Deep Neural Networks. -
Robust multigrid for high-order discontinuous Galerkin methods: A fast Poisson solver suitable for high-aspect ratio Cartesian grids. -
Testing fine-grained parallelism for the ADMM on a factor-graph. -
Multidimensional factorization through helical mapping. -
A Jamming-resilient Algorithm for Self-triggered Network Coordination. -
Resilient Control under Denial-of-Service: Robust Design. -
Batched Lazy Decision Trees. -
On the infeasibility of analysing worst-case dynamic energy. -
60 GHz Outdoor Urban Measurement Study of the Feasibility of Multi-Gbps mm-Wave Cellular Networks. -
Prediction of Infinite Words with Automata. -
Observing Trends in Automated Multilingual Media Analysis. -
Sums of read-once formulas: How many summands suffice? -
Interactive Modeling of Concept Drift and Errors in Relevance Feedback. -
Scheduling meets n-fold Integer Programming. -
Network-wide Packet Behavior Identification and Private Network Function Outsourcing. -
Iterative Hough Forest with Histogram of Control Points for 6 DoF Object Registration from Depth Images. -
The red one!: On learning to refer to things based on their discriminative properties. -
DROW: Real-Time Deep Learning based Wheelchair Detection in 2D Range Data. -
Mining Hierarchical Temporal Roles with Multiple Metrics. -
A Hybrid Linear Logic for Constrained Transition Systems. -
A Tangible Volume for Portable 3D Interaction. -
Online but Accurate Inference for Latent Variable Models with Local Gibbs Sampling. -
A regularization-based approach for unsupervised image segmentation. -
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications. -
Resource Sharing in 5G mmWave Cellular Networks. -
Study and evaluation of an Irregular Graph Algorithm on Multicore and GPU Processor Architectures. -
Multi-prover Proof-of-Retrievability. -
Rank Aggregation for Course Sequence Discovery. -
Transport Layer Performance in 5G mmWave Cellular. -
Quantifying Causal Effects on Query Answering in Databases. -
The Rise of Social Botnets: Attacks and Countermeasures. -
Tweeting the Mind and Instagramming the Heart: Exploring Differentiated Content Sharing on Social Media. -
On the computational complexity of exterior products. -
Efficient Authentication of Outsourced String Similarity Search. -
Revisiting Active Perception. -
Codebook Design for Millimeter-Wave Channel Estimation with Hybrid Precoding Structure. -
Learning to Blend Computer Game Levels. -
Best-of-K Bandits. -
XGBoost: A Scalable Tree Boosting System. -
megaman: Manifold Learning with Millions of points. -
Distributed Control for Charging Multiple Electric Vehicles with Overload Limitation. -
Leveraging Crowd for Game-based Learning: A Case Study of Privacy Education Game Design and Evaluation by Crowdsourcing. -
The Landscape of Domain Name Typosquatting: Techniques and Countermeasures. -
Unscented External Force Estimation for Quadrotors and Experiments. -
Implicit Discourse Relation Classification via Multi-Task Neural Networks. -
A Novel Design of Linear Phase Non-uniform Digital Filter Banks. -
Bipartite Correlation Clustering - Maximizing Agreements. -
Using a Cloud Based Collaboration Technology in a Systems Analysis and Design Course. -
Image Captioning and Visual Question Answering Based on Attributes and Their Related External Knowledge. -
Still Wrong Use of Pairings in Cryptography. -
Faster learning of deep stacked autoencoders on multi-core systems using synchronized layer-wise pre-training. -
Starting Small - Learning with Adaptive Sample Sizes. -
Fast Training of Triplet-based Deep Binary Embedding Networks. -
Unsupervised word segmentation and lexicon discovery using acoustic word embeddings. -
Time-Space Trade-off for Finding the k-Visibility Region of a Point in a Polygon. -
LDA Lattices Without Dithering Achieve Capacity on the Gaussian Channel. -
A Low Cost Eeg Based Bci Prosthetic Using Motor Imagery. -
Performance Analysis of Multi-Hop Underwater Wireless Optical Communication Systems (Extended Version). -
Role of CT in the Survival of Small and Medium Scale Enterprises in Ghana Evidence from selected Small and Medium Scale Enterprises in New Juaben Municipality Koforidua. -
Lexical bundles in computational linguistics academic literature. -
Reasoning about Recursive Probabilistic Programs. -
The Effects of Mobility on the Hit Performance of Cached D2D Networks. -
Weight Computation of Regular Tree Languages. -
A Performance Evaluation of Container Technologies on Internet of Things Devices. -
A Framework for Extracting and Modeling HIPAA Privacy Rules for Healthcare Applications. -
Solutions of Word Equations over Partially Commutative Structures. -
Discrete Preference Games in Heterogeneous Social Networks: Subverted Majorities and the Swing Player. -
Joint Baseband Signal Quantization and Transform Coding for High Dynamic Range Video. -
Ant-Inspired Density Estimation via Random Walks. -
Robot Dream. -
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. -
Plagiarism Detection - State-of-the-art systems (2016) and evaluation methods. -
Reducing the generalised Sudoku problem to the Hamiltonian cycle problem. -
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. -
Online Matching: Haste makes Waste! -
A ternary square-free sequence avoiding factors equivalent to abcacba. -
Mechanisms for House Allocation with Existing Tenants under Dichotomous Preferences. -
-
EMMA: A New Platform to Evaluate Hardware-based Mobile Malware Analyses. -
Deciphering the 2016 U.S. Presidential Campaign in the Twitter Sphere: A Comparison of the Trumpists and Clintonists. -
Notes on Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs. -
Catching Fire via "Likes": Inferring Topic Preferences of Trump Followers on Twitter. -
Recursive Recurrent Nets with Attention Modeling for OCR in the Wild. -
Robust Design of Spectrum-Sharing Networks. -
Change management: Implementation and benefits of the change control in the information technology enviroment. -
Building a Fine-Grained Entity Typing System Overnight for a New X (X = Language, Domain, Genre). -
Low-rank passthrough neural networks. -
On Board Data Handling (OBDH) based on PC104. -
Daala: A Perceptually-Driven Next Generation Video Codec. -
Theoretical Comparisons of Learning from Positive-Negative, Positive-Unlabeled, and Negative-Unlabeled Data. -
Energy-Efficient Packet Scheduling with Finite Blocklength Codes: Convexity Analysis and Efficient Algorithms. -
Part-of-Speech Tagging for Historical English. -
Real time error detection in metal arc welding process using Artificial Neural Netwroks. -
Informed Truthfulness in Multi-Task Peer Prediction. -
Noisy Index Coding with PSK and QAM. -
Scenario Submodular Cover. -
Automated Clustering and Program Repair for Introductory Programming Assignments. -
Data fluidity in DARIAH - pushing the agenda forward. -
Near-Optimal Sample Complexity Bounds for Circulant Binary Embedding. -
Inferring Fine-grained Details on User Activities and Home Location from Social Media: Detecting Drinking-While-Tweeting Patterns in Communities. -
Exploring Context with Deep Structured models for Semantic Segmentation. -
Personalized Speech recognition on mobile devices. -
A Novel Algorithm for String Matching with Mismatches. -
Microphone array post-filter for separation of simultaneous non-stationary sources. -
-
Instance-Aware Hashing for Multi-Label Image Retrieval. -
UTSig: A Persian Offline Signature Dataset. -
Pymanopt: A Python Toolbox for Manifold Optimization using Automatic Differentiation. -
On Energy Cooperation in Energy Harvesting Underlay Cognitive Radio Network. -
A Markovian-based Approach for Daily Living Activities Recognition. -
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. -
Hierarchical Linearly-Solvable Markov Decision Problems. -
An Innovative Imputation and Classification Approach for Accurate Disease Prediction. -
Comparing Properties of Massively Multiplayer Online Worlds and the Internet of Things. -
The Status Gradient of Trends in Social Media. -
Template Matching on the Roto-Translation Group. -
Analysis and Design of Phase Desynchronization in Pulse-coupled Oscillators. -
Most Compact Parsimonious Trees. -
Filter Banks on Discrete Abelian Groups. -
Scalable Linear Causal Inference for Irregularly Sampled Time Series with Long Range Dependencies. -
Personalized Persuasion for Social Interactions in Nursing Homes. -
Cognitive Green Radio for Energy-Aware Communications. -
Channel Decorrelation For Stereo Acoustic Echo Cancellation In High-Quality Audio Communication. -
Summary Transfer: Exemplar-based Subset Selection for Video Summarization. -
Mapping an Audience Centric World Wide Web: A Departure From Hyperlink Analysis. -
Output Regulation for Systems on Matrix Lie-group. -
Temporally coherent 4D reconstruction of complex dynamic scenes. -
On the Effects of Battery Imperfections in an Energy Harvesting Device. -
Memory DoS Attacks in Multi-tenant Clouds: Severity and Mitigation. -
Security, Privacy, and Access Control in Information-Centric Networking: A Survey. -
Texture Networks: Feed-forward Synthesis of Textures and Stylized Images. -
Optimized Sensor Collaboration for Estimation of Temporally Correlated Parameters. -
Generalizing The Morley Trisector and Various Theorems with Realizability Computations. -
Recovery of signals under the high order RIP condition via prior support information. -
Recovery of signals under the condition on RIC and ROC via prior support information. -
Information Flow in Logical Environments. -
Predicting Chroma from Luma with Frequency Domain Intra Prediction. -
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. -
A Unifying Formalism for Shortest Path Problems with Expensive Edge Evaluations via Lazy Best-First Search over Paths with Edge Selectors. -
Bayesian Opponent Exploitation in Imperfect-Information Games. -
Continuous Molecular Communication in one dimensional situation. -
AccConF: An Access Control Framework for Leveraging In-Network Cached Data in ICNs. -
Checkpointing to minimize completion time for Inter-dependent Parallel Processes on Volunteer Grids. -
Sorting with Asymmetric Read and Write Costs. -
A Set Theoretic Approach for Knowledge Representation: the Representation Part. -
Dimension Coupling: Optimal Active Learning of Halfspaces via Query Synthesis. -
High-dimensional Black-box Optimization via Divide and Approximate Conquer. -
Cycle and flow trusses in directed networks. -
On Euclidean and Hermitian Self-Dual Cyclic Codes over F_2r. -
A Vertical Channel Model of Molecular Communication based on Alcohol Molecules. -
Regularization to orthogonal-polynomials fitting with application to magnetization data. -
Stateless Code Model Checking of Information Flow Security. -
A New Approach to Stateless Model Checking of LTL Properties. -
DSCMC: Distributed Stateless Code Model Checker. -
Watch-n-Patch: Unsupervised Learning of Actions and Relations. -
Community Detection: a Refined Axiomization and Beyond. -
The three primary colors of mobile systems. -
KLMAT: A Kernel Least Mean Absolute Third Algorithm. -
Matrix factoring by fraction-free reduction. -
Fast Optical Flow using Dense Inverse Search. -
Alloy meets TLA+: An exploratory study. -
Artificial-Noise Aided Secure Transmission in Large Scale Spectrum Sharing Networks. -
Bragg-Williams approximation for the dynamics of prey-predator biological associations. -
A short proof that O2 is an MCFL. -
Consensus algorithms and plug-and-play control for current sharing in DC microgrids. -
Learning from Imbalanced Multiclass Sequential Data Streams Using Dynamically Weighted Conditional Random Fields. -
Powering the Internet of Things with RIOT: Why? How? What is RIOT? -
Mobile-service based Max-Min Fairness Resource Scheduling for Heterogeneous Vehicular Networks. -
A Penalty Function Promoting Individual Sparsity in Groups. -
Revealing Utilization at Internet Interconnection Points. -
Efficient forward propagation of time-sequences in convolutional neural networks using Deep Shifting. -
Learning Gaze Transitions from Depth to Improve Video Saliency Estimation. -
Ultra Dense Small Cell Networks: Turning Density into Energy Efficiency. -
Energy Harvesting Communication System with SOC-Dependent Energy Storage Losses. -
Subsampling for Graph Power Spectrum Estimation. -
Searching for Topological Symmetry in Data Haystack. -
Why 2 times 2 ain't necessarily 4 - at least not in IT security risk assessment. -
Cost-sensitive Learning for Bidding in Online Advertising Auctions. -
Distribution Free Learning with Local Queries. -
A Multi-Channel Spectrum Sensing Fusion Mechanism for Cognitive Radio Networks: Design and Application to IEEE 802.22 WRANs. -
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. -
Penta and Hexa Valued Representation of Neutrosophic Information. -
Smart Context-aware Rejuvenation of Engagement on Urban Ambient Augmented Things. -
Internal Model Based Active Disturbance Rejection Control. -
An investigation of coreference phenomena in the biomedical domain. -
A Recursive Born Approach to Nonlinear Inverse Scattering. -
Region Graph Based Method for Multi-Object Detection and Tracking using Depth Cameras. -
Towards using social media to identify individuals at risk for preventable chronic illness. -
Training with Exploration Improves a Greedy Stack-LSTM Parser. -
Demonstrating the Feasibility of Automatic Game Balancing. -
Mechanism Design for Subadditive Agents via an Ex-Ante Relaxation. -
Gold Standard for Expert Ranking: A Survey on the XWiki Dataset. -
Solving MaxSAT by Successive Calls to a SAT Solver. -
Degree Four Plane Spanners: Simpler and Better. -
Faster and Cheaper: Parallelizing Large-Scale Matrix Factorization on GPUs. -
Mapping EU fishing activities using ship tracking data. -
Sequential Short-Text Classification with Recurrent and Convolutional Neural Networks. -
Learning Manipulation Trajectories Using Recurrent Neural Networks. -
Comparative Advantage Driven Resource Allocation for Virtual Network Functions. -
Near-Isometric Binary Hashing for Large-scale Datasets. -
Intrusion Detection A Text Mining Based Approach. -
Queue Theory based Response Time Analyses for Geo-Information Processing Chain. -
Real-time 3D scene description using Spheres, Cones and Cylinders. -
Neural Discourse Relation Recognition with Semantic Memory. -
Towards Building an RGBD-M Scanner. -
Variational Neural Discourse Relation Recognizer. -
Grounding Recursive Aggregates: Preliminary Report. -
The coherent matching distance in 2D persistent homology. -
Performance Evaluation of Unified Parallel C for Molecular Dynamics. -
On the Capacity and Performance of Generalized Spatial Modulation. -
Optical Flow with Semantic Segmentation and Localized Layers. -
Robust Scene Text Recognition with Automatic Rectification. -
Robust Supervisors for Intersection Collision Avoidance in the Presence of Uncontrolled Vehicles. -
Molecular MIMO: From Theory to Prototype. -
Image Captioning with Semantic Attention. -
Risk Assessment of Multi-timescale Cascading Outages based on Markovian Tree Search. -
Multimedia Channel Allocation in Cognitive Radio Networks using FDM-FDMA and OFDM-FDMA. -
On the Petras algorithm for verified integration of piecewise analytic functions. -
Spoofing Detection Goes Noisy: An Analysis of Synthetic Speech Detection in the Presence of Additive Noise. -
Asymptotically Optimal Distributed Channel Allocation: a Competitive Game-Theoretic Approach. -
Template Adaptation for Face Verification and Identification. -
Temporally Robust Global Motion Compensation by Keypoint-based Congealing. -
Performance Analysis and Optimization of a Hybrid Distributed Reverse Time Migration Application. -
Privacy-preserving Analysis of Correlated Data. -
An efficient Exact-PGA algorithm for constant curvature manifolds. -
Binomial Difference Ideals. -
Learning Typographic Style. -
Fast Learning from Distributed Datasets without Entity Matching. -
Using Twitter to Understand Public Interest in Climate Change: The case of Qatar. -
The Death and Life of Great Italian Cities: A Mobile Phone Data Perspective. -
Learning zeroth class dictionary for human action recognition. -
Statistical Distribution of Intensity Fluctuations for Underwater Wireless Optical Channels in the Presence of Air Bubbles. -
A comprehensive study of sparse codes on abnormality detection. -
On Physical Web Browser. -
Pose for Action - Action for Pose. -
Deep Interactive Object Selection. -
Image and Depth from a Single Defocused Image Using Coded Aperture Photography. -
Construction of cyclic DNA codes over the Ring $\Z_4[u]/\langle u^2-1 \rangle $ Based on the deletion distance. -
Modelling Developable Ribbons Using Ruling Bending Coordinates. -
Space Bounds for Adaptive Renaming. -
A Signaling Game Approach to Databases Querying and Interaction. -
Indoor 5G 3GPP-like Channel Models for Office and Shopping Mall Environments. -
A Stochastic Approach to STDP. -
Server-side verification of client behavior in cryptographic protocols. -
Design and Implementation of an Improved Carry Increment Adder. -
Combinatorial rigidity of Incidence systems and Application to Dictionary learning. -
Geometry of Interest (GOI): Spatio-Temporal Destination Extraction and Partitioning in GPS Trajectory Data. -
Iterative Methods for Efficient Sampling-Based Optimal Motion Planning of Nonlinear Systems. -
Learning Binary Codes and Binary Weights for Efficient Classification. -
Multi-modal Tracking for Object based SLAM. -
Exploratory Gradient Boosting for Reinforcement Learning in Complex Domains. -
Event-triggered leader-following tracking control for multivariable multi-agent systems. -
A Novel Method for Extrinsic Calibration of a 2-D Laser-Rangefinder and a Camera. -
RISAS: A Novel Rotation, Illumination, Scale Invariant Appearance and Shape Feature. -
SSSC-AM: A Unified Framework for Video Co-Segmentation by Structured Sparse Subspace Clustering with Appearance and Motion Features. -
Turbo-Equalization Using Partial Gaussian Approximation. -
Saliency Detection for Improving Object Proposals. -
Regression-based Hypergraph Learning for Image Clustering and Classification. -
Top-K Ranking from Pairwise Comparisons: When Spectral Ranking is Optimal. -
A BP-MF-EP Based Iterative Receiver for Joint Phase Noise Estimation, Equalization and Decoding. -
Filtering with Fidelity for Time-Varying Gauss-Markov Processes. -
On Nyquist-Shannon Theorem with one-sided half of sampling sequence. -
Scale-Invariant Reconstruction of Separated Sources. -
ARX modeling of unstable Box-Jenkins models. -
Visual Concept Recognition and Localization via Iterative Introspection. -
Online Isotonic Regression. -
Causal Consistency: Beyond Memory. -
Graph Based Sinogram Denoising for Tomographic Reconstructions. -
The Runaway Rectangle Escape Problem. -
-
A practical multi-party computation algorithm for a secure distributed online voting system. -
Convergecast and Broadcast by Power-Aware Mobile Agents. -
Interactive Tools and Tasks for the Hebrew Bible. -
Item2Vec: Neural Item Embedding for Collaborative Filtering. -
Novel Speech Features for Improved Detection of Spoofing Attacks. -
Dynamic Scene Deblurring using a Locally Adaptive Linear Blur Model. -
Efficient Generation of Inductive Validity Cores for Safety Properties. -
Universal probability-free conformal prediction. -
Summation Theory II: Characterizations of RΠΣ*-extensions and algorithmic aspects. -
Mining Valence, Arousal, and Dominance - Possibilities for Detecting Burnout and Productivity? -
Secrecy Sum Rate Maximization in Non-Orthogonal Multiple Access. -
A linear algorithm for Brick Wang tiling. -
An Effectful Treatment of Dependent Types. -
Linear Programming Approaches for Power Savings in Software-defined Networks (The Extended Version). -
Diversity in Object Proposals. -
Order-Invariant Types and Their Applications. -
Gradient approximation and extremum seeking via needle variations. -
Learning Network of Multivariate Hawkes Processes: A Time Series Approach. -
Inferring Gender from Names on the Web: A Comparative Evaluation of Gender Detection Methods. -
Automatic Discrimination of Color Retinal Images using the Bag of Words Approach. -
Fast Scalable Construction of (Minimal Perfect Hash) Functions. -
The landscape of software failure cause models. -
Grasping for a Purpose: Using Task Goals for Efficient Manipulation Planning. -
Wireless Content Caching for Small Cell and D2D Networks. -
An optimal algorithm for bandit convex optimization. -
Simple and Accurate Dependency Parsing Using Bidirectional LSTM Feature Representations. -
Adaptive Mitigation of Multi-Virus Propagation: A Passivity-Based Approach. -
A Fast Parameterized Algorithm for Co-Path Set. -
Linear Sum Assignment with Edition. -
Driver graph: the hidden geometry in controlling complex networks. -
NetMemex: Providing Full-Fidelity Traffic Archival. -
Nonlinear Frequency-Division Multiplexing. -
Rapid building detection using machine learning. -
Internet Computing: Using Reputation to Select Workers from a Pool. -
Academic Torrents: Scalable Data Distribution. -
Symbolic Reachability Analysis of B through ProB and LTSmin. -
Controlling Search in Very large Commonsense Knowledge Bases: A Machine Learning Approach. -
Investigation of Prediction Accuracy, Sensitivity, and Parameter Stability of Large-Scale Propagation Path Loss Models for 5G Wireless Communications. -
U-CATCH: Using Color ATtribute of image patCHes in binary descriptors. -
Criteria of efficiency for conformal prediction. -
Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. -
Computing the Approximate Convex Hull in High Dimensions. -
The Road to Popularity: The Dilution of Growing Audience on Twitter. -
Distinguishing between Topical and Non-topical Information Diffusion Mechanisms in Social Media. -
On the Efficiency of the Information Networks in Social Media. -
The Quadratic Minimum Spanning Tree Problem and its Variations. -
Sequential Voting Promotes Collective Discovery in Social Recommendation Systems. -
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems. -
An approach towards debiasing user ratings. -
Fast calculation of inverse square root with the use of magic constant - analytical approach. -
Towards Bottom-Up Analysis of Social Food. -
Protection of Complex Networks against SIR Spreading Processes. -
Conformal Predictors for Compound Activity Prediction. -
Particle Gaussian Mixture (PGM) Filters. -
Multichannel Variable-Size Convolution for Sentence Classification. -
Learning Optimal Social Dependency for Recommendation. -
Pushing the Limits of Deep CNNs for Pedestrian Detection. -
Object Contour Detection with a Fully Convolutional Encoder-Decoder Network. -
Revealing the Hidden Patterns of News Photos: Analysis of Millions of News Photos Using GDELT and Deep Learning-based Vision APIs. -
Domain Adaptation via Maximum Independence of Domain Features. -
Fuzzy alternating Büchi automata over distributive lattices. -
Know Your Customer: Multi-armed Bandits with Capacity Constraints. -
Effective Computer Model For Recognizing Nationality From Frontal Image. -
Unsupervised Ranking Model for Entity Coreference Resolution. -
On Reliability Function Of BSC: Expanding The Region, Where It Is Known Exactly. -
Projective cofactor decompositions of Boolean functions and the satisfiability problem. -
Caching in Wireless Small Cell Networks: A Storage-Bandwidth Tradeoff. -
Introspectibles: Tangible Interaction to Foster Introspection. -
Extraction of cylinders and cones from minimal point sets. -
Semi-Supervised Verified Feedback Generation. -
Optimal Sensing via Multi-armed Bandit Relaxations in Mixed Observability Domains. -
Classification with Repulsion Tensors: A Case Study on Face Recognition. -
Threshold Saturation of Spatially Coupled Sparse Superposition Codes for All Memoryless Channels. -
Nested Invariance Pooling and RBM Hashing for Image Instance Retrieval. -
A branch and bound algorithm for a fractional 0-1 programming problem. -
Some Complete and Intermediate Polynomials in Algebraic Complexity Theory. -
Time-optimal Coordination of Mobile Robots along Specified Paths. -
Scalable Image Retrieval by Sparse Product Quantization. -
Recent techniques and results on the Erdős-Pósa property. -
Image Co-localization by Mimicking a Good Detector's Confidence Score Distribution. -
Effects of human factor on the success of Information technology outsourcing. -
TAPER: query-aware, partition-enhancement for large, heterogenous, graphs. -
Modified Micropipline Architecture for Synthesizable Asynchronous FIR Filter Design. -
Beyond representing orthology relations by trees. -
A compositional approach to economic game theory. -
Generalized threshold-based epidemics in random graphs: the power of extreme values. -
Energy Costs for Traffic Offloading by Cache-enabled D2D Communications. -
Cooperative Device-to-Device Communications With Caching. -
Stationary Graph Processes and Spectral Estimation. -
A 2.542-Approximation for Precedence Constrained Single Machine Scheduling with Release Dates and Total Weighted Completion Time Objective. -
Modeling Time Series Similarity with Siamese Recurrent Networks. -
The SPURS Algorithm for Resampling an Irregularly Sampled Signal onto a Cartesian Grid. -
Extending the Learning by Teaching Canvas System: Maximising Academic Learning Time. -
On the Whittle Index for Restless Multi-armed Hidden Markov Bandits. -
Fourier ptychographic reconstruction using Poisson maximum likelihood and truncated Wirtinger gradient. -
Topic Modeling Using Distributed Word Embeddings. -
Evaluating the word-expert approach for Named-Entity Disambiguation. -
A Neural Approach to Blind Motion Deblurring. -
Revisiting Batch Normalization For Practical Domain Adaptation. -
Abstractions of Varying Decentralization Degree for Coupled Multi-Agent Systems. -
The Subspace Voyager: Exploring High-Dimensional Data along a Continuum of Salient 3D Subspaces. -
Correspondences between partitions. -
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns. -
ND-Tree: a Fast Online Algorithm for Updating a Pareto Archive and its Application in Many-objective Pareto Local Search. -
User Selection and Minimum Probability of Error Multiuser Transmit Beamforming. -
Centralized Repair of Multiple Node Failures with Applications to Communication Efficient Secret Sharing. -
Ensemble of Deep Convolutional Neural Networks for Learning to Detect Retinal Vessels in Fundus Images. -
Mobile Beamforming & Spatially Controlled Relay Communications. -
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection. -
Analyzing HTTPS Encrypted Traffic to Identify User Operating System, Browser and Application. -
Efficient Globally Optimal Point Cloud Alignment using Bayesian Nonparametric Mixtures. -
Combining the Best of Convolutional Layers and Recurrent Layers: A Hybrid Network for Semantic Segmentation. -
Distributed Newest Vertex Bisection. -
The landscape of bounds for binary search trees. -
First Person Action-Object Detection with EgoNet. -
Obstacle avoidance via B-spline parameterizations of flat trajectories. -
Safe Learning of Regions of Attraction for Uncertain, Nonlinear Systems with Gaussian Processes. -
Splines and Wavelets on Circulant Graphs. -
Data Clustering and Graph Partitioning via Simulated Mixing. -
DeepContext: Context-Encoding Neural Pathways for 3D Holistic Scene Understanding. -
Deep Fully-Connected Networks for Video Compressive Sensing. -
Effects of Sensemaking Translucence on Distributed Collaborative Analysis. -
Grand challenges in altmetrics: heterogeneity, data quality and dependencies. -
Parallel Algorithms for Select and Partition with Noisy Comparisons. -
On the Complexity of One-class SVM for Multiple Instance Learning. -
Mitigation Procedures to Rank Experts through Information Retrieval Measures. -
Online Optimization in Dynamic Environments: Improved Regret Rates for Strongly Convex Problems. -
Guitar Solos as Networks. -
Regret-optimal Strategies for Playing Repeated Games with Discounted Losses. -
An Integrated Spectrum and Information Market for Green Cognitive Communications. -
Scaled stochastic gradient descent for low-rank matrix completion. -
TapDrag: An Alternative Dragging Technique on Medium-Sized MultiTouch Displays Reducing Skin Irritation and Arm Fatigue. -
Unsupervised CNN for Single View Depth Estimation: Geometry to the Rescue. -
Non-linear Dimensionality Regularizer for Solving Inverse Problems. -
Substitutability of Spectrum and Cloud-based Antennas in Virtualised Wireless Networks. -
Identity Mappings in Deep Residual Networks. -
Benchmarking Concurrent Priority Queues: Performance of k-LSM and Related Data Structures. -
"Conjectural" links in complex networks. -
Quasi-cyclic subcodes of cyclic codes. -
Pairwise Stability in Two Sided Market with Strictly Increasing Valuation Functions. -
Hardware Software Co-design for Automotive CPS using Architecture Analysis and Design Language. -
Reconciling Rationality and Stochasticity: Rich Behavioral Models in Two-Player Games. -
Descriptor transition tables for object retrieval using unconstrained cluttered video acquired using a consumer level handheld mobile device. -
A linear complementarity based characterization of the weighted independence number and the independent domination number in graphs. -
Are the discretised lognormal and hooked power law distributions plausible for citation data? -
Improved Bounds on the Epidemic Threshold of Exact SIS Models on Complex Networks. -
Cooperative Planning for Coupled Multi-Agent Systems under Timed Temporal Specifications. -
Asymptotically Optimal Sampling-Based Algorithms for Topological Motion Planning. -
Recurrent Dropout without Memory Loss. -
RankSynd a PRNG Based on Rank Metric. -
On Optimal Policies in Full-Duplex Wireless Powered Communication Networks. -
Suppressing the Unusual: towards Robust CNNs using Symmetric Activation Functions. -
Feature Selection as a Multiagent Coordination Problem. -
2D Discrete Fourier Transform with Simultaneous Edge Artifact Removal for Real-Time Applications. -
Comparing Convolutional Neural Networks to Traditional Models for Slot Filling. -
A (Basis for a) Philosophy of a Theory of Fuzzy Computation. -
Accelerating Data Regeneration for Distributed Storage Systems with Heterogeneous Link Capacities. -
On the effect of randomness on planted 3-coloring models. -
Applying Artifical Neural Networks To Predict Nominal Vehicle Performance. -
Distributed Inexact Damped Newton Method: Data Partitioning and Load-Balancing. -
Embedding by Normalisation. -
Multi-Vehicle Collision Avoidance via Hamilton-Jacobi Reachability and Mixed Integer Programming. -
Understanding and Improving Convolutional Neural Networks via Concatenated Rectified Linear Units. -
Safe Sequential Path Planning of Multi-Vehicle Systems Under Presence of Disturbances and Imperfect Information. -
Analysis of the Cuban journal Bibliotecas: Anales de Investigacion. -
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. -
Explicit Non-Malleable Extractors, Multi-Source Extractors and Almost Optimal Privacy Amplification Protocols. -
A Universal Coding Scheme for Remote Generation of Continuous Random Variables. -
Bitcoin Mining Decentralization via Cost Analysis. -
Mbps Experimental Acoustic Through-Tissue Communications: MEAT-COMMS. -
Fast Low-Complexity Decoders for Low-Rate Polar Codes. -
New Sufficient Conditions for Multiple-Access Channel with Correlated Sources. -
XNOR-Net: ImageNet Classification Using Binary Convolutional Neural Networks. -
Image Labeling by Assignment. -
Stability and Control of Ad Hoc DC Microgrids. -
Cooperative Robust Estimation with Local Performance Guarantees. -
Persistent Homology of Attractors For Action Recognition. -
Hardware Acceleration for Boolean Satisfiability Solver by Applying Belief Propagation Algorithm. -
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. -
Saliency Detection with Spaces of Background-based Distribution. -
Almost Optimal Streaming Quantiles Algorithms. -
A Hierarchical Approach to Stability Assessment of Large Scale Interconnected Networks. -
Self-organization of vocabularies under different interaction orders. -
OpenFunction: Data Plane Abstraction for Software-Defined Middleboxes. -
Modeling the self-organization of vocabularies under phonological similarity effects. -
GeoReach: An Efficient Approach for Evaluating Graph Reachability Queries with Spatial Range Predicates. -
Self-Interference Cancellation Using Time-Domain Phase Noise Estimation in OFDM Full-Duplex Systems. -
Cascading Bandits for Large-Scale Recommendation Problems. -
Adaptive Rejection of Periodic Disturbances Acting on Linear Systems with Unknown Dynamics. -
A Relation Between Network Computation and Functional Index Coding Problems. -
A Survey on High-Speed Railway Communications: A Radio Resource Management Perspective. -
Windows Instant Messaging App Forensics: Facebook and Skype as Case Studies. -
Operations on Weakly Recognizing Morphisms. -
Strong Secrecy in Pairwise Key Agreement over a Generalized Multiple Access Channel. -
Multidimensional Sparse Recovery for MIMO Channel Parameter Estimation. -
Variable-Length Hashing. -
Set Containment Join Revisited. -
A Short Note on Infinite Union/Intersection of Omega Regular Languages. -
Degree reduction of composite Bézier curves. -
Modified Group Delay Based MultiPitch Estimation in Co-Channel Speech. -
Counting in Practical Anonymous Dynamic Networks is Polynomial. -
SPREE: Spoofing Resistant GPS Receiver. -
Predictive Functional Connectivity of Real-World Systems. -
Neural Aggregation Network for Video Face Recognition. -
Speeding Up Computers. -
Collision Avoidance of Two Autonomous Quadcopters. -
Polymorphic Type Inference for Machine Code. -
Improved Approximation for Node-Disjoint Paths in Planar Graphs. -
Conferencing in Wyner's Asymmetric Interference Network: Effect of Number of Rounds. -
Accelerating Deep Neural Network Training with Inconsistent Stochastic Gradient Descent. -
Modularity Approach to Adaptive Inner/Outer Loop Control of Robotic Systems. -
Predicate Gradual Logic and Linguistics. -
Supervised Matrix Factorization for Cross-Modality Hashing. -
Extracting Wyner's Common Randomness Using Polar Codes. -
Norm-1 Regularized Consensus-based ADMM for Imaging with a Compressive Antenna. -
Analyzing In-Game Movements of Soccer Players at Scale. -
On the Multiplexing Gain of MIMO Phase Noise Channels. -
Mapping Temporal Variables into the NeuCube for Improved Pattern Recognition, Predictive Modelling and Understanding of Stream Data. -
A Soft Electronics-Free robot. -
"What happens if..." Learning to Predict the Effect of Forces in Images. -
ABCDepth: efficient algorithm for Tukey depth. -
Streaming Algorithms for News and Scientific Literature Recommendation: Submodular Maximization with a d-Knapsack Constraint. -
A software approach to defeating side channels in last-level caches. -
Steering Macro-Scale Network Community Structure by Micro-Scale Features. -
Two-variable Logic with a Between Predicate. -
Hypergraph Partitioning for Sparse Matrix-Matrix Multiplication. -
Multi-Hop Cluster based IEEE 802.11p and LTE Hybrid Architecture for VANET Safety Message Dissemination. -
Discriminative Embeddings of Latent Variable Models for Structured Data. -
Generative Image Modeling using Style and Structure Adversarial Networks. -
An Implementation and Analysis of a Kernel Network Stack in Go with the CSP Style. -
Bank distress in the news: Describing events through deep learning. -
Predicting health inspection results from online restaurant reviews. -
Semidefinite Relaxation and Approximation Analysis of a Beamformed Alamouti Scheme for Relay Beamforming Networks. -
Content Caching and Distribution in Smart Grid Enabled Wireless Networks. -
Information Flow for Security in Control Systems. -
Tight Bounds for Single-Pass Streaming Complexity of the Set Cover Problem. -
Construction of polar codes for arbitrary discrete memoryless channels. -
A Readability Analysis of Campaign Speeches from the 2016 US Presidential Campaign. -
Extending Demand Response to Tenants in Cloud Data Centers via Non-intrusive Workload Flexibility Pricing. -
Optimal Response to Burstable Billing under Demand Uncertainty. -
From line segments to more organized Gestalts. -
Learning to Navigate the Energy Landscape. -
Multiprocessor Scheduling of a Multi-mode Dataflow Graph Considering Mode Transition Delay. -
Unsupervised Cross-Media Hashing with Structure Preservation. -
Stuttering equivalence is too slow! -
A Comparison between Deep Neural Nets and Kernel Acoustic Models for Speech Recognition. -
Symbolic Tensor Calculus - Functional and Dynamic Approach. -
Optimal Throughput for Covert Communication Over a Classical-Quantum Channel. -
Comparing Time and Frequency Domain for Audio Event Recognition Using Deep Learning. -
Online Networks, Social Interaction and Segregation: An Evolutionary Approach. -
The Emergence of Cooperation in Public Goods Games on Randomly-Growing Dynamic Networks. -
Graphlet characteristics in directed networks. -
A Connection Between Locally Repairable Codes and Exact Regenerating Codes. -
N-ary Error Correcting Coding Scheme. -
Approximated Robust Principal Component Analysis for Improved General Scene Background Subtraction. -
On cyclic DNA codes over $\mathbb{F}_2+u\mathbb{F}_2+u^2\mathbb{F}_2$. -
Emotion Classification from Noisy Speech - A Deep Learning Approach. -
Empirical Evaluation of a Thread-Safe Dynamic Range Min-Max Tree using HTM. -
Geometric Hypergraph Learning for Visual Tracking. -
Distributed Iterative Learning Control for a Team of Quadrotors. -
Online Distributed Scheduling on a Fault-prone Parallel System. -
Uplink FBMC/OQAM-based Multiple Access Channel: Distortion Analysis under Strong Frequency Selectivity. -
Report on the Poblacion Flotante of Bogota (D.C.). -
Lower Bounds for Graph Exploration Using Local Policies. -
Parameterized vertex deletion problems for hereditary graph classes with a block property. -
Model Comparison of a Data-Driven and a Physical Model for Simulating HVAC Systems. -
Transferring Learned Microcalcification Group Detection from 2D Mammography to 3D Digital Breast Tomosynthesis Using a Hierarchical Model and Scope-based Normalization Features. -
Efficient Multi-Scale 3D CNN with Fully Connected CRF for Accurate Brain Lesion Segmentation. -
Document Neural Autoregressive Distribution Estimation. -
You Really Need A Good Ruler to Measure Caching Performance in Information-Centric Networks. -
A Message Passing Algorithm for the Problem of Path Packing in Graphs. -
Readability-based Sentence Ranking for Evaluating Text Simplification. -
Enabling Correct Interest Forwarding and Retransmissions in a Content Centric Network. -
A Comprehensive Performance Evaluation of Deformable Face Tracking "In-the-Wild". -
Automatic Theorem Proving in Walnut. -
Philosophical Solution to P=?NP: P is Equal to NP. -
A Fast Unified Model for Parsing and Sentence Understanding. -
A Survey of Stealth Malware: Attacks, Mitigation Measures, and Steps Toward Autonomous Open World Solutions. -
L0-norm Sparse Graph-regularized SVD for Biclustering. -
A Fractal-based CNN for Detecting Complicated Curves in AFM Images. -
Tensor Methods and Recommender Systems. -
Learning Image Matching by Simply Watching Video. -
Globally Normalized Transition-Based Neural Networks. -
A Light-Weight Forwarding Plane for Content-Centric Networks. -
Fast DPP Sampling for Nyström with Application to Kernel Methods. -
Negation in SPARQL. -
Generating Natural Questions About an Image. -
DASA: Domain Adaptation in Stacked Autoencoders using Systematic Dropout. -
A pairwise approach to simultaneous onset/offset detection for singing voice using correntropy. -
Adaptive Joint Learning of Compositional and Non-Compositional Phrase Embeddings. -
Measuring the Accuracy of Linked Data Indices. -
Tree-to-Sequence Attentional Neural Machine Translation. -
Improving Hypernymy Detection with an Integrated Path-based and Distributional Method. -
Geometric Hitting Set for Segments of Few Orientations. -
Deep Shading: Convolutional Neural Networks for Screen-Space Shading. -
Towards Coordinated Bandwidth Adaptations for Hundred-Scale 3D Tele-Immersive Systems. -
Large scale near-duplicate image retrieval using Triples of Adjacent Ranked Features (TARF) with embedded geometric information. -
Seed, Expand and Constrain: Three Principles for Weakly-Supervised Image Segmentation. -
Better bounds for coalescing-branching random walks. -
Inter-Paradigm Translation of Process Models using Simulation and Mining. -
How Transferable are Neural Networks in NLP Applications? -
Improved Protocols and Hardness Results for the Two-Player Cryptogenography Problem. -
A Big-Data Approach to Handle Process Variations: Uncertainty Quantification by Tensor Recovery. -
Buried object detection using handheld WEMI with task-driven extended functions of multiple instances. -
Optimal Lagrange Multipliers for Dependent Rate Allocation in Video Coding. -
The Computational Power of Dynamic Bayesian Networks. -
Sentence Pair Scoring: Towards Unified Framework for Text Comprehension. -
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks. -
An Observation About Passphrases: Syntax vs Entropy. -
Adaptive coherence estimator (ACE) for explosive hazard detection using wideband electromagnetic induction (WEMI). -
Evolving Shepherding Behavior with Genetic Programming Algorithms. -
Neurally-Guided Procedural Models: Learning to Guide Procedural Models with Deep Neural Networks. -
A Character-level Decoder without Explicit Segmentation for Neural Machine Translation. -
A Persona-Based Neural Conversation Model. -
Robust Mechanisms under Common Valuation. -
Towards Automatic Wild Animal Monitoring: Identification of Animal Species in Camera-trap Images using Very Deep Convolutional Neural Networks. -
Joint Stochastic Approximation learning of Helmholtz Machines. -
The Two-Modular Fourier Transform of Binary Functions. -
Segmentation from Natural Language Expressions. -
Modelling Temporal Information Using Discrete Fourier Transform for Video Classification. -
Optimizing Data Freshness, Throughput, and Delay in Multi-Server Information-Update Systems. -
Assessing the Navigational Effects of Click Biases and Link Insertion on the Web. -
A Survey on Object Detection in Optical Remote Sensing Images. -
RotationNet: Learning Object Classification Using Unsupervised Viewpoint Estimation. -
Evaluation of a Tree-based Pipeline Optimization Tool for Automating Data Science. -
Skew-t inference with improved covariance matrix approximation. -
An Approximation Approach for Solving the Subpath Planning Problem. -
Flow of Information in Feed-Forward Deep Neural Networks. -
Beyond Binary Computers: How To Implement Multi-Switch Computer Hardware and Software and; The Advantage of a Multi-Switched Computer. -
On the complexity of the identifiable subgraph problem, revisited. -
Cache Bypassing and Checkpointing to Circumvent Data Security Attacks on STTRAM. -
On the star-height of factor counting languages and their relationship to Rees zero-matrix semigroups. -
Homemade assembly and parameterization of a High Performance Cluster using PelicanHPC with Flops testing and controlled temperature thanks to MCUs Arduino project. -
Preprint: Bigdata Oriented Multimedia Mobile Health Applications. -
Grouping Time-varying Data for Interactive Exploration. -
Data-Driven Robust Taxi Dispatch under Demand Uncertainties. -
Robust Collaborative Online Learning. -
Multidimensional Predicates for Prolog. -
Multi-Task Cross-Lingual Sequence Tagging from Scratch. -
A Generalized LDPC Framework for Robust and Sublinear Compressive Sensing. -
Towards Seamless Tracking-Free Web: Improved Detection of Trackers via One-class Learning. -
Notes on "An Effective ECC based User Access Control Scheme with Attribute based Encryption for WSN". -
Convex block-sparse linear regression with expanders - provably. -
DoraPicker: An Autonomous Picking System for General Objects. -
Harnessing Deep Neural Networks with Logic Rules. -
Adaptive Path Planning for Depth Constrained Bathymetric Mapping with an Autonomous Surface Vessel. -
Deep Self-Convolutional Activations Descriptor for Dense Cross-Modal Correspondence. -
Strong Converse Exponent for State Dependent Channels with Full State Information at the Sender and Partial State Information at the Receiver. -
Thread Progress Equalization: Dynamically Adaptive Power and Performance Optimization of Multi-threaded Applications. -
Learning Dexterous Manipulation for a Soft Robotic Hand from Human Demonstration. -
A Diplexer-Based Receiver for Simultaneous Wireless Information and Power Transfer. -
Online Learning with Low Rank Experts. -
A Discontinuous Neural Network for Non-Negative Sparse Approximation. -
Unified Depth Prediction and Intrinsic Image Decomposition from a Single Image via Joint Convolutional Neural Fields. -
Learning Dynamic Robot-to-Human Object Handover from Human Feedback. -
Incorporating Copying Mechanism in Sequence-to-Sequence Learning. -
Appearance Harmonization for Single Image Shadow Removal. -
Joint System and Algorithm Design for Computationally Efficient Fan Beam Coded Aperture X-ray Coherent Scatter Imaging. -
Parity Game Reductions. -
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. -
Deep Learning in Bioinformatics. -
Beyond Sharing Weights for Deep Domain Adaptation. -
Illumination-invariant image mosaic calculation based on logarithmic search. -
A Scalable and Distributed Solution to the Inertial Motion Capture Problem. -
Characterization of neighborhood behaviours in a multi-neighborhood local search algorithm. -
Remote Antenna Unit Selection Assisted Seamless Handover for High-Speed Railway Communications with Distributed Antennas. -
Controlling Explanatory Heatmap Resolution and Semantics via Decomposition Depth. -
On noise-induced synchronization and consensus of nonlinear network systems under input disturbances. -
Modeling and Optimal Operation of Distributed Battery Storage in Low Voltage Grids. -
Frankenstein: Learning Deep Face Representations using Small Data. -
Generalized rank weights of reducible codes, optimal cases and related properties. -
Hard-Clustering with Gaussian Mixture Models. -
Qualitative stability of nonlinear networked systems. -
A System for Probabilistic Linking of Thesauri and Classification Systems. -
Enriching Ontologies with Encyclopedic Background Knowledge for Document Indexing. -
Instance Influence Estimation for Hyperspectral Target Signature Characterization using Extended Functions of Multiple Instances. -
Static and Dynamic Feature Selection in Morphosyntactic Analyzers. -
Energy-Aware Cooperative Wireless Networks with Multiple Cognitive Users. -
Deep video gesture recognition using illumination invariants. -
Forensic Acquisition of Cloud Drives. -
Consistently faster and smaller compressed bitmaps with Roaring. -
Action-Affect Classification and Morphing using Multi-Task Representation Learning. -
Efficient Hyperparameter Optimization and Infinitely Many Armed Bandits. -
Modelling Temporal Information Using Discrete Fourier Transform for Recognizing Emotions in User-generated Videos. -
Bayesian Neural Word Embedding. -
Evaluating the Security of a DNS Query Obfuscation Scheme for Private Web Surfing. -
Stack-propagation: Improved Representation Learning for Syntax. -
Channel Reconstruction for SVD-ZF Precoding in Massive 3D-MIMO Systems Low-Complexity Algorithm. -
Variational Autoencoders for Feature Detection of Magnetic Resonance Imaging Data. -
Safety Verification of Output Feedback Controllers for Nonlinear Systems. -
A proof of security for a key-policy RS-ABE scheme. -
Information Theoretic-Learning Auto-Encoder. -
Input Aggregated Network for Face Video Representation. -
Information Processing by Nonlinear Phase Dynamics in Locally Connected Arrays. -
Learning Representations for Automatic Colorization. -
Implementation of a FPGA-Based Feature Detection and Networking System for Real-time Traffic Monitoring. -
Real-time Adaptive Prediction Method for Smooth Haptic Rendering. -
Side Channel Attacks on STTRAM and Low-Overhead Countermeasures. -
Learning Executable Semantic Parsers for Natural Language Understanding. -
Stitching Stabilizer: Two-frame-stitching Video Stabilization for Embedded Systems. -
Recursive Neural Conditional Random Fields for Aspect-based Sentiment Analysis. -
Image Super-Resolution Based on Sparsity Prior via Smoothed l0 Norm. -
A Self-Paced Regularization Framework for Multi-Label Learning. -
Risk-Averse ω-regular Markov Decision Process Control. -
Selective AP-sequence Based Indoor Localization without Site Survey. -
On the Statistical Analysis of Practical SPARQL Queries. -
Efficient Approximation of Well-Designed SPARQL Queries. -
An Original Correction Method for Indoor Ultra Wide Band Ranging-based Localisation System. -
Latent Predictor Networks for Code Generation. -
An Optimal Polarization Tracking Algorithm for Lithium-Niobate-based Polarization Controllers. -
Pilot Power Allocation Through User Grouping in Multi-Cell Massive MIMO Systems. -
Smart Grid Testbed for Demand Focused Energy Management in End User Environments. -
Fast Algorithms for the Computation of the Minimum Distance of a Random Linear Code. -
Convolution in Convolution for Network in Network. -
On Hamiltonian alternating cycles and paths. -
Fully Convolutional Attention Localization Networks: Efficient Attention Localization for Fine-Grained Recognition. -
Energy-Efficient ConvNets Through Approximate Computing. -
Early Warning of Human Crowds Based on Query Data from Baidu Map: Analysis Based on Shanghai Stampede. -
Doubly Random Parallel Stochastic Methods for Large Scale Learning. -
Multi-domain machine translation enhancements by parallel data extraction from comparable corpora. -
Adaptive Parameter Selection in Evolutionary Algorithms by Reinforcement Learning with Dynamic Discretization of Parameter Range. -
On The Capacity Of Noisy Computations. -
Generating Factoid Questions With Recurrent Neural Networks: The 30M Factoid Question-Answer Corpus. -
A Bandwidth-saving Optimization for MPI Broadcast Collective Operation. -
Con-Patch: When a Patch Meets its Context. -
A Report on Shape Deformation with a Stretching and Bending Energy. -
Robust principal graphs for data approximation. -
Multi-velocity neural networks for gesture recognition in videos. -
-
A Decision Procedure for Separation Logic in SMT. -
Report on Dirty Paper Coding Estimation with multidimensional lattices. -
Array Folds Logic. -
Enhanced perceptrons using contrastive biclusters. -
The Value of Privacy: Strategic Data Subjects, Incentive Mechanisms and Fundamental Limits. -
Building Model Identification during Regular Operation - Empirical Results and Challenges. -
On the Secrecy Capacity of the Broadcast Wiretap Channel with Limited CSI Feedback. -
Signed Link Analysis in Social Media Networks. -
Feeling the Bern: Adaptive Estimators for Bernoulli Probabilities of Pairwise Comparisons. -
Reconstruction of Frequency Hopping Signals From Multi-Coset Samples. -
Secure State Estimation for Nonlinear Power Systems under Cyber Attacks. -
micompr: An R Package for Multivariate Independent Comparison of Observations. -
Degrees of Freedom of the Two-User MIMO Broadcast Channel with Private and Common Messages Under Hybrid CSIT Models. -
A note on the convergence of nonconvex line search. -
SimOutUtils - Utilities for analyzing simulation output. -
Continuous-Flow Graph Transportation Distances. -
Performance-Oriented Association in Large Cellular Networks with Technology Diversity. -
Optimal Sparse Recovery for Multi-Sensor Measurements. -
Stacked Hourglass Networks for Human Pose Estimation. -
On the necessity of symmetric positional coupling for string stability. -
On the complexity of minimum-link path problems. -
Knowledge Transfer for Scene-specific Motion Prediction. -
Multi-Scale Convolutional Neural Networks for Time Series Classification. -
Short Literature Review for a General Player Model Based on Behavlets. -
The Dimension and Minimum Distance of Two Classes of Primitive BCH Codes. -
A mixed precision semi-Lagrangian algorithm and its performance on accelerators. -
Narrow-Sense BCH Codes over $\gf(q)$ with Length $n=\frac{q^m-1}{q-1}$. -
Practical Encoder and Decoder for Power Constrained QC-LDPC lattices. -
Graphs Drawing through Fuzzy Clustering. -
Word Sense Disambiguation with Neural Language Models. -
Profiling vs. Time vs. Content: What does Matter for Top-k Publication Recommendation based on Twitter Profiles? - An Extended Technical Report. -
On the Separability of Stochastic Geometric Objects, with Applications. -
Active Detection and Localization of Textureless Objects in Cluttered Environments. -
Averaging Gone Wrong: Using Time-Aware Analyses to Better Understand Behavior. -
MOON: A Mixed Objective Optimization Network for the Recognition of Facial Attributes. -
Comparing Human and Automated Evaluation of Open-Ended Student Responses to Questions of Evolution. -
Descriptive complexity of graph spectra. -
Mean-Field Games for Distributed Caching in Ultra-Dense Small Cell Networks. -
Recurrent Neural Network Encoder with Attention for Community Question Answering. -
Holographic Algorithm with Matchgates Is Universal for Planar $\#$CSP Over Boolean Domain. -
Cosolver2B: An Efficient Local Search Heuristic for the Travelling Thief Problem. -
Cluster Content Caching: An Energy-Efficient Approach to Improve Quality of Service in Cloud Radio Access Networks. -
A Richly Annotated Dataset for Pedestrian Attribute Recognition. -
LLR-based Successive-Cancellation List Decoder for Polar Codes with Multi-bit Decision. -
Do We Really Need to Collect Millions of Faces for Effective Face Recognition? -
Semantic Object Parsing with Graph LSTM. -
Big Data Spark Solution for Functional Magnetic Resonance Imaging. -
A 3-D Spatial Model for In-building Wireless Networks with Correlated Shadowing. -
Viewpoint Invariant 3D Human Pose Estimation with Recurrent Error Feedback. -
Computing Nonsimple Polygons of Minimum Perimeter. -
CSI-based Fingerprinting for Indoor Localization: A Deep Learning Approach. -
Are easily usable security libraries possible and how should experts work together to create them? -
Deep Multimodal Feature Analysis for Action Recognition in RGB+D Videos. -
Robust cDNA microarray image segmentation and analysis technique based on Hough circle transform. -
Simplicial Complex Entropy. -
BreakingNews: Article Annotation by Image and Text Processing. -
The Anatomy of a Search and Mining System for Digital Archives. -
Popular matchings with two-sided preferences and one-sided ties. -
Deductive Refinement of Species Labelling in Weakly Labelled Birdsong Recordings. -
Iterative Scaling Algorithm for Channels. -
Enabling Cognitive Intelligence Queries in Relational Databases using Low-dimensional Word Embeddings. -
Weakly-Supervised Semantic Segmentation using Motion Cues. -
Computing Equilibria in Markets with Budget-Additive Utilities. -
Pre-Expansivity in Cellular Automata. -
The trace monoids in the queue monoid and in the direct product of two free monoids. -
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. -
On Secure Computation Over the Binary Modulo-2 Adder Multiple-Access Wiretap Channel. -
Sequential Mechanisms with ex-post Participation Guarantees. -
Lightweight Unsupervised Domain Adaptation by Convolutional Filter Reconstruction. -
Global-Local Face Upsampling Network. -
Individual identity in songbirds: signal representations and metric learning for locating the information in complex corvid calls. -
Heredity for generalized power domination. -
A Tutorial on Deep Neural Networks for Intelligent Systems. -
Neural Summarization by Extracting Sentences and Words. -
Evaluating semantic models with word-sentence relatedness. -
Gaussian Process Morphable Models. -
Antichains for Inclusion Games. -
On the characterization of models of H*: The semantical aspect. -
Congruence Testing of Point Sets in 4 Dimensions. -
Learning the LMP-Load Coupling From Data: A Support Vector Machine Based Approach. -
Applications of incidence bounds in point covering problems. -
Debugging Machine Learning Tasks. -
On the Theory and Practice of Privacy-Preserving Bayesian Data Analysis. -
Mobile Icosapods. -
CONDITOR1: Topic Maps and DITA labelling tool for textual documents with historical information. -
Optimal Injectivity Conditions for Bilinear Inverse Problems with Applications to Identifiability of Deconvolution Problems. -
Putting Peer Prediction Under the Micro(economic)scope and Making Truth-telling Focal. -
On Delay-Optimal Scheduling in Queueing Systems with Replications. -
Learning Mixtures of Plackett-Luce models. -
Constellation Shaping for WDM systems using 256QAM/1024QAM with Probabilistic Optimization. -
Peeling and Nibbling the Cactus: Subexponential-Time Algorithms for Counting Triangulations and Related Problems. -
Acceleration of Deep Neural Network Training with Resistive Cross-Point Devices. -
Non-determinism in Byzantine Fault-Tolerant Replication. -
Clinical Informatics: Recursive Concurrence Intravenous Medication Administration Systems Protocols for Addressing the Potential Problem of Recessive Lethal Autonomy in Smart Infusion Systems. -
DocLite: A Docker-Based Lightweight Cloud Benchmarking Tool. -
Digital IP Protection Using Threshold Voltage Control. -
Efficient Enumeration of Unidirectional Cuts for Technology Mapping of Boolean Networks. -
An effective Time-Aware Map Matching process for low sampling GPS data. -
Face Recognition Using Deep Multi-Pose Representations. -
A Comment on the Averseness of Random Serial Dictatorship to Stochastic Dominance Efficiency. -
A Diagram Is Worth A Dozen Images. -
A note on "achieving security, robust cheating resistance, and high-efficiency for outsourcing large matrix multiplication computation to a malicious cloud". -
A Reconfigurable Low Power High Throughput Streaming Architecture for Big Data Processing. -
Recognizing Weakly Simple Polygons. -
LSH Ensemble: Internet Scale Domain Search. -
Attentive Contexts for Object Detection. -
Load Disaggregation Based on Aided Linear Integer Programming. -
Safety Control of Monotone Systems with Bounded Uncertainties. -
On the Powerball Method. -
Push- and Pull-based Epidemic Spreading in Networks: Thresholds and Deeper Insights. -
Approximate Networking for Global Access to the Internet for All (GAIA). -
Predicting Cyber Attack Rates with Extreme Values. -
Characterizing Honeypot-Captured Cyber Attacks: Statistical Framework and Case Study. -
A Characterization of Cybersecurity Posture from Network Telescope Data. -
Spatiotemporal patterns and predictability of cyberattacks. -
Nonlinear Analysis of an Improved Swing Equation. -
Pixel-Level Domain Transfer. -
Analyzing Complex Network User Arrival Patterns and Their Effect on Network Topologies. -
An Expressive Probabilistic Temporal Logic. -
Deep Extreme Feature Extraction: New MVA Method for Searching Particles in High Energy Physics. -
Parameterized Pattern Matching - Succinctly. -
The method "Model Elimination" of D.W.Loveland explained. -
Analysis of Locally Coupled 3D Manipulation Mappings Based on Mobile Device Motion. -
Semantics and Analysis of DMN Decision Tables. -
Fine-scale Surface Normal Estimation using a Single NIR Image. -
A Realizability Model for a Semantical Value Restriction. -
Weakly Supervised Semantic Labelling and Instance Segmentation. -
A General Framework for Estimating Graphlet Statistics via Random Walk. -
Achievable DoF Regions of MIMO Networks with Imperfect CSIT. -
A Trust Model for Data Sharing in Smart Cities. -
Web Data Knowledge Extraction. -
Certifying Spoofing-Protection of Firewalls. -
Position-aided Large-scale MIMO Channel Estimation for High-Speed Railway Communication Systems. -
-
Approximated Capacity of the Two-User Gaussian Interference Channel with Noisy Channel-Output Feedback. -
Dynamics, Control, and Estimation for Aerial Robots Tethered by Cables or Bars. -
Power and Channel Allocation for Non-orthogonal Multiple Access in 5G Systems: Tractability and Computation. -
Source Localization on Graphs via l1 Recovery and Spectral Graph Theory. -
Semantic Regularities in Document Representations. -
Multi-Subregion Based Correlation Filter Bank for Robust Face Recognition. -
Contrastive Analysis with Predictive Power: Typology Driven Estimation of Grammatical Error Distributions in ESL. -
Going Out of Business: Auction House Behavior in the Massively Multi-Player Online Game. -
Semantic Properties of Customer Sentiment in Tweets. -
Position and Vector Detection of Blind Spot motion with the Horn-Schunck Optical Flow. -
On Communication through a Gaussian Channel with an MMSE Disturbance Constraint. -
BanditRepair: Speculative Exploration of Runtime Patches. -
Exploring the Use of RPAs as 5G Points of Presence. -
Inferring Uncertain Trajectories from Partial Observations. -
Local Histogram Matching for Efficient Optical Flow Computation Applied to Velocity Estimation on Pocket Drones. -
Recursive Neural Language Architecture for Tag Prediction. -
Decoding and File Transfer Delay Balancing in Network Coding Broadcast. -
A Quaternion Frequency and Phasor Estimator for Three-Phase Power Distribution Networks. -
Optimal Target Control of Complex Networks. -
Promoting Efficient Infrastructure Competition through Vectoring and Enlarged DSL Bandwidth. -
Descending Price Coordinates Approximately Efficient Search. -
Multi-Object Tracking with Multiple Birth, Death, and Spawn Scenarios Using A Randomized Hypothesis Generation Technique (R-FISST). -
Unique Stability Point in Social Storage Networks. -
Predictive Analytics Using Smartphone Sensors for Depressive Episodes. -
The Sub-band Vectoring Technique for Multi-Operator Environments. -
Part-of-Speech Relevance Weights for Learning Word Embeddings. -
Joint Projection and Dictionary Learning using Low-rank Regularization and Graph Constraints. -
Secure cloud computations: Description of (fully)homomorphic ciphers within the P-adic model of encryption. -
Probabilistic Reasoning via Deep Learning: Neural Association Models. -
Analyzing the Targets of Hate in Online Social Media. -
-
The Planar Tree Packing Theorem. -
Coarse-to-Fine Segmentation With Shape-Tailored Scale Spaces. -
Equilibrium Selection in Information Elicitation without Verification via Information Monotonicity. -
Seeing Invisible Poses: Estimating 3D Body Pose from Egocentric Video. -
Simulation Platform for Multi Agent Based Manufacturing Control System Based on The Hybrid Agent. -
Online Budgeted Allocation with General Budgets. -
Generating Text from Structured Data with Application to the Biography Domain. -
Co-occurrence Feature Learning for Skeleton based Action Recognition using Regularized Deep LSTM Networks. -
Impact of Operators' Performance on the Reliability of Cyber-Physical Power Distribution Systems. -
Nonnegative Rank vs. Binary Rank. -
Extension Complexity and Formal Languages. -
Weighted Pushdown Systems with Indexed Weight Domains. -
Approximate Personalized PageRank on Dynamic Graphs. -
Quadratic Projection Based Feature Extraction with Its Application to Biometric Recognition. -
An Effective Unconstrained Correlation Filter and Its Kernelization for Face Recognition. -
Mode-Seeking on Hypergraphs for Robust Geometric Model Fitting. -
Disentangling Nonlinear Perceptual Embeddings With Multi-Query Triplet Networks. -
Chatty Maps: Constructing sound maps of urban areas from social media data. -
Training-Free Synthesized Face Sketch Recognition Using Image Quality Assessment Metrics. -
Loss Tomography in General Topology. -
Privacy-Preserved Big Data Analysis Based on Asymmetric Imputation Kernels. -
An end-to-end convolutional selective autoencoder approach to Soybean Cyst Nematode eggs detection. -
Early Detection of Combustion Instabilities using Deep Convolutional Selective Autoencoders on Hi-speed Flame Video. -
Deep Learning At Scale and At Ease. -
A multinomial probabilistic model for movie genre predictions. -
The Asymptotic Performance of Linear Echo State Neural Networks. -
Hybridization of Expectation-Maximization and K-Means Algorithms for Better Clustering Performance. -
Monotone 3-Sat-4 is NP-complete. -
A Novel Biologically Mechanism-Based Visual Cognition Model-Automatic Extraction of Semantics, Formation of Integrated Concepts and Re-selection Features for Ambiguity. -
Investigation Into The Effectiveness Of Long Short Term Memory Networks For Stock Price Prediction. -
Helenos: A Realistic Benchmark for Distributed Transactional Memory. -
A Subdivision Solver for Systems of Large Dense Polynomials. -
Global sensitivity analysis with 2d hydraulic codes: applied protocol and practical tool. -
An Incremental Learner for Language-Based Anomaly Detection in XML. -
A Prunable Blockchain Consensus Protocol Based on Non-Interactive Proofs of Past States Retrievability. -
Quote RTs on Twitter: Usage of the New Feature for Political Discourse. -
OptEx: A Deadline-Aware Cost Optimization Model for Spark. -
OptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-based Stores. -
Simple Auctions For Agents With Complements. -
An Empirical Study of Online Packet Scheduling Algorithms. -
Improving Information Extraction by Acquiring External Evidence with Reinforcement Learning. -
Object Recognition Based on Amounts of Unlabeled Data. -
ASIC-based Implementation of Synchronous Section-Carry Based Carry Lookahead Adders. -
Global versus Local Weak-Indication Self-Timed Function Blocks - A Comparative Analysis. -
Power, Delay and Area Comparisons of Majority Voters relevant to TMR Architectures. -
Unsupervised Category Discovery via Looped Deep Pseudo-Task Optimization Using a Large Scale Radiology Image Database. -
Experimental Analysis of Algorithms for Coflow Scheduling. -
Networked Constrained Cyber-Physical Systems subject to malicious attacks: a resilient set-theoretic control approach. -
Modeling and Resource Allocation for HD Videos over WiMAX Broadband Wireless Networks. -
A Markov Chain Algorithm for Compression in Self-Organizing Particle Systems. -
Altmetrics of "altmetrics" using Google Scholar, Twitter, Mendeley, Facebook, Google-plus, CiteULike, Blogs and Wiki. -
Characterizing Interest Aggregation in Content-Centric Networks. -
Robust Nonnegative Sparse Recovery and the Nullspace Property of 0/1 Measurements. -
Friction from Reflectance: Deep Reflectance Codes for Predicting Physical Surface Properties from One-Shot In-Field Reflectance. -
Sensor Deployment with Limited Communication Range in Homogeneous and Heterogeneous Wireless Sensor Networks. -
On Determining the Fair Bandwidth Share for ABR Connections in ATM Networks. -
Classifying Syntactic Regularities for Hundreds of Languages. -
Survivability in IP over WDM networks. -
Achieving QoS for TCP Traffic in Satellite Networks with Differentiated Services. -
Multimedia Satellite Networks and TCP/IP Traffic Transport. -
How NOT To Evaluate Your Dialogue System: An Empirical Study of Unsupervised Evaluation Metrics for Dialogue Response Generation. -
An Internet of Things Framework for Smart Energy in Buildings: Designs, Prototype, and Experiments. -
Energy Sensing and Monitoring Framework with an Integrated Communication Backbone in the Energy Efficient Intelligent Buildings. -
A Scheduler for Unsolicited Grant Service (UGS) in IEEE 802.16e Mobile WiMAX Networks. -
On the Simultaneous Preservation of Privacy and Community Structure in Anonymized Networks. -
Resnet in Resnet: Generalizing Residual Architectures. -
On the Detection of Mixture Distributions with applications to the Most Biased Coin Problem. -
An Empirical Study of Dimensional Reduction Techniques for Facial Action Units Detection. -
On the Compression of Recurrent Neural Networks with an Application to LVCSR acoustic modeling for Embedded Speech Recognition. -
Persistent self-supervised learning principle: from stereo to monocular vision for obstacle avoidance. -
"Did I Say Something Wrong?" A Word-Level Analysis of Wikipedia Articles for Deletion Discussions. -
Sparsity and Parallel Acquisition: Optimal Uniform and Nonuniform Recovery Guarantees. -
CVC Verilog Compiler - Fast Complex Language Compilers Can be Simple. -
Optimal Traffic Aggregation in Multi-RAT Heterogeneous Wireless Networks. -
Recognizing Car Fluents from Video. -
A generalized flow for multi-class and binary classification tasks: An Azure ML approach. -
Classification of Large-Scale Fundus Image Data Sets: A Cloud-Computing Framework. -
Performance Analysis of ARQ-based RF-FSO Links. -
Do You See What I Mean? Visual Resolution of Linguistic Ambiguities. -
On the Performance of Millimeter Wave-based RF-FSO Links with HARQ Feedback. -
On Fast Bilateral Filtering using Fourier Kernels. -
Online shopping behavior study based on multi-granularity opinion mining: China vs. America. -
Measuring Book Impact Based on the Multi-granularity Online Review Mining. -
Learning Hough Regression Models via Bridge Partial Least Squares for Object Detection. -
Blind signal separation and identification of mixtures of images. -
GENMR: Generalized Query Processing through Map Reduce In Cloud Database Management System. -
Towards the Design of Effective Freehand Gestural Interaction for Interactive TV. -
Unsupervised Domain Adaptation in the Wild: Dealing with Asymmetric Label Sets. -
Mining DNA Sequences Based on Spatially Coded Technique Using Spatial Light Modulator. -
Support Driven Wavelet Frame-based Image Deblurring. -
Fast and Provably Accurate Bilateral Filtering. -
Energy-saving Pushing Based on Personal Interest and Context Information. -
The Parameterized Hardness of the Art Gallery Problem. -
Bandwidth-aware Service Placement in Community Network Clouds. -
Dense Nonrigid Ground Truth for Optical Flow in Real-World Scenes. -
Capacity Analysis for Spatially Non-wide Sense Stationary Uplink Massive MIMO Systems. -
Video Interpolation using Optical Flow and Laplacian Smoothness. -
Robust transport over networks. -
Optimal Joint Power and Subcarrier Allocation for MC-NOMA Systems. -
A Draft Memory Model on Spiking Neural Assemblies. -
Pointing the Unknown Words. -
Binary search trees and rectangulations. -
How useful is photo-realistic rendering for visual learning? -
Perceptual Losses for Real-Time Style Transfer and Super-Resolution. -
VolumeDeform: Real-time Volumetric Non-rigid Reconstruction. -
To Follow or Not to Follow: Analyzing the Growth Patterns of the Trumpists on Twitter. -
Planning Problems for Sophisticated Agents with Present Bias. -
Channel Hopping Sequences for Maximizing Rendezvous Diversity in Cognitive Radio Networks. -
3DMatch: Learning the Matching of Local 3D Geometry in Range Scans. -
The Random Frequency Diverse Array: A New Antenna Structure for Uncoupled Direction-Range Indication in Active Sensing. -
On Clutter Ranks of Frequency Diverse Radar Waveforms. -
Recurrent Mixture Density Network for Spatiotemporal Visual Attention. -
An Abstract Algebraic Logic View on Judgment Aggregation. -
Human Pose Estimation using Deep Consensus Voting. -
Generating reversible circuits from higher-order functional programs. -
Evolution of active categorical image classification via saccadic eye movement. -
A Capacity-Achieving Coding Scheme for the AWGN Channel with Polynomial Encoding and Decoding Complexity. -
DeLight-Net: Decomposing Reflectance Maps into Specular Materials and Natural Illumination. -
Identification via the Broadcast Channel. -
Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic. -
Predictive Modeling of Opinion and Connectivity Dynamics in Social Networks. -
-
Optimal design of a micro-tubular fuel cell. -
Semirings for temporal network analysis. -
Towards Machine Intelligence. -
The Schützenberger product for syntactic spaces. -
Convolutional Networks for Fast, Energy-Efficient Neuromorphic Computing. -
Non-Greedy L21-Norm Maximization for Principal Component Analysis. -
The SVM Classifier Based on the Modified Particle Swarm Optimization. -
Development of System Architecture for E-Government Cloud Platforms. -
A Stochastic Model for Quantitative Security Analyses of Networked Systems. -
An Extended Stochastic Model for Quantitative Security Analysis of Networked Systems. -
A New Approach to Modeling and Analyzing Security of Networked Systems. -
Cyber Epidemic Models with Dependences. -
A Data-driven Study of View Duration on YouTube. -
A Stochastic Model of Active Cyber Defense Dynamics. -
Optimizing Active Cyber Defense. -
Active Cyber Defense Dynamics Exhibiting Rich Phenomena. -
Exclusivity Regularized Machine. -
Audio Visual Emotion Recognition with Temporal Alignment and Perception Attention. -
Hierarchy of Groups Evaluation Using Different F-score Variants. -
Continuous Stereo Matching using Local Expansion Moves. -
Distributed Fusion of Labeled Multi-Object Densities Via Label Spaces Matching. -
Distributed Fusion with Multi-Bernoulli Filter based on Generalized Covariance Intersection. -
Hierarchical Gaussian Mixture Model with Objects Attached to Terminal and Non-terminal Dendrogram Nodes. -
Principled Random Finite Set Approximations of Labeled Multi-Object Densities. -
Multi-Sensor Control for Multi-Target Tracking Using Cauchy-Schwarz Divergence. -
Fast, Exact and Multi-Scale Inference for Semantic Image Segmentation with Deep Gaussian CRFs. -
Potholes Ahead: Impact of Transient Link Blockage on Beam Steering in Practical mm-Wave Systems. -
Sparse Activity and Sparse Connectivity in Supervised Learning. -
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents] -
Probabilistic Programming for Malware Analysis. -
The Umwelt of an Embodied Agent - A Measure-Theoretic Definition. -
Generic Inverted Index on the GPU. -
k-shot Broadcasting in Ad Hoc Radio Networks. -
A Note on the Computational Complexity of Unsmoothened Vertex Attack Tolerance. -
Mutual Information in Rank-One Matrix Estimation. -
Citations: Indicators of Quality? The Impact Fallacy. -
Adaptive-Latency DRAM (AL-DRAM). -
Longitudinal Analysis of Discussion Topics in an Online Breast Cancer Community using Convolutional Neural Networks. -
Perspectives on Software-Defined Networks: interviews with five leading scientists from the networking community. -
Survey of Important Issues in UAV Communication Networks. -
Deep Embedding for Spatial Role Labeling. -
Incremental Voronoi Diagrams. -
Learning to Read Chest X-Rays: Recurrent Neural Cascade Model for Automated Image Annotation. -
Content-Centric Networking Using Anonymous Datagrams. -
On distances, paths and connections for hyperspectral image segmentation. -
Generating Visual Explanations. -
Colorful Image Colorization. -
Deriving Application Level Relationships by Analysing the Run Time Behaviour of Simple and Complex SQL Queries. -
Hybrid Ant Colony Optimization in solving Multi-Skill Resource-Constrained Project Scheduling Problem. -
An Improved Self-Organizing Diffusion Mobile Adaptive Network for Pursuing a Target. -
Genetic cellular neural networks for generating three-dimensional geometry. -
Unsupervised Learning using Sequential Verification for Action Recognition. -
Kernelized Weighted SUSAN based Fuzzy C-Means Clustering for Noisy Image Segmentation. -
Attend, Infer, Repeat: Fast Scene Understanding with Generative Models. -
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents] -
Provably Safe and Deadlock-Free Execution of Multi-Robot Plans under Delaying Disturbances. -
On Fast Decoding of Noiseless Signals from One-Bit or Phaseless Measurements. -
Generalized Exponential Concentration Inequality for Rényi Divergence Estimation. -
Exploring Local Context for Multi-target Tracking in Wide Area Aerial Surveillance. -
Prepositional Attachment Disambiguation Using Bilingual Parsing and Alignments. -
The Conditional Lucas & Kanade Algorithm. -
Classiffication-based Financial Markets Prediction using Deep Neural Networks. -
Submodular Variational Inference for Network Reconstruction. -
Evaluating the Performance Impact of Multiple Streams on the MIC-based Heterogeneous Platform. -
On the Shoshan-Zwick Algorithm for the All-Pairs Shortest Path Problem. -
Classification of Alzheimer's Disease using fMRI Data and Deep Learning Convolutional Neural Networks. -
Validating an Approach to Formalize Use Cases with Ontologies. 1-15 -
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. 16-30 -
Device-Centric Monitoring for Mobile Device Management. 31-44 -
Development and Validation of Functional Model of a Cruise Control System. 45-58 -
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems. 59-68 -
Learning a Predictable and Generative Vector Representation for Objects. -
Rearrangement Planning via Heuristic Search. -
A Comparison of NOOP to Structural Domain-Theoretic Models of Object-Oriented Programming. -
Regret Analysis of the Anytime Optimally Confident UCB Algorithm. -
Learning for Robust Routing Based on Stochastic Game in Cognitive Radio Networks. -
Niépce-Bell or Turing: How to Test Odor Reproduction? -
Instance-sensitive Fully Convolutional Networks. -
Learning to Refine Object Segments. -
Modeling Interference Between OFDM/OQAM and CP-OFDM: Limitations of the PSD-Based Model. -
What a Nerd! Beating Students and Vector Cosine in the ESL and TOEFL Datasets. -
Nine Features in a Random Forest to Learn Taxonomical Semantic Relations. -
ROOT13: Spotting Hypernyms, Co-Hyponyms and Randoms. -
Properties of ABA+ for Non-Monotonic Reasoning. -
Markets with Strategic Multi-minded Mediators. -
Multi-Band Image Fusion Based on Spectral Unmixing. -
Usability Comparison of Mouse, Touch and Tangible Inputs for 3D Data Manipulation. -
On the Impact of Localization Errors on HRTF-based Robust Least-Squares Beamforming. -
All binomial identities are orderable. -
Solution of Interpolation Problems via the Hankel Polynomial Construction. -
Curve Networks for Surface Reconstruction. -
Multi-Cue Zero-Shot Learning with Strong Supervision. -
Machine Learning and Cloud Computing: Survey of Distributed and SaaS Solutions. -
Reasoning about Algebraic Data Types with Abstractions. -
COCO: The Experimental Procedure. -
Encoding Arguments. -
COCO: A Platform for Comparing Continuous Optimizers in a Black-Box Setting. -
Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks. -
Scalable Solution for Approximate Nearest Subspace Search. -
Compressive Sensing Based Design of Sparse Tripole Arrays. -
The SCJ small parsimony problem for weighted gene adjacencies (Extended version). -
Generalized Gray codes with prescribed ends. -
Towards Understanding Sparse Filtering: A Theoretical Perspective. -
Shirtless and Dangerous: Quantifying Linguistic Signals of Gender Bias in an Online Fiction Writing Community. -
Synchronization in Networks of Identical Systems via Pinning: Application to Distributed Secondary Control of Microgrids. -
Effects of Information Heterogeneity in Bayesian Routing Games. -
Revisiting Semi-Supervised Learning with Graph Embeddings. -
Compilation as a Typed EDSL-to-EDSL Transformation. -
A Readable Read: Automatic Assessment of Language Learning Materials based on Linguistic Complexity. -
Algorithms for Batch Hierarchical Reinforcement Learning. -
Locally recoverable codes on algebraic curves. -
Cyclic LRC Codes, binary LRC codes, and upper bounds on the distance of cyclic codes. -
A Parallel-Hierarchical Model for Machine Comprehension on Sparse Data. -
On the Performance of Delay Aware Shared Access with Priorities. -
Learning-Based Single-Document Summarization with Compression and Anaphoricity Constraints. -
Latent Embeddings for Zero-shot Classification. -
Mathematical Harmony Analysis. -
Cross-modal Supervision for Learning Active Speaker Detection in Video. -
The While language. -
Betting and Belief: Prediction Markets and Attribution of Climate Change. -
FAST: Free Adaptive Super-Resolution via Transfer for Compressed Videos. -
Utility of a Behavlets approach to a Decision theoretic predictive player model. -
Local Search Yields a PTAS for k-Means in Doubling Metrics. -
RemIX: A Distributed Internet Exchange for Remote and Rural Networks. -
Detecting weak changes in dynamic events over networks. -
Adaptive Computation Time for Recurrent Neural Networks. -
SMASH: Data-driven Reconstruction of Physically Valid Collisions. -
Experimental Evaluation of a Reconfigurable Antenna System for Blind Interference Alignment. -
Towards Practical Bayesian Parameter and State Estimation. -
To Observe or Not to Observe: Queuing Game Framework for Urban Parking. -
Computing Educator Attitudes about Motivation. -
Shortest path and maximum flow problems in planar flow networks with additive gains and losses. -
Dataflow Matrix Machines as a Generalization of Recurrent Neural Networks. -
Routing under Balance. -
A framework for event co-occurrence detection in event streams. -
Rich Image Captioning in the Wild. -
Steering Opinion Dynamics in Information Diffusion Networks. -
Variable p norm constrained LMS algorithm based on gradient of root relative deviation.pdf. -
Recurrent Batch Normalization. -
Palmprint Recognition Using Deep Scattering Convolutional Network. -
Maximize Pointwise Cost-sensitively Submodular Functions With Budget Constraint. -
Towards Geo-Distributed Machine Learning. -
Vector Quantization for Machine Vision. -
Dense Image Representation with Spatial Pyramid VLAD Coding of CNN for Locally Robust Captioning. -
Cost-sensitive Label Embedding for Multi-label Classification. -
Robustness of Bayesian Pool-based Active Learning Against Prior Misspecification. -
Phoenix: A Self-Optimizing Chess Engine. -
Massive MIMO with Multi-Antenna Users: When are Additional User Antennas Beneficial? -
Unsupervised Measure of Word Similarity: How to Outperform Co-occurrence and Vector Cosine in VSMs. -
Succinctness of Order-Invariant Logics on Depth-Bounded Structures. -
Image Denoising Using Very Deep Fully Convolutional Encoder-Decoder Networks with Symmetric Skip Connections. -
FPGA Impementation of Erasure-Only Reed Solomon Decoders for Hybrid-ARQ Systems. -
Semi-Supervised Learning for Asymmetric Graphs through Reach and Distance Diffusion. -
Structured Feature Learning for Pose Estimation. -
An active attack on a distributed Group Key Exchange system. -
Learning Local Descriptors by Optimizing the Keypoint-Correspondence Criterion. -
Back to the past: on the shoulders of an academic search engine giant. -
LIFT: Learned Invariant Feature Transform. -
deepTarget: End-to-end Learning Framework for microRNA Target Prediction using Deep Recurrent Neural Networks. -
Bilingual Learning of Multi-sense Embeddings with Discrete Autoencoders. -
Exploiting Facial Landmarks for Emotion Recognition in the Wild. -
Circuit Synthesis of Electrochemical Supercapacitor Models. -
Content Replication in Large Distributed Caches. -
An Approximation Algorithm for Path Computation and Function Placement in SDNs. -
Spider and the Flies : Focused Crawling on Tumblr to Detect Hate Promoting Communities. -
-
Improving and Scaling Trans-dimensional Random Field Language Models. -
Enhanced computation method of topological smoothing on shared memory parallel machines. -
Parallel image thinning through topological operators on shared memory parallel machines. -
Homing vector automata. -
Unsupervised Visual Sense Disambiguation for Verbs using Multimodal Embeddings. -
Iterated Ontology Revision by Reinterpretation. -
Unsupervised Understanding of Location and Illumination Changes in Egocentric Videos. -
A comprehensive theory of cascading via-paths and the reciprocal pointer chain method. -
A Finite Element Approach for the Line-to-Line Contact Interaction of Thin Beams with Arbitrary Orientation. -
Optimal Recommendation to Users that React: Online Learning for a Class of POMDPs. -
Binary Quadratic Programing for Online Tracking of Hundreds of People in Extremely Crowded Scenes. -
Unsupervised Learning of Visual Representations by Solving Jigsaw Puzzles. -
Distributed Learning in the Presence of Disturbances. -
Degrees of Freedom in Deep Neural Networks. -
Algebraic Lattice Codes Achieve the Capacity of the Compound Block-Fading Channel. -
-
Trust-Aware Network Utility Optimization in Multihop Wireless Networks with Delay Constraints. -
Studies on Brutal Contraction and Severe Withdrawal: Preliminary Report. -
LifeJacket: Verifying precise floating-point optimizations in LLVM. -
A Formal Presentation of MongoDB (Extended Version). -
Confidence driven TGV fusion. -
Efficient and robust approximate nearest neighbor search using Hierarchical Navigable Small World graphs. -
Möbius invariants of shapes and images. -
Real-time topological image smoothing on shared memory parallel machines. -
Partial Face Detection for Continuous Authentication. -
On the Secure Degrees of Freedom of the K-user MAC and 2-user Interference Channels. -
Clinical Information Extraction via Convolutional Neural Network. -
Deep Networks with Stochastic Depth. -
Multi-Metric Energy Efficient Routing in Mobile Ad-Hoc Networks. -
Mutual Dimension and Random Sequences. -
Robust Hybrid Image Watermarking based on Discrete Wavelet and Shearlet Transforms. -
Enhancing Sentence Relation Modeling with Auxiliary Character-level Embedding. -
Minimal Gated Unit for Recurrent Neural Networks. -
Detecting and avoiding frontal obstacles from monocular camera for micro unmanned aerial vehicles. -
Accurate Text Localization in Natural Image with Cascaded Convolutional Text Network. -
Ordinal Conditional Functions for Nearly Counterfactual Revision. -
Document Selection in a Distributed Search Engine Architecture. -
Predictability of Popularity: Gaps between Prediction and Understanding. -
The Open World of Micro-Videos. -
A Stratified Analysis of Bayesian Optimization Methods. -
Object Skeleton Extraction in Natural Images by Fusing Scale-associated Deep Side Outputs. -
TiDeH: Time-Dependent Hawkes Process for Predicting Retweet Dynamics. -
Exemplar-AMMs: Recognizing Crowd Movements from Pedestrian Trajectories. -
LSTM based Conversation Models. -
System Combination for Short Utterance Speaker Recognition. -
Robust Uncalibrated Stereo Rectification with Constrained Geometric Distortions (USR-CGD). -
A New Approach for Revising Logic Programs. -
A ParaBoost Stereoscopic Image Quality Assessment (PBSIQA) System. -
Monomer: Non-Metric Mixtures-of-Embeddings for Learning Visual Compatibility Across Categories. -
Building the Signature of Set Theory Using the MathSem Program. -
Stochastic Dynamic Cache Partitioning for Encrypted Content Delivery. -
Reactive Policies with Planning for Action Languages. -
Verifiability of Argumentation Semantics. -
Learning Multiscale Features Directly FromWaveforms. -
Distributing Knowledge into Simple Bases. -
Blind Friendly Maps: Tactile Maps for the Blind as a Part of the Public Map Portal (Mapy.cz). -
Image Retrieval with a Bayesian Model of Relevance Feedback. -
Threshold Multi Secret Sharing Using Elliptic Curve and Pairing. -
An IBE-based Signcryption Scheme for Group Key Management. -
On Optimizing Cooperative Cognitive User Performance under Primary QoS Constraints. -
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. -
Characterising Bounded Expansion by Neighbourhood Complexity. -
VapeTracker: Tracking Vapor Consumption to Help E-cigarette Users Quit. -
The power of local search for clustering. -
INDIGO-Datacloud: foundations and architectural description of a Platform as a Service oriented to scientific computing. -
Will 5G See its Blind Side? Evolving 5G for Universal Internet Access. -
LlamaFur: Learning Latent Category Matrix to Find Unexpected Relations in Wikipedia (Long version). -
Characterizing Realizability in Abstract Argumentation. -
Sub-pixel accuracy edge fitting by means of B-spline. -
On a special class of boxicity 2 graphs. -
Automorphism groups of Gabidulin-like codes. -
On local structures of cubicity 2 graphs. -
Near-Optimal Hybrid Analog and Digital Precoding for Downlink mmWave Massive MIMO Systems. -
Wireless Coverage Area Computation and Optimization. -
High-dimensional approximate nearest neighbor: k-d Generalized Randomized Forests. -
Flow and Context Sensitive Points-to Analysis using Higher Order Reachability. -
SciChallenge: Using Student-Generated Content and Contests to Enhance the Interest for Science Education and Careers. -
Total Variation Applications in Computer Vision. -
Joint Wireless Fronthaul and OFDMA Resource Allocation in Ultra-Dense CRAN. -
Greedy Strategies and Larger Islands of Tractability for Conjunctive Queries and Constraint Satisfaction Problems. -
Online Optimization with Costly and Noisy Measurements using Random Fourier Expansions. -
Differentiable Pooling for Unsupervised Acoustic Model Adaptation. -
Data Collection for Interactive Learning through the Dialog. -
Building Better Detection with Privileged Information. -
Web Toolkit for Scientific Research: State of the Art and the Prospect for Development. -
Multi-task Recurrent Model for Speech and Speaker Recognition. -
Stable Isogeometric Analysis of Trimmed Geometries. -
Lyapunov stability of a rigid body with two frictional contacts. -
Conformal higher-order remeshing schemes for implicitly defined interface problems. -
Towards co-designed optimizations in parallel frameworks: A MapReduce case study. -
-
Doubly Threshold Graphs for Social Network Modeling. -
Capacity of Remotely Powered Communication. -
Analog Signal Processing Approach for Coarse and Fine Depth Estimation. -
Audio-Visual Speaker Diarization Based on Spatiotemporal Bayesian Fusion. -
Neural Language Correction with Character-Based Attention. -
A Survey of League Championship Algorithm: Prospects and Challenges. -
Robust Head-Pose Estimation Based on Partially-Latent Mixture of Linear Regression. -
-
Hierarchical Quickest Change Detection via Surrogates. -
Object Boundary Guided Semantic Segmentation. -
Towards a Systematic Development Process of Optimization Methods. -
-
Model-Based Iterative Reconstruction for Radial Fast Spin-Echo MRI. -
Non-random structures in universal compression and the Fermi paradox. -
Learning, Visualizing, and Exploiting a Model for the Intrinsic Value of a Batted Ball. -
Information Measures, Experiments, Multi-category Hypothesis Tests, and Surrogate Losses. -
Pattern recognition on the quantum Bloch sphere. -
The structure of the polynomials in preconditioned BiCG algorithms and the switching direction of preconditioned systems. -
Analysis of the structure of the Krylov subspace in various preconditioned CGS algorithms. -
Dual Smoothing and Level Set Techniques for Variational Matrix Decomposition. -
RWebData: A High-Level Interface to the Programmable Web. -
Efficient 3-D Placement of an Aerial Base Station in Next Generation Cellular Networks. -
Chromatic number of ordered graphs with forbidden ordered subgraphs. -
On the capacity of information processing systems. -
Distributed Estimation of Dynamic Parameters : Regret Analysis. -
Exactly realizable desired trajectories. -
Incompatibility boundaries for properties of community partitions. -
Maxwell's demon and information channel width of a black hole. -
A note on distinct distances. -
Tight LP Approximations for the Optimal Power Flow Problem. -
Automatic Differentiation Variational Inference. -
Flies as Ship Captains? Digital Evolution Unravels Selective Pressures to Avoid Collision in Drosophila. -
Molecular Graph Convolutions: Moving Beyond Fingerprints. -
A simple tool for bounding the deviation of random matrices on geometric sets. -
Pointer Quantum PCPs and Multi-Prover Games. -
Vaccination and Complex Social Dynamics. -
Nonlinear functions and difference sets on group actions. -
Analysis of the Packet Loss Probability in Energy Harvesting Cognitive Radio Networks. -
Photographic dataset: random peppercorns. -
Rich square-free words. -
Evolving Boolean Regulatory Networks with Variable Gene Expression Times. -
A Theory of Ambulance Chasing. -
Network modularity in the presence of covariates. -
Remarks on Frankl's conjecture. -
Learning deep representation of multityped objects and tasks. -
Numerical CP Decomposition of Some Difficult Tensors. -
Design Heuristic for Parallel Many Server Systems under FCFS-ALIS. -
Normalization Propagation: A Parametric Technique for Removing Internal Covariate Shift in Deep Networks. -
Implementation of a Direct Coupling Coherent Quantum Observer including Observer Measurements. -
Minimum-Time Transitions between Thermal Equilibrium States of the Quantum Parametric Oscillator. -
McCulloch-Pitts brains and pseudorandom functions. -
Verified compilation of space-efficient reversible circuits. -
Learning Topology of the Power Distribution Grid with and without Missing Data. -
A single-phase, proximal path-following framework. -
Stability analysis and stabilization of stochastic linear impulsive, switched and sampled-data systems. -
Accurate principal component analysis via a few iterations of alternating least squares. -
Spatial logic of modal mu-calculus and tangled closure operators. -
Noise Stability and Correlation with Half Spaces. -
Composing inference algorithms as program transformations. -
Bootstrap percolation on geometric inhomogeneous random graphs. -
Quantum Hashing for Finite Abelian Groups. -
Entanglement-assisted capacities of compound quantum channels. -
Free fall and cellular automata. 1-10 -
Quantum Key Distribution Based On Generating More Than One Secret Bit Per Shared EPR Pair. -
Stochastic dual averaging methods using variance reduction techniques for regularized empirical risk minimization problems. -
Correlation Measure Equivalence in Dynamic Causal Structures. -
A Bayesian non-parametric method for clustering high-dimensional binary data. -
A minimum-change version of the Chung-Feller theorem for Dyck paths. -
UTA-poly and UTA-splines: additive value functions with polynomial marginals. -
Small ensembles of kriging models for optimization. -
Discriminative models for robust image classification. -
Pairwise Choice Markov Chains. -
Optimized Kernel Entropy Components. -
A portable platform for accelerated PIC codes and its application to GPUs using OpenACC. -
Measuring cones and other thick subsets in free groups. -
A Decentralized Mechanism for Computing Competitive Equilibria in Deregulated Electricity Markets. -
Blind Source Separation: Fundamentals and Recent Advances (A Tutorial Overview Presented at SBrT-2001). -
Formulae for entanglement in a linear coherent feedback network of multiple nondegenerate optical parametric amplifiers: the infinite bandwidth case. -
Zipf's law emerges asymptotically during phase transitions in communicative systems. -
Near-Optimality of Linear Strategies for Static Teams with 'Big' Non-Gaussian Noise. -
An Approach to Hadwiger's Conjecture through Squares of Chordal Graphs. -
New Lower Bounds for van der Waerden Numbers Using Distributed Computing. -
Multisensor-Multitarget Bearing-Only Sensor Registration. -
Financial contagion in investment funds. -
Distance Metric Tracking. -
Determination of the edge of criticality in echo state networks through Fisher information maximization. -
Efficient Clustering of Correlated Variables and Variable Selection in High-Dimensional Linear Models. -
Nondeterministic quantum communication complexity: the cyclic equality game and iterated matrix multiplication. -
A Primer on the Signature Method in Machine Learning. -
Automating the Horae: Boundary-work in the age of computers. -
On the computation of the straight lines contained in a rational surface. -
Entanglement distillation from Greenberger-Horne-Zeilinger shares. -
On Learning High Dimensional Structured Single Index Models. -
The Classification of Stabilizer Operations over Qubits. -
On MAXCUT in strictly supercritical random graphs, and coloring of random graphs and random tournaments. -
Algorithmic aspects of branched coverings II. Sphere bisets and their decompositions. -
Bandit Approaches to Preference Learning Problems with Multiple Populations. -
On the Influence of Momentum Acceleration on Online Learning. -
Multiple seed structure and disconnected networks in respondent-driven sampling. -
Linguistic neighbourhoods: explaining cultural borders on Wikipedia through multilingual co-editing activity. -
A Variational Perspective on Accelerated Methods in Optimization. -
On the number of equivalence classes of invertible Boolean functions under action of permutation of variables on domain and range. -
A Generalized Labeled Multi-Bernoulli Filter for Maneuvering Targets. -
Edge exchangeable models for network data. -
When do microswimmers exit the Stokes regime? -
Structured and Efficient Variational Deep Learning with Matrix Gaussian Posteriors. -
Emergence of metapopulations and echo chambers in mobile agents. -
Algorithm for computing μ-bases of univariate polynomials. -
Quantifying discrepancies in opinion spectra from online and offline networks. -
Bias Correction for Regularized Regression and its Application in Learning with Streaming Data. -
Performance Bounds for Nash Equilibria in Submodular Utility Systems with User Groups. -
Turing learning: a metric-free approach to inferring behavior and its application to swarms. -
Bilateral Boundary Control of One-Dimensional First- and Second-Order PDEs using Infinite-Dimensional Backstepping. -
Boundary Control of Coupled Reaction-Advection-Diffusion Systems with Spatially-Varying Coefficients. -
A Reduced Order Direct Coupling Coherent Quantum Observer for a Complex Quantum Plant. -
Quantum Linear Systems Theory. -
Linear complexity of quaternary sequences over Z_4 derived from generalized cyclotomic classes modulo 2p. -
One-Shot Generalization in Deep Generative Models. -
New Bounds for the Snake-in-the-Box Problem. -
Phase Retrieval from 1D Fourier Measurements: Convexity, Uniqueness, and Algorithms. -
Convection in Oblate Solar-Type Stars. -
Fast moment estimation for generalized latent Dirichlet models. -
Parallel repetition via fortification: analytic view and the quantum case. -
Online semi-parametric learning for inverse dynamics modeling. -
Hierarchy and Expansiveness in Two-Dimensional Subshifts of Finite Type. -
A flexible state space model for learning nonlinear dynamical systems. -
Tracking multiple moving objects in images using Markov Chain Monte Carlo. -
A preferential attachment approach to community structure and the structure of communities. -
A Newton algorithm for semi-discrete optimal transport. -
Reliable Prediction Intervals for Local Linear Regression. -
A Moment Majorization principle for random matrix ensembles with applications to hardness of the noncommutative Grothendieck problem. -
Optimal Black-Box Reductions Between Optimization Objectives. -
Variance Reduction for Faster Non-Convex Optimization. -
Do Deep Convolutional Nets Really Need to be Deep (Or Even Convolutional)? -
Optimal Energy-Efficient Downlink Transmission Scheduling for Real-Time Wireless Networks. -
One-sided epsilon-approximants. -
Efficient evaluation of scaled proximal operators. -
Identifying optimal targets of network attack by belief propagation. -
A Flexible Primal-Dual Toolbox. -
Assessing reliable human mobility patterns from higher-order memory in mobile communications. -
A Network Topology Dependent Upper Bound on the Number of Equilibria of the Kuramoto Model. -
Investigating the Maximum Number of Real Solutions to the Power Flow Equations: Analysis of Lossless Four-Bus Systems. -
Katyusha: Accelerated Variance Reduction for Faster SGD. -
Distributed Randomized Control for Demand Dispatch. -
Classical and quantum polar coding for Bosonic Gaussian channels. -
Bounding extremal functions of forbidden 0-1 matrices using (r, s)-formations. -
Fast Incremental Method for Nonconvex Optimization. -
Stochastic Variance Reduction for Nonconvex Optimization. -
Remarks on Tsfasman-Boguslavsky Conjecture and Higher Weights of Projective Reed-Muller Codes. -
Multi-fidelity Gaussian Process Bandit Optimisation. -
Distributed Semi-Stochastic Optimization with Quantization Refinement. -
Distributed Multi-Sensor Fusion Using Generalized Multi-Bernoulli Densities. -
The classical origin of modern mathematics. -
Analyzing coevolutionary games with dynamic fitness landscapes. -
The mathematics of non-linear metrics for nested networks. -
Characterizations of symmetrically partial Boolean functions with exact quantum query complexity. -
A Comparison Study of Nonlinear Kernels. -
Nearest Points on Toric Varieties. -
Tangles and the Mona Lisa. -
Optimal power dispatch in networks of high-dimensional models of synchronous machines. -
Sparse Network Lasso for Local High-dimensional Regression. -
Using real-time cluster configurations of streaming asynchronous features as online state descriptors in financial markets. -
The matroid secretary problem for minor-closed classes and random matroids. -
Trading-off variance and complexity in stochastic gradient descent. -
Cops, Robber and Medianwidth Parameters. -
The behavioural aspect of green technology investments: a general positive model in the context of heterogeneous agents. -
A Selection of Giant Radio Sources from NVSS. -
Aligning 415 519 proteins in less than two hours on PC. -
A Quantum Version of Schöning's Algorithm Applied to Quantum 2-SAT. -
On the number of cliques in graphs with a forbidden minor. -
Predicting Glaucoma Visual Field Loss by Hierarchically Aggregating Clustering-based Predictors. -
A Decentralized Quasi-Newton Method for Dual Formulations of Consensus Optimization. -
Cellular Automata on Group Sets and the Uniform Curtis-Hedlund-Lyndon Theorem. -
The Garden of Eden Theorem for Cellular Automata on Group Sets. -
A guide to convolution arithmetic for deep learning. -
BEANS - a software package for distributed Big Data analysis. -
Overcoming The Limitations of Phase Transition by Higher Order Analysis of Regularization Techniques. -
Use of 3D classified topographic data with FullSWOF for high resolution simulation of a river flood event over a dense urban area. -
Serving by local consensus in the public service location game. -
The interplay between conformity and anticonformity and its polarizing effect on society. -
Basic circuit compilation techniques for an ion-trap quantum machine. -
On Existence of Solutions to Structured Lyapunov Inequalities. -
Possibilities Determine the Combinatorial Structure of Probability Polytopes. -
A universal tradeoff between power, precision and speed in physical communication. -
A Convex Approach for Stability Analysis of Coupled PDEs with Spatially Dependent Coefficients. -
Using Simon's Algorithm to Attack Symmetric-Key Cryptographic Primitives. -
Developing Quantum Annealer Driven Data Discovery. -
Efficient implementation of the hybrid method for stochastic simulation of biochemical systems. -
Universality of Mallows' and degeneracy of Kendall's kernels for rankings. -
Shortest (A+B)-path packing via hafnian. -
Reconstructing undirected graphs from eigenspaces. -
Input-output relationship in social communications characterized by spike train analysis. -
Data-Driven Dynamic Decision Models. -
Belief Propagation on replica symmetric random factor graph models. -
Unified Correspondence as a Proof-Theoretic Tool. -
Collective Influence Algorithm to find influencers via optimal percolation in massively large social media. -
Spatially self-organized resilient networks by a distributed cooperative mechanism. -
Post-processing procedure for industrial quantum key distribution systems. -
Quantifying topological invariants of neuronal morphologies. -
Estimating Mixture Models via Mixtures of Polynomials. -
Analysis of k-Nearest Neighbor Distances with Application to Entropy Estimation. -
Exponential Concentration of a Density Functional Estimator. -
Locating a Phylogenetic Tree in a Reticulation-Visible Network in Quadratic Time. -
Quantum Recommendation Systems. -
Interpretability of Multivariate Brain Maps in Brain Decoding: Definition and Quantification. -
Spectral M-estimation with Applications to Hidden Markov Models. -
Reduced Perplexity: Uncertainty measures without entropy. -
Network dismantling. -
MIMO Radar Target Localization and Performance Evaluation under SIRP Clutter. -
Maximum Likelihood and Maximum A Posteriori Direction-of-Arrival Estimation in the Presence of SIRP Noise. -
Online Rules for Control of False Discovery Rate and False Discovery Exceedance. -
Performance of a community detection algorithm based on semidefinite programming. -
"Compress and eliminate" solver for symmetric positive definite sparse matrices. -
Linear System Identification via EM with Latent Disturbances and Lagrangian Relaxation. -
Riemannian game dynamics. -
Statistical Quadrature Evolution by Inference for Continuous-Variable Quantum Key Distribution. -
A Tight Bound for Minimal Connectivity. -
Non-Obfuscated Unprovable Programs & Many Resultant Subtleties. -
Apéry sets and Feng-Rao numbers over telescopic numerical semigroups. -
Heterogeneity of Global and Local Connectivity in Spatial Network Structures of World Migration. -
The subpower membership problem for semigroups. -
-
An improved algorithm for the vertex cover P3 problem on graphs of bounded treewidth. -
An overview and perspective on social network monitoring. -
Weak colored local rules for planar tilings. -
-
Queueing Analysis of a Large-Scale Bike Sharing System through Mean-Field Theory. -
Power-law relations in random networks with communities. -
Quantum homomorphic encryption for polynomial-sized circuits. -
States and channels in quantum mechanics without complex numbers. -
Deflation as a Method of Variance Reduction for Estimating the Trace of a Matrix Inverse. -
On the ring of local unitary invariants for mixed X-states of two qubits. -
Stochastic kinetics reveal imperative role of anisotropic interfacial tension to determine morphology and evolution of nucleated droplets in nematogenic films. -
A size-sensitive inequality for cross-intersecting families. -
Intersection theorems for {0, ±1}-vectors and s-cross-intersecting families.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.