Travelled to:1 × Australia
1 × Cyprus
1 × India
1 × Japan
1 × Slovenia
1 × Turkey
1 × USA
1 × United Kingdom
2 × France
2 × Germany
Collaborated with:K.Avnit D.Semenovich V.D'Silva S.Ramesh J.P.Son P.Ramsokul M.Palhang M.W.Peters B.E.Goldsmith J.Peddersen J.Y.Lai J.Trinder M.N.Prasad I.Koch S.Parameswaran
Talks about:protocol (5) convert (3) model (3) framework (2) approach (2) system (2) formal (2) verif (2) imag (2) discriminatori (1)
Person: Arcot Sowmya
DBLP: Sowmya:Arcot
Contributed to:
2013
20122010
2010
20092008
2006
200520042004
19991998Wrote 12 papers:
- HCI-AS-2013-SonS #artificial reality
- Single-Handed Driving System with Kinect (JPS, AS), pp. 631–639.
- ICPR-2012-SemenovichSG #modelling #predict
- Predicting onsets of genocide with sparse additive models (DS, AS, BEG), pp. 3549–3552.
- ICPR-2010-SemenovichS #higher-order #performance
- Tensor Power Method for Efficient MAP Inference in Higher-order MRFs (DS, AS), pp. 734–737.
- TACAS-2010-AvnitSP #automation #named #protocol #synthesis
- ACS: Automatic Converter Synthesis for SoC Bus Protocols (KA, AS, JP), pp. 343–348.
- DATE-2009-AvnitS #approach #design #formal method #protocol
- A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
- DATE-2008-AvnitDSRP #approach #formal method #problem #protocol
- A Formal Approach To The Protocol Converter Problem (KA, VD, AS, SR, SP), pp. 294–299.
- SEFM-2006-RamsokulS #framework #modelling #named #protocol #verification #web service
- ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols (PR, AS), pp. 196–205.
- MLDM-2005-LaiST #image #recognition
- Support Vector Machine Experiments for Road Recognition in High Resolution Images (JYL, AS, JT), pp. 426–436.
- DATE-v1-2004-DSilvaRS #architecture #automaton #communication #framework #modelling #protocol #verification
- Synchronous Protocol Automata: A Framework for Modelling and Verification of SoC Communication Architectures (VD, SR, AS), pp. 390–395.
- ICPR-v4-2004-PrasadSK #image #set #using
- Feature Subset Selection using ICA for Classifying Emphysema in HRCT Images (MNP, AS, IK), pp. 515–518.
- ICML-1999-PalhangS #induction #learning #logic programming
- Learning Discriminatory and Descriptive Rules by an Inductive Logic Programming System (MP, AS), pp. 288–297.
- ICPR-1998-PetersS #realtime
- A real-time variable sampling technique: DIEM (MWP, AS), pp. 316–321.