Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
Efficient methods of content characterization for the browsing, retrieval or filtering of vast amount of digital video content has become a necessity. Still, there is a gap betwee...
As new technologies create smaller, cheaper and faster machines, we see a paradigm shift from desktop computing to wearable computing. In less than a decade, we have witnessed the...
Jennifer G. Sheridan, Valerie Lafond-Favieres, Wen...
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...