For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the properties inh...
详细信息
ISBN:
(纸本)3540643036
For reuse in concurrent object-oriented languages we present a set of reuse constructs. We give criteria for relations between classes that can be implemented by those reuse constructs, characterize the properties inherited via the constructs and explore that we have not only constructs but concepts for reuse. We demonstrate the concepts and constructs with the object-oriented concurrent language Maude. We employ the mu-calculus to reason about these specifications and (bi)simulation relations parameterized with Galois connections to model reuse.
In this paper, a structural representation and fuzzy matching scheme is proposed for off-line multi-font Chinese character recognition. Firstly, a Chinese character is decomposed into eight stroke types. Secondly, a c...
详细信息
In this paper, a structural representation and fuzzy matching scheme is proposed for off-line multi-font Chinese character recognition. Firstly, a Chinese character is decomposed into eight stroke types. Secondly, a complete structural attribute feature codes among different type of strokes are defined and extracted. Lastly, a fuzzy matching scheme and dynamic programming algorithm is used for detailed match between an input character and candidate characters. Experiment on about 5140 daily used characters shows that our method can achieve 96.23% recognition accuracy.
AORTA has been proposed as an implementable real-time algebra for concurrent systems where event times, rather than values of data, are critical. In this paper we discuss an extension to AORTA to include a formal data...
详细信息
ISBN:
(纸本)3540643036
AORTA has been proposed as an implementable real-time algebra for concurrent systems where event times, rather than values of data, are critical. In this paper we discuss an extension to AORTA to include a formal data model, allowing integration with a variety of model-based data specification languages. An example is given using VDM with AORTA to define a time-critical system with important data attributes, and supporting software tools for AORTA and a simple imperative language are described.
This paper presents Telecommunication Applications as the largest, most complex embedded software applications in the world today. By presenting a simple example of a GSM voice call it is shown how large and complex t...
详细信息
The pharmaceutical industry is increasingly overwhelmed by large-volume-data. This is generated both internally as a side-effect of screening tests and combinatorial chemistry, as well as externally from sources such ...
详细信息
ISBN:
(纸本)3540653902
The pharmaceutical industry is increasingly overwhelmed by large-volume-data. This is generated both internally as a side-effect of screening tests and combinatorial chemistry, as well as externally from sources such as the human genome project. The industry is predominantly knowledge-driven. For instance, knowledge is required within computational chemistry for pharmacophore identification, as well as for determining biological function using sequence analysis. From a computer science point of view, the knowledge requirements within the industry give higher emphasis to “knowing that̶1; (declarative or descriptive knowledge) rather than “knowing how̶1; (procedural or prescriptive knowledge). Mathematical logic has always been the preferred representation for declarative knowledge and thus knowledge discovery techniques are required which generate logical formulae from data. Inductive Logic programming (ILP) [6,1] provides such an approach This talk will review the results of the last few yearsR17; academic pilot studies involving the application of ILP to the prediction of protein secondary structure [5,8,9], mutagenicity [4,7], structure activity [3], pharmacophore discovery [2] and protein fold analysis [10]. While predictive accuracy is the central performance measure of data analytical techniques which generate procedural knowledge (neural nets, decision trees, etc.), the performance of an ILP system is determined both by accuracy and degree of stereo-chemical insight provided
We present a small set of programming abstractions to simplify efficient implementations for block-structured scientific calculations on SMP clusters. We have implemented these abstractions in KeLP 2.0, a C++ class li...
详细信息
The proceedings contain 51 papers. The topics discussed include: a cognitive model for facilitating the teaching of computer programming skills;a self-taught computer engineering course;problem-based learning of first...
ISBN:
(纸本)0897918452
The proceedings contain 51 papers. The topics discussed include: a cognitive model for facilitating the teaching of computer programming skills;a self-taught computer engineering course;problem-based learning of first year computer science;low-contact learning in a first year programming course;graphical visualization support in a uniform environment;data structures with Ada packages, laboratories, and animations;visible-C a simple visualization system for c data structures;obtaining maximum leverage from undergraduate software engineering projects;using computer generated software metrics to improve the quality of students' programs;and software for detecting suspected plagiarism: comparing structure and attribute-counting systems.
Constraints allow programmers and users to state declaratively a relation that should be maintained, rather than requiring them to write procedures to maintain the relation themselves. They are thus useful in such app...
详细信息
This paper proposes a new algorithm called combined evolutionary algorithm (CEA) to train a neural network, and demonstrates its use in inducing thefinite state automata task. This algorithm evolves neural networks by...
详细信息
暂无评论