From the perspective of knowledge representation and reasoning as well as for the automation of the knowledge discovery process, we argue that a formal logical foundation is needed for KDD and suggest Bacchus’ probability logic is a good choice. It is generally accepted that the unique and most important feature of a KDD system lies in its ability to discover previously unknown and potentially ...

The complexity of finenciel decision-making problems is such that automation of the reasoning process by conventionel approaches is often incomplete or inadequete. This paper describes CREDEX. s knowledge-based system which is being developed to assist bank-loan officers in interpreting end evaluating the activities of firms applying for a loan. CREDEX is written in SNARK. It integrates shallow...

There are many known Arabic lexicons organized on different ways, each of them has a different number of Arabic words according to its organization way. This paper has used mathematical relations to count a number of Arabic words, which proofs the number of Arabic words presented by Al Farahidy. The paper also presents new way to build an electronic Arabic lexicon by using a hash function that ...

T prove success in ubiquitous computing research, you must implement your ideas and deploy them in support of a work practice or community activity. Anything less, and the design’s utility will always be doubted, even if the core engineering is outstanding. The phrase “build what you use and use what you build” was part of Xerox Palo Alto Research Center’s culture during the 1980s’ heyday of pa...

Large software systems often have complex subparts and complex build processes, and engage in subtle relationships with the underlying technologies from which they are designed and constructed. Most reverse engineering toolkits ignore the attributes and relationships of system construction; instead, they concentrate on static relationships among externally visible source code elements. This pap...

Opposition to animal experiments in Britain appears to be extending beyond the labs to other businesses supplying them. Nigel Williams reports.

In this paper, we present the meta-tooling framework named TAISim that can be used both as a developer‟s tool for creating NLP systems and as a NLP learning environment, which allows helping students to construct NLP systems by example in a flexible way. TAISim enables the end user to combine different components of a typical NLP system in order to tackle specific NLP problems. We use ontology-...

Performance analysis for terascale computing requires a combination of new concepts including distribution, on-line processing and automation. As a foundation for tools realizing these concepts, we present a distributed monitoring approach for clustered SMP architectures that tries to minimize the perturbation of the target application while retaining flexibility with respect to filtering and p...

Business process automation improves organizations’ efficiency to perform work. Single executions of process models, called process instances, are usually executed independently in business process management systems (BPMS). In practice, we can observe examples in which a synchronized execution of groups of instances for certain activities, called batch processing, can lead to an improved perfo...

$EVWUDFW Relying fully on manual effort in generating metadata is not the way to go: we need automation of this process, as much as possible, without losing the “quality” of the metadata. In this paper we report on our experiences with automatic metadata generation. We briefly outline the first version of our framework for automatic metadata generation and then report on some lessons we learned...