io-port.net

io-port 06103231 Johnson, Taylor T.; Green, Jeremy; Mitra, Sayan; Dudley, Rachel; Erwin, Richard Scott

Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems. (English)

Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 252-266 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094567 Mitra, Sushmita; Kundu, Partha Pratim; Pedrycz, Witold

Feature selection using structural similarity. (English)

Inf. Sci. 198, 48-61 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06073936 Prusinkiewicz, Przemyslaw; Shirmohammadi, Mitra; Samavati, Faramarz

L-systems in geometric modeling. (English)

Int. J. Found. Comput. Sci. 23, No. 1, 133-146 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06071468 Shikkenawis, Gitam; Mitra, Suman K.

A new proposal for locality preserving projection. (English)

Kundu, Malay K. (ed.) et al., Perception and machine intelligence. First Indo-Japan conference, Permin 2012, Kolkata, India, January 12‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27386-5/pbk). Lecture Notes in Computer Science 7143, 298-305 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06071461 Das, Ranajit; Mitra, Sushmita

Aggregation of correlation measures for the reverse engineering of gene regulatory sub-networks. (English)

Kundu, Malay K. (ed.) et al., Perception and machine intelligence. First Indo-Japan conference, Permin 2012, Kolkata, India, January 12‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27386-5/pbk). Lecture Notes in Computer Science 7143, 235-242 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06071450 Saha, Chandrani; Ahmed, Washef; Mitra, Soma

A new motion based fully automatic facial expression recognition system. (English)

Kundu, Malay K. (ed.) et al., Perception and machine intelligence. First Indo-Japan conference, Permin 2012, Kolkata, India, January 12‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27386-5/pbk). Lecture Notes in Computer Science 7143, 145-154 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06069557 Johnson, Taylor T.; Mitra, Sayan

A small model theorem for rectangular hybrid automata networks. (English)

Giese, Holger (ed.) et al., Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30792-8/pbk). Lecture Notes in Computer Science 7273, 18-34 (2012).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06060160 Yao, JingTao (ed.); Yang, Yan (ed.); Słowiński, Roman (ed.); Greco, Salvatore (ed.); Li, Huaxiong (ed.); Mitra, Sushmita (ed.); Polkowski, Lech (ed.)

Rough sets and current trends in computing. 8th international conference, RSCTC 2012, Chengdu, China, August 17‒20, 2012. Proceedings. (English)

Lecture Notes in Computer Science 7413. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-32114-6/pbk). xvii, 480~p. EUR~66.34 (2012).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06011470 Kundu, Malay K. (ed.); Mitra, Sushmita (ed.); Mazumdar, Debasis (ed.); Pal, Sankar K. (ed.)

Perception and machine intelligence. First Indo-Japan conference, Permin 2012, Kolkata, India, January 12‒13, 2012. Proceedings. (English)

Lecture Notes in Computer Science 7143. Berlin: Springer (ISBN 978-3-642-27386-5/pbk). xvii, 380~p. EUR~57.78 (2012).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06060514 Ransbotham, Sam; Murthy, Ishwar; Mitra, Sabyasachi; Narasimhan, Sridhar

Sequential grid computing: models and computational experiments. (English)

INFORMS J. Comput. 23, No. 2, 174-188 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06055628 Mitra, Sushmita; Kundu, Partha Pratim

Satellite image segmentation with shadowed $C$-means. (English)

Inf. Sci. 181, No. 17, 3601-3613 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06052548 Chandy, K.Mani; Go, Brian; Mitra, Sayan; Pilotto, Concetta; White, Jerome

Verification of distributed systems with local-global predicates. (English)

Formal Asp. Comput. 23, No. 5, 649-679 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06016255 Borghol, Youmna; Mitra, Siddharth; Ardon, Sebastien; Carlsson, Niklas; Eager, Derek; Mahanti, Anirban

Characterizing and modelling popularity of user-generated videos. (English)

Perform. Eval. 68, No. 11, 1037-1055 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05950334 Mitra, Sharmishtha; Mitra, Amit; Kundu, Debasis

Genetic algorithm and M-estimator based robust sequential estimation of parameters of nonlinear sinusoidal signals. (English)

Commun. Nonlinear Sci. Numer. Simul. 16, No. 7, 2796-2809 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05928278 Ousterhout, John K.; Agrawal, Parag; Erickson, David; Kozyrakis, Christos; Leverich, Jacob; Mazières, David; Mitra, Subhasish; Narayanan, Aravind; Ongaro, Diego; Parulkar, Guru M.; Rosenblum, Mendel; Rumble, Stephen M.; Stratmann, Eric; Stutsman, Ryan

The case for ramcloud. (English)

Commun. ACM 54, No. 7, 121-130 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05923506 Chakraborty, Kaushik; Chakraborty, Ayon; Mitra, Swarup Kumar; Naskar, Mrinal K.

ROOT: energy efficient routing through optimized tree in sensor networks. (English)

Comput. Res. Repos. 2011, Article No. 1105.2091 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05923505 Chakraborty, Ayon; Mitra, Swarup Kumar; Naskar, Mrinal K.

Energy efficient routing in wireless sensor networks: A genetic approach. (English)

Comput. Res. Repos. 2011, Article No. 1105.2090 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05921981 Mintarno, Evelyn; Skaf, Joëlle; Zheng, Rui; Velamala, Jyothi; Cao, Yu; Boyd, Stephen P.; Dutton, Robert W.; Mitra, Subhasish

Self-tuning for maximized lifetime energy-efficiency in the presence of circuit aging. (English)

IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 30, No. 5, 760-773 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05920601 Mitra, Siddharth; Agrawal, Mayank; Yadav, Amit; Carlsson, Niklas; Eager, Derek L.; Mahanti, Anirban

Characterizing web-based video sharing workloads. (English)

ACM Trans. Web 5, No. 2, 8 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05915970 Hariharan, Divya; Acharya, Tinku; Mitra, Sushmita

Recognizing hand gestures of a dancer. (English)

Kuznetsov, Sergei O. (ed.) et al., Pattern recognition and machine intelligence. 4th international conference, PReMI 2011, Moscow, Russia, June 27 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21785-2/pbk). Lecture Notes in Computer Science 6744, 186-192 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI