Multi-valued decision diagrams (MDDs) are a generalization of binary decision diagrams (BDDs). They often allow efficient representation of functions with multi-valued input variables similar to BDDs in the binary case. Therefore they are suitable for several applications in synthesis and verification of integrated circuits. MDD sizes counted in number of nodes vary from linear to exponential d...

Ensemble learning has been shown to be very successful in data mining. However most work on ensemble learning concerns the task of classification. Little work has been done to construct ensembles that aim to improve ranking. In this paper, we propose an approach to re-construct new ensembles based on a given ensemble with the purpose to improve the ranking performance, which is crucial in many ...

root class Player extends Objectf bool brave; abstract bool wake() { } ; abstract Weapon kissed() {Player } ; g state class Frog extends Playerf Vocal pouch;bool wake() { } ; abstract Weapon kissed() {Player } ; g state class Frog extends Playerf Vocal pouch; bool wake() { } fpouch.blow() ; braveg Weapon kissed() {Player } fthis⇓Prince; sword:= new Weapong g state class Prince extends Playerf W...

In object oriented database management systems, clustering has proven to be one of the most effective performance enhancement techniques. Existing clustering algorithms are mainly static, that is re-clustering the object base when the database is off-line. However, this type of re-clustering cannot be used when 24-hour database access is required. In such situations dynamic clustering is necess...

We are developing an authoring tool called I-Doc that will automate the process of generating documentation and user help for software systems. The focus of the tool is on capture of the requirements and design decisions that form the content of software documentation. This information can then be used to generate summaries and explanations of the software on demand. The objective of this resea...

service oriented architecture (soa) technology enables composition of large and complex computational units out of the available atomic services. implementation of soa brings about challenges which include service discovery, service interaction, service composition, robustness, quality of service, security, etc. these challenges are mainly due to the dynamic nature of soa. soamay often need to ...

In this paper, we design and evaluate an efficient and dynamic regrouping approach to optimize a large continuous query workload. The key idea of our regrouping algorithm is to find a best solution by removing redundant groups within the existing solution from incremental group optimization. Since the existing query groups usually constitute a very small portion of the entire search space, such...

Simulation of a process and analysis of its resulting data in both dynamic and steady-state conditions are fundamental steps in understanding the process in order to design and efficient control of system as well as implementing operational cost reduction scheme. In the present paper, steady and unsteady state simulation of Amir Kabir1, 3 butadiene purification units has been done by using Aspe...