A method to model and analyze the hybrid systems is presented. The time to. be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN' s basic structure is a Petri net with predicated transition. All components of the net are expressed by anno...

This paper discusses the algorithms for achieving global states and self-stabilization for communication protocols. It first describes a primary algorithm including its suitability for achieving global states and limitation of self-stabilization for communication protocols. and then presents an impr...

With the development of CMOS and MEMS technologies, the implementation of a large number of wireless distributed micro-sensors that can be easily and rapidly deployed to form highly redundant, self-configuring, and ad hoc sensor networks. To facilitate ease of deployment, these sensors operate on ba...

A novel multi-view 3D face registration method based on principal axis analysis and labeled regions orientation called local orientation registration is proposed. The pre-registration is achieved by transforming the multi-pose models to the standard frontal model's reference frame using the principa...

Ontology evolution is the timely adaptation of ontologies to changing requirements, which is becoming more and more important as ontologies become widely used in different fields. This paper shows how to address the problem of evolving ontologies with less manual case-based reasoning using an automa...