Classification methods from statistical pattern recognition, neural nets, and machine learning were applied to four real-world data sets. Each of these data sets has been previous...
A Management Information Base browser is a very important application in any management environment as it enables a human manager to browse through the Management Information Tree...
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
This paper reports on research into the use of SenseCam, a wearable automatic camera. Household members were given multiple SenseCams to enable an exploration of how the device wo...
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...