My Research Projects

Research Projects (Arcot Sowmya)

Current Projects

Provably Correct On-chip Communication-based Design NEW PhD Scholarships Available DEADLINE April 30th 2005

Formal Model of Web Services Protocols

Model-based Design of Network of Synchronous Nodes

Learning Medical Image Knowledge

Information Fusion and Machine Learning in Linear Features Extraction in High Resolution Images

Completed Projects

Composite Learning of Linear Features in High Resolution Images

Component Reuse Framework for Embedded S ystem Design

Symbolic Component Reuse for embedded s ystems

FSIM: component reuse methods for embedded systems

State-based Specification and Logic-based Verification of embedded systems

Automatic Feature Extraction and Recognition on high resolution remotely sensed images

Semi-automatic and automatic tools for data acquisition from remotely sensed data

Real-time Tracking for a Visual Robot

Building Object Models Automatically