Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...
— This paper presents a fast tracking algorithm capable of estimating the complete pose (6DOF) of an industrial object by using its circular-shape features. Since the algorithm i...
Youngrock Yoon, Guilherme N. DeSouza, Avinash C. K...
The need for visualisation applications developed for small handheld devices such as PDAs and intelligent mobiles are growing. A visual user interface VUI model based on zooming u...
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...