Automatedplanning within the scope of middle level echelondecision makingprocessesis beginningto receive increasedresearchattentionin an attemptto reducethe size of the supportsta...
Carmen Grama, Eytan Pollak, Randy Brasch, James Wa...
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
Abstract. Instructors and students would benefit more from computersupported peer review, if instructors received information on how well students have understood the conceptual is...
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
Multicore platforms are predicted to become significantly larger in the coming years. Given that real-time workloads will inevitably be deployed on such platforms, the scalabilit...