A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
This paper presents a non parametric method for classifying interactions between two people as taken from a video camera. A nearest neighbour classifier that uses trajectory matchi...
Scott Blunsden, Ernesto L. Andrade, Robert B. Fish...
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
The aim of this work is to provide a tool for the development of Web-based simulations with visual and interactive features. The tool is defined by an object-oriented class librar...
We use the ρ-calculus as an intermediate language to compile functional languages with pattern-matching features, and give an interaction net encoding of the ρ-terms arising fro...