Partial Independence in the Probabilistic Satisfiability Problem

Probabilistic Answer Set Programming

Adding native support for task scheduling to a Linux-capable RISC-V multicore sy...

Stochastic global optimization strategies for packing circles within ellipses

Software For Choral Conducting

Efficient algorithms for the minimum budget problem in risk-sensitive Markov decision...

Offerbook construction from high frequency data and an algorithm for predicting values...

Algorithms and data structure for component-hypertrees of gray-level images

Incremental and efficient computation of sequences of component trees

A graph-based approach for online multi-object tracking in structured videos with...