SPIN
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
SOFTCO
2004
Springer
14 years 6 months ago
2004
Springer
SOFTCO
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
SOFTCO
2004
Springer
14 years 6 months ago
2004
Springer
The computational identification of genes in DNA sequences has become an issue of crucial importance due to the large number of DNA molecules being currently sequenced. We present ...
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
We initiate a systematic study of the Row Deletion(B) problem on matrices: For a fixed “forbidden submatrix” B, the question is, given an input matrix A (both A and B have ent...
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
Cooperation in information retrieval contexts can be used to share query results inside groups of individuals with common objectives, provided that all of them are aware of each ot...
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. Research on processing XML documents gained much activity in recent times. XML query languages are mostly based on XPath expressions, which are used to select parts of XM...
SOFSEM
2004
Springer
14 years 6 months ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...