Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
Michael Stollberg, Dumitru Roman, Ioan Toma, Uwe K...
Abstract. In recent years there has been growing interest in recognition models using local image features for applications ranging from long range motion matching to object class ...
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...