2806 search results - page 22 / 562 » BML and Related Tools |
FUIN
2006
13 years 7 months ago
2006
Bimachines are important conceptual tools used for the characterization of rational word functions (realized by single-valued transducers). Despite the attention received in the pa...
TCS
2002
13 years 7 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
SOFSEM
2004
Springer
14 years 22 days 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...
ICDE
1999
IEEE
14 years 8 months ago
1999
IEEE
Range sum queries on data cubes are a powerful tool for analysis. A range sum query applies an aggregation operation (e.g., SUM) over all selected cells in a data cube, where the ...
CSMR
2009
IEEE
14 years 2 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...