Arcot Sowmya

2009
45	EE	Karin 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)
2008
44	EE	Karin Avnit, Vijay D'Silva, Arcot Sowmya, S. Ramesh, Sri Parameswaran: A Formal Approach To The Protocol Converter Problem. DATE 2008: 294-299
43	EE	Paul Compton, Byeong Ho Kang, Rodrigo Martínez-Béjar, Mamatha Rudrapatna, Arcot Sowmya: Situated Cognition in the Semantic Web Era. EKAW 2008: 374-387
42	EE	Timothy Bourke, Arcot Sowmya: Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68
41	EE	Anuraag Sridhar, Arcot Sowmya: Multiple Camera, Multiple Person Tracking with Pointing Gesture Recognition in Immersive Environments. ISVC (1) 2008: 508-519
40	EE	Mithun Nagendra Prasad, Arcot Sowmya: Multi-level Classification of Emphysema in HRCT Lung Images Using Delegated Classifiers. MICCAI (1) 2008: 59-66
39	EE	Alena 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)
38	EE	Mithun 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)
2007
37	EE	Xiongcai Cai, Arcot Sowmya: Level Learning Set: A Novel Classifier Based on Active Contour Models. ECML 2007: 79-90
36	EE	Pemadeep Ramsokul, Arcot Sowmya, S. Ramesh: A Test Bed for Web Services Protocols. ICIW 2007: 16
35	EE	Pemadeep Ramsokul, Arcot Sowmya: An Adaptable Formal Model for Web Services Protocols. ICIW 2007: 40
2006
34	EE	Xiongcai Cai, Arcot Sowmya, John Trinder: Learning Parameter Tuning for Object Extraction. ACCV (1) 2006: 868-877
33	EE	Mamatha Rudrapatna, Arcot Sowmya: Feature Weighted Minimum Distance Classifier with Multi-class Confidence Estimation. Australian Conference on Artificial Intelligence 2006: 253-263
32	EE	Timothy Bourke, Arcot Sowmya: A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101
31	EE	Mamatha Rudrapatna, Prinith Amaratunga, Mithun Nagendra Prasad, Arcot Sowmya, Peter Wilson: Automatic Detection of Tram Tracks on HRCT Images. ICIP 2006: 885-888
30	EE	Xiongcai Cai, Arcot Sowmya: Active Contour with Neural Networks-Based Information Fusion Kernel. ICONIP (2) 2006: 324-333
29	EE	Avishkar Misra, Arcot Sowmya, Paul Compton: Incremental learning for segmentation in medical images. ISBI 2006: 1360-1363
28	EE	Pemadeep Ramsokul, Arcot Sowmya: A Sniffer Based Approach to WS Protocols Conformance Checking. ISPDC 2006: 58-65
27	EE	Pemadeep Ramsokul, Arcot Sowmya: ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. SEFM 2006: 196-205
2005
26	EE	Nick Seow, Arcot Sowmya, Changming Sun: Multi-Image 2D-PAGE Feature Detection. DICTA 2005: 20
25	EE	Mamatha 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
24	EE	J. Y. Lai, Arcot Sowmya, John Trinder: Support Vector Machine Experiments for Road Recognition in High Resolution Images. MLDM 2005: 426-436
23	EE	Timothy 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)
2004
22	EE	Vijay D'Silva, S. Ramesh, Arcot Sowmya: Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures. DATE 2004: 390-395
21	EE	Mithun 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
18	EE	Chun-Fan Lee, Arcot Sowmya: An approach to appearance-based simultaneous localization and map building (SLAM). RAM 2004: 857-862
17	EE	Vijay D'Silva, S. Ramesh, Arcot Sowmya: Bridge Over Troubled Wrappers: Automated Interface Synthesis. VLSI Design 2004: 189-194
2003
16	EE	Neil Yager, Arcot Sowmya: Support Vector Machines for Road Extraction from Remotely Sensed Images. CAIP 2003: 285-292
2002
15	EE	Partha S. Roop, Arcot Sowmya, S. Ramesh: k-time Forced Simulation: A Formal Verification Technique for IP Reuse. ICCD 2002: 50-55
14	EE	Arcot 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)
2001
13	EE	Partha S. Roop, Arcot Sowmya, S. Ramesh: A formal approach to component based development of synchronous programs. ASP-DAC 2001: 421-424
12	EE	Partha 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)
2000
11	EE	Partha S. Roop, Arcot Sowmya, S. Ramesh: Automated Component Adaptation by Forced Simulation. ACAC 2000: 74-81
10	EE	Partha S. Roop, Arcot Sowmya, S. Ramesh: Automatic Component Matching Using Forced Simulation. VLSI Design 2000: 64-69
1999
9		Maziar Palhang, Arcot Sowmya: Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System. ICML 1999: 288-297
8	EE	Maziar Palhang, Arcot Sowmya: Feature Extraction: Issues, New Features, and Symbolic Representation. VISUAL 1999: 418-426
1998
7	EE	Partha S. Roop, Arcot Sowmya: Hidden time model for specification and verification of embedded systems. ECRTS 1998: 98-105
6	EE	Mark W. Peters, Arcot Sowmya: Integrated Techniques for Self-Organisation, Sampling, Habituation, and Motion-Tracking in Visual Robotics Applications. MVA 1998: 199-202
5	EE	Sung Shic Park, Arcot Sowmya: Autonomous Robot Navigation by Active Visual Motion Analysis and Understanding. MVA 1998: 38-41
4	EE	Partha S. Roop, Arcot Sowmya: CFSMcharts: A New Language for Microprocessor Based system Design. VLSI Design 1998: 342-346
3	EE	Arcot Sowmya, S. Ramesh: Extending Statecharts with Temporal Logic. IEEE Trans. Software Eng. 24(3): 216-231 (1998)
1996
2		Maziar Palhang, Arcot Sowmya: Automatic Acquisition of Object Models by Relational Learning. VISUAL 1996: 239-258
1994
1	EE	Arcot Sowmya, K. W. E. Lee: Generating Symbolic Descriptions of Two-dimensional Blocks World. MVA 1994: 65-70

Coauthor Index

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

Colors in the list of coauthors