The problem of segmenting color video sequences is addressed. Boundary motion and occlusion relations expressed by labeling rules are argued to be of key importance for segmentati...
Albert Akhriev, Alexander Bonch-Osmolovsky, Alexan...
Fuzzy model-based adaptive control, unlike traditional fuzzy control, extracts expert knowledge from data by using model identification techniques. In this paper, we propose an an...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
Information practices that use personal, financial, and health-related information are governed by US laws and regulations to prevent unauthorized use and disclosure. To ensure com...
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...