Arcot Sowmya

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

45EEKarin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. ACM Trans. Design Autom. Electr. Syst. 14(2): (2009)
44EEKarin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: A Formal Approach To The Protocol Converter Problem. DATE 2008: 294-299
43EEPaul Compton, Byeong Ho Kang, Rodrigo Martínez-Béjar, Mamatha Rudrapatna, Arcot Sowmya: Situated Cognition in the Semantic Web Era. EKAW 2008: 374-387
42EETimothy Bourke, Arcot Sowmya: Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68
41EEAnuraag Sridhar, Arcot Sowmya: Multiple Camera, Multiple Person Tracking with Pointing Gesture Recognition in Immersive Environments. ISVC (1) 2008: 508-519
40EEMithun Nagendra Prasad, Arcot Sowmya: Multi-level Classification of Emphysema in HRCT Lung Images Using Delegated Classifiers. MICCAI (1) 2008: 59-66
39EEAlena Shamsheyeva, Arcot Sowmya, Peter Wilson: Segmentation of Lung Patterns in High-Resolution Computed Tomography Images of the Lung. International Journal of Computational Intelligence and Applications 7(3): 265-280 (2008)
38EEMithun Nagendra Prasad, Arcot Sowmya, Inge Koch: Designing Relevant Features for Continuous Data Sets Using ICA. International Journal of Computational Intelligence and Applications 7(4): 447-468 (2008)
37EEXiongcai Cai, Arcot Sowmya: Level Learning Set: A Novel Classifier Based on Active Contour Models. ECML 2007: 79-90
36EEPemadeep Ramsokul, Arcot Sowmya, S. Ramesh: A Test Bed for Web Services Protocols. ICIW 2007: 16
35EEPemadeep Ramsokul, Arcot Sowmya: An Adaptable Formal Model for Web Services Protocols. ICIW 2007: 40
34EEXiongcai Cai, Arcot Sowmya, John Trinder: Learning Parameter Tuning for Object Extraction. ACCV (1) 2006: 868-877
33EEMamatha Rudrapatna, Arcot Sowmya: Feature Weighted Minimum Distance Classifier with Multi-class Confidence Estimation. Australian Conference on Artificial Intelligence 2006: 253-263
32EETimothy Bourke, Arcot Sowmya: A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101
31EEMamatha Rudrapatna, Prinith Amaratunga, Mithun Nagendra Prasad, Arcot Sowmya, Peter Wilson: Automatic Detection of Tram Tracks on HRCT Images. ICIP 2006: 885-888
30EEXiongcai Cai, Arcot Sowmya: Active Contour with Neural Networks-Based Information Fusion Kernel. ICONIP (2) 2006: 324-333
29EEAvishkar Misra, Arcot Sowmya, Paul Compton: Incremental learning for segmentation in medical images. ISBI 2006: 1360-1363
28EEPemadeep Ramsokul, Arcot Sowmya: A Sniffer Based Approach to WS Protocols Conformance Checking. ISPDC 2006: 58-65
27EEPemadeep Ramsokul, Arcot Sowmya: ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. SEFM 2006: 196-205
26EENick Seow, Arcot Sowmya, Changming Sun: Multi-Image 2D-PAGE Feature Detection. DICTA 2005: 20
25EEMamatha Rudrapatna, Van Mai, Arcot Sowmya, Peter Wilson: Knowledge-Driven Automated Detection of Pleural Plaques and Thickening in High Resolution CT of the Lung. IPMI 2005: 270-285
24EEJ. Y. Lai, Arcot Sowmya, John Trinder: Support Vector Machine Experiments for Road Recognition in High Resolution Images. MLDM 2005: 426-436
23EETimothy Bourke, Arcot Sowmya: Formal Models in Industry Standard Tools: an Argos Block within Simulink. International Journal of Software Engineering and Knowledge Engineering 15(2): 389-396 (2005)
22EEVijay D'Silva, S. Ramesh, Arcot Sowmya: Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. DATE 2004: 390-395
21EEMithun Nagendra Prasad, Arcot Sowmya, Inge Koch: Feature Subset Selection using ICA for Classifying Emphysema in HRCT Images. ICPR (4) 2004: 515-518
20 Ching Ming Jimmy Wang, Mamatha Rudrapatna, Arcot Sowmya: Lung Disease Detection Using Frequency Spectrum Analysis. ICVGIP 2004: 485-490
19 Mithun Nagendra Prasad, Arcot Sowmya: Detection of Bronchovascular pairs on HRCT Lung Images Through Relational Learning. ISBI 2004: 1135-1138
18EEChun-Fan Lee, Arcot Sowmya: An approach to appearance-based simultaneous localization and map building (SLAM). RAM 2004: 857-862
17EEVijay D'Silva, S. Ramesh, Arcot Sowmya: Bridge Over Troubled Wrappers: Automated Interface Synthesis. VLSI Design 2004: 189-194
16EENeil Yager, Arcot Sowmya: Support Vector Machines for Road Extraction from Remotely Sensed Images. CAIP 2003: 285-292
15EEPartha S. Roop, Arcot Sowmya, S. Ramesh: k-time Forced Simulation: A Formal Verification Technique for IP Reuse. ICCD 2002: 50-55
14EEArcot Sowmya, David Tsz-Wang So, Wan Hung Tang: Design of a Mobile Robot Controller Using Esterel Tools. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
13EEPartha S. Roop, Arcot Sowmya, S. Ramesh: A formal approach to component based development of synchronous programs. ASP-DAC 2001: 421-424
12EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Forced simulation: A technique for automating component reuse in embedded systems. ACM Trans. Design Autom. Electr. Syst. 6(4): 602-628 (2001)
11EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Automated Component Adaptation by Forced Simulation. ACAC 2000: 74-81
10EEPartha S. Roop, Arcot Sowmya, S. Ramesh: Automatic Component Matching Using Forced Simulation. VLSI Design 2000: 64-69
9 Maziar Palhang, Arcot Sowmya: Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System. ICML 1999: 288-297
8EEMaziar Palhang, Arcot Sowmya: Feature Extraction: Issues, New Features, and Symbolic Representation. VISUAL 1999: 418-426
7EEPartha S. Roop, Arcot Sowmya: Hidden time model for specification and verification of embedded systems. ECRTS 1998: 98-105
6EEMark W. Peters, Arcot Sowmya: Integrated Techniques for Self-Organisation, Sampling, Habituation, and Motion-Tracking in Visual Robotics Applications. MVA 1998: 199-202
5EESung Shic Park, Arcot Sowmya: Autonomous Robot Navigation by Active Visual Motion Analysis and Understanding. MVA 1998: 38-41
4EEPartha S. Roop, Arcot Sowmya: CFSMcharts: A New Language for Microprocessor Based system Design. VLSI Design 1998: 342-346
3EEArcot Sowmya, S. Ramesh: Extending Statecharts with Temporal Logic. IEEE Trans. Software Eng. 24(3): 216-231 (1998)
2 Maziar Palhang, Arcot Sowmya: Automatic Acquisition of Object Models by Relational Learning. VISUAL 1996: 239-258
1EEArcot Sowmya, K. W. E. Lee: Generating Symbolic Descriptions of Two-dimensional Blocks World. MVA 1994: 65-70

