Standard algorithms for dealing with symmetric polynomials are presented using rewriting techniques. This is for instance the case of the ”fundamental theorem of symmetric polynomials”, which states that any symmetric polynomial is a polynomial in the elementary symmetric ones, and whose proof involves rewriting using a suitable elimination order. This kind approach usually spoils useful featur...

Diversification is a method of improving user satisfaction by increasing the variety of information shown to user. Due to the lack of a precise definition of information variety, many diversification techniques have been proposed. These techniques, however, have been rarely compared and analyzed under the same setting, rendering a ‘right’ choice for a particular application very difficult. Addr...

The ability to ensure process safety at a facility is influenced by many things: for example, employing appropriate technology in design and construction, anticipating the effects of external circumstances, understanding and dealing with human behavior, getting high reporting of near misses to learn from incidents, and having effective management systems. However, all of these efforts depend on...

Logic partitioning is an important issue in VLSI CAD, and has been an active area of research for at least the last 25 years. Numerous approaches have been developed and many different techniques have been combined for a wide range of applications. In this paper, we examine many of the existing techniques for logic bipartitioning and present a methodology for determining the best mix of approac...

The most expressive way humans display emotions is through facial expressions. In this work we report on several advances we have made in building a system for classification of facial expressions from continuous video input. We introduce and test different Bayesian network classifiers for classifying expressions from video. In particular we use Naive-Bayes classifiers and to learn the dependen...

In image retrieval, global features related to color or texture are commonly used to describe the image content. The problem with this approach is that these global features cannot capture all parts of the image having different characteristics. Therefore, local computation of image information is necessary. By using salient points to represent local information, more discriminative features ca...

Face recognition is an important technique which can be used in many applications. In recent years, face recognition has attracted large amount of research interest. Many recognition methods have been proposed, however, most of them are not able to make use of local salient features to effectively capture the face information. Recently, SIFT has been proposed for object matching in image retrie...

recent literature attaches high importance to scenic evaluation of natural landscapes. scenic beauty evaluation techniques often use parameters derived from photographs or collected in situ data via field assessment and questionnaires. such techniques are relatively costly and time consuming. park managers and recreational planners require spatial tools and techniques that are fast, flexible an...