We show that for conditional planning with partial observability the existence problem of plans with success probability 1 is 2-EXP-complete. This result completes the complexity ...
Hospitals today are investing time and money to expand and improve their Emergency Departments (ED). Using simulation to test their many improvement ideas can necessitate running ...
The classical formulation of large displacement visco-elasticity requires the geometrically nonlinear Green tensor. Keeping track of the rotational part of strain permits alternat...
We automatically classify verbs into lexical semantic classes, based on distributions of indicators of verb alternations, extracted from a very large annotated corpus. We address ...
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...