This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
A novel three-stage method for the analysis of electroencephalographic (EEG) signals, concerning epileptic seizures, is proposed. First, segments of the EEG signals are analyzed u...
Alexandros T. Tzallas, Markos G. Tsipouras, Dimitr...
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...