BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sowmya:Arcot

Contributed to:

HCI p2 20132013
ICPR 20122012
ICPR 20102010
TACAS 20102010
DATE 20092009
DATE 20082008
SEFM 20062006
MLDM 20052005
DATE v1 20042004
ICPR v4 20042004
ICML 19991999
ICPR 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.