research
∙
06/08/2023
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a su...
share
research
∙
11/22/2022
A Complete Diagrammatic Calculus for Boolean Satisfiability
We propose a calculus of string diagrams to reason about satisfiability ...
research
∙
12/07/2020
Coalgebraic Semantics for Probabilistic Logic Programming
Probabilistic logic programming is increasingly important in artificial ...
research
∙
03/08/2020
Toward a Wearable RFID System for Real-Time Activity Recognition Using Radio Patterns
Elderly care is one of the many applications supported by real-time acti...
research
∙
03/08/2020
Crowdsourced Smartphone Sensing for Localization in Metro Trains
Traditional fingerprint based localization techniques mainly rely on inf...
research
∙
03/07/2020
Data Management for Context-Aware Computing
We envisage future context-aware applications will dynamically adapt the...
research
∙
03/06/2020
A Hierarchical Semantic Overlay for P2P Search
In this paper, we propose a hierarchical semantic overlay network for se...
research
∙
03/06/2020
PAS: Prediction-based Adaptive Sleeping for Environment Monitoring in Sensor Networks
Energy efficiency has proven to be an important factor dominating the wo...
research
∙
03/06/2020
Chemotaxis and Quorum Sensing inspired Device Interaction supporting Social Networking
Conference and social events provides an opportunity for people to inter...
research
∙
03/06/2020
An Ontology-based Context Model in Intelligent Environments
Computing becomes increasingly mobile and pervasive today; these changes...
research
∙
03/06/2020
A P2P Context Lookup Service for Multiple Smart Spaces
Context information has emerged as an important resource to enable auton...
research
∙
02/07/2020
MDLdroid: a ChainSGD-reduce Approach to Mobile Deep Learning for Personal Mobile Sensing
Personal mobile sensing is fast permeating our daily lives to enable act...
research
∙
05/17/2018
Interpretable Parallel Recurrent Neural Networks with Convolutional Attentions for Multi-Modality Activity Modeling
Multimodal features play a key role in wearable sensor-based human activ...
research
∙
02/27/2018
Enabling Multiple Access for Non-Line-of-Sight Light-to-Camera Communications
Light-to-Camera Communication (LCC) has emerged as a new wireless commun...
research
∙
11/21/2017
Fullie and Wiselie: A Dual-Stream Recurrent Convolutional Attention Model for Activity Recognition
Multimodal features play a key role in wearable sensor based Human Activ...
research
∙
11/16/2017
MindID: Person Identification from Brain Waves through Attention-based Recurrent Neural Network
Person identification technology recognizes individuals by exploiting th...
research
∙
09/26/2017
Multi-Person Brain Activity Recognition via Comprehensive EEG Signal Analysis
An electroencephalography (EEG) based brain activity recognition is a fu...
research
∙
09/26/2017