Coauthor Index

1Prinith Amaratunga [31]
2Karin Avnit [44] [45]
3Timothy Bourke [23] [32] [42]
4Xiongcai Cai [30] [34] [37]
5Paul Compton [29] [43]
6Vijay D'Silva [17] [22] [44] [45]
7Byeong Ho Kang [43]
8Inge Koch [21] [38]
9J. Y. Lai [24]
10Chun-Fan Lee [18]
11K. W. E. Lee [1]
12Van Mai [25]
13Rodrigo Martínez-Béjar [43]
14Avishkar Misra [29]
15Maziar Palhang [2] [8] [9]
16Sri Parameswaran [44] [45]
17Sung Shic Park [5]
18Mark W. Peters [6]
19Mithun Nagendra Prasad [19] [21] [31] [38] [40]
20S. Ramesh (Sethu Ramesh) [3] [10] [11] [12] [13] [15] [17] [22] [36] [44] [45]
21Pemadeep Ramsokul [27] [28] [35] [36]
22Partha S. Roop [4] [7] [10] [11] [12] [13] [15]
23Mamatha Rudrapatna [20] [25] [31] [33] [43]
24Nick Seow [26]
25Alena Shamsheyeva [39]
26David Tsz-Wang So [14]
27Anuraag Sridhar [41]
28Changming Sun [26]
29Wan Hung Tang [14]
30John Trinder [24] [34]
31Ching Ming Jimmy Wang [20]
32Peter Wilson [25] [31] [39]
33Neil Yager [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)