Abstract Models are considered an essential step in capturing different system behaviours
and simplifying the analysis required to check or improve the quality of software. Verification …

Hidden Markov model (HMM) is the dominant technology in speech recognition. The
problem of optimizing model parameters is of great interest to the researchers in this area …

We describe a sound, terminating, and complete matching algorithm for terms built over
flexible arity function symbols and context, function, sequence, and individual variables …

In this paper, we develop a framework for the automated verification of Web sites, which can
be used to specify integrity conditions for a given Web site, and then automatically check …

Abstract Models are considered an essential step in capturing system behavior and
simplifying the analysis required to check or improve the quality of software. Verification and …

We describe a matching algorithm for terms built over flexible arity function symbols and
context, function, sequence, and individual variables. The algorithm is called a context …

Context and sequence variables allow matching to explore term-trees both in depth and in
breadth. It makes context sequence matching a suitable computational mechanism for a rule …

The development and maintenance of Web sites are difficult tasks. To maintain the
consistency of ever-larger, complex Web sites, Web administrators need effective …

Maintaining large Web sites and verifying their semantic content is a difficult task. In this
paper we propose a framework for syntactic validation, semantic verification and automatic …

Web site semantic content verification can be a tedious and error prone task. In this paper
we propose a framework for syntactic validation and semantic verification based on the logic …