Home      Library      Discussions      About
Join us

@dcs.shef.ac.uk

Oct 09, 2013
Logic in Computer Science

A concurrent quantale is a particular kind of concurrent Kleene algebra [Hoa09]. It is composed of two quantales that interact via the interchange law (LABEL:eq:interchange-law). In this section, we show that the set BES of bundle event structures e…

An Event Structure Model for Probabilistic Concurrent Kleene Algebra

We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines…
Mar 22, 2012
Computation and Language

Analysing Temporally Annotated Corpora with CAVaT

We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical a…
Sep 06, 2018
Machine Learning

Gaussian Process Regression for Binned Data

Many datasets are in the form of tables of binned data. Performing regression on these data usually involves either reading off bin heights, ignoring…
Oct 27, 2014
Computation and Language

Analysis of Named Entity Recognition and Linking for Tweets

Applying natural language processing for mining and intelligent information access to tweets (a form of microblog) is a challenging, emerging researc…
Nov 28, 2012
Logic in Computer Science

This research is supported under the Royal Society International Exchanges Scheme (ref. IE110369). Németi’s research was supported by OTKA grant No 81188. This work was partially undertaken whilst Stannett was a visiting fellow at the Isaac Newton I…

Using Isabelle to verify special relativity, with application to hy…

Logicians at the R\'enyi Mathematical Institute in Budapest have spent several years developing versions of relativity theory (special, general, and …
Dec 26, 2014
Machine Learning

Gaussian Process Pseudo-Likelihood Models for Sequence Labeling

Several machine learning problems arising in natural language processing can be modeled as a sequence labeling problem. We provide Gaussian process m…
Nov 10, 2015
Computation and Language

This paper has described the USFD system entered in W-NUT 2015. It achieves performance through unsupervised feature generation, through Freebase gazetteers, and through weighting input data according to its origin date in order to account for drift…

USFD: Twitter NER with Drift Compensation and Linked Data

This paper describes a pilot NER system for Twitter, comprising the USFD system entry to the W-NUT 2015 NER shared task. The goal is to correctly lab…
Jul 25, 2011
Machine Learning
Artificial Intelligence
Computer Vision
Probability

Variational Gaussian Process Dynamical Systems

High dimensional time series are endemic in applications of machine learning such as robotics (sensor data), computational biology (gene expression d…
Jan 30, 2013
Formal Languages and Automata Theory

A Kleene algebra is a structure that encodes algebraically the sequential behaviour of a system. It is generally presented in the form of an idempotent 222Idempotence refers to the operation + i.e. x+x=x. semiring structure (K,+,⋅,0,1) where x⋅y (se…

Weak Concurrent Kleene Algebra with Application to Algebraic Verifi…

We propose a generalisation of concurrent Kleene algebra \cite{Hoa09} that can take account of probabilistic effects in the presence of concurrency. …
There aren't more papers

Request Comment

or Invite via email
You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description