University of Illinois at Urbana-Champaign

  • Urbana

    United States

Research Output

Filter
Conference contribution
Conference contribution

A feedback particle filter-based approach to optimal control with partial observations

Mehta, P. G. & Meyn, S. P., Jan 1 2013, 2013 IEEE 52nd Annual Conference on Decision and Control, CDC 2013. Institute of Electrical and Electronics Engineers Inc., p. 3121-3127 7 p. 6760359. (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AFET: Automatic fine-grained entity typing by hierarchical partial-label embedding

Ren, X., He, W., Qu, M., Huang, L., Ji, H. & Han, J., 2016, EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings. Association for Computational Linguistics (ACL), p. 1369-1378 10 p. (EMNLP 2016 - Conference on Empirical Methods in Natural Language Processing, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A FETI-DP method enhanced with second-order transmission condition for antenna array analysis

Xue, M. F. & Jin, J. M., Sep 18 2014, 2014 IEEE Antennas and Propagation Society International Symposium(APSURSI). Institute of Electrical and Electronics Engineers Inc., p. 2238-2239 2 p. 6905446. (IEEE Antennas and Propagation Society, AP-S International Symposium (Digest)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Affect dynamics in military trainees using vMedic: From engaged concentration to boredom to confusion

Ocumpaugh, J., Andres, J. M., Baker, R., DeFalco, J., Paquette, L., Rowe, J., Mott, B., Lester, J., Georgoulas, V., Brawner, K. & Sottilare, R., Jan 1 2017, Artificial Intelligence in Education - 18th International Conference, AIED 2017, Proceedings. Andre, E., Hu, X., Rodrigo, M. M. T., du Boulay, B. & Baker, R. (eds.). Springer-Verlag Berlin Heidelberg, p. 238-249 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10331 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Affective Driver State Monitoring for Personalized, Adaptive ADAS

Govindarajan, V., Driggs-Campbell, K. & Bajcsy, R., Dec 7 2018, 2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1017-1022 6 p. 8569585. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; vol. 2018-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Affective multimodal human-computer interaction

Pantic, M., Sebe, N., Cohn, J. F. & Huang, T., Dec 1 2005, Proceedings of the 13th ACM International Conference on Multimedia, MM 2005. p. 669-676 8 p. (Proceedings of the 13th ACM International Conference on Multimedia, MM 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Affect sequences and learning in Betty's brain

Andres, J. M. A. L., Paquette, L., Ocumpaugh, J., Jiang, Y., Baker, R. S., Karumbaiah, S., Slater, S., Bosch, N., Munshi, A., Moore, A. & Biswas, G., Mar 4 2019, Proceedings of the 9th International Conference on Learning Analytics and Knowledge: Learning Analytics to Promote Inclusion and Success, LAK 2019. Association for Computing Machinery, p. 383-390 8 p. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Affine-corrected PARADISE: Free-breathing patient-adaptive cardiac MRI with sensitivity encoding

Sharif, B. & Bresler, Y., 2007, 2007 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. p. 1076-1079 4 p. 4193476. (2007 4th IEEE International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A figure of merit for assertions in verification

Hertz, S., Pal, D., Offenberger, S. & Vasudevan, S., Jan 21 2019, ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 675-680 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A finite volume model for mixed surface-pressurized flows in drainage systems

León, A. S., Ghidaoui, M. S., Schmidt, A. R. & García, M. H., Dec 1 2008, World Environmental and Water Resources Congress 2008: Ahupua'a - Proceedings of the World Environmental and Water Resources Congress 2008. (World Environmental and Water Resources Congress 2008: Ahupua'a - Proceedings of the World Environmental and Water Resources Congress 2008; vol. 316).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A First-Order Logic with Frames

Murali, A., Peña, L., Löding, C. & Madhusudan, P., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 515-543 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A first step towards call survivability in cellular networks

Anwar, Z., Yurcik, W., Baset, S., Schulzrinne, H. & Campbell, R. H., 2005, Proceedings - The IEEE Conference on Local Computer Networks - 30th Anniversary, LCN 2005. IEEE Computer Society, p. 502-503 2 p. 1550906. (Proceedings - Conference on Local Computer Networks, LCN; vol. 2005).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A fixpoint calculus for local and global program flows

Alur, R., Chaudhuri, S. & Madhusudan, P., 2006, Conference Record of POPL 2006: 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 153-165 13 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A flexible, privacy-preserving authentication framework for ubiquitous computing environments

Al-Muhtadi, J., Ranganathan, A., Campbell, R. & Mickunas, M. D., Jan 1 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 771-776 6 p. 1030861. (Proceedings - International Conference on Distributed Computing Systems; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Flexible DNN Accelerator Design with Layer Pipeline for FPGAs

You, W., Chen, D. & Wu, C., Dec 2019, Proceedings - 2019 6th International Conference on Information Science and Control Engineering, ICISCE 2019. Li, S., Cheng, Y., Dai, Y. & Ma, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 959-962 4 p. 9107891. (Proceedings - 2019 6th International Conference on Information Science and Control Engineering, ICISCE 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A flexible simulation model for system level ESD stresses with application to ESD design and troubleshooting

Mertens, R., Kunz, H., Salman, A., Boselli, G. & Rosenbaum, E., Nov 27 2012, Electrical Overstress/Electrostatic Discharge Symposium Proceedings 2012, EOS/ESD 2012. 6333331. (Electrical Overstress/Electrostatic Discharge Symposium Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A flexible software architecture for high availability computing

Iyer, R. K., Kalbarczyk, Z., Whisnant, K. & Bagchi, S., Jan 1 1998, Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. Institute of Electrical and Electronics Engineers Inc., p. 42-49 8 p. 731594. (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998; vol. 1998-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A flight envelope protection method based on potential functions

Sun, D., Li, X., Jafarnejadsani, H. & Hovakimyan, N., Jan 1 2017, AIAA Guidance, Navigation, and Control Conference, 2017. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Guidance, Navigation, and Control Conference, 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal approach to detect functionally irrelevant barriers in MPI programs

Sharma, S., Vakkalanka, S., Gopalakrishnan, G., Kirby, R. M., Thakur, R. & Gropp, W., Nov 27 2008, Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users' Group Meeting, Proceedings. p. 265-273 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5205 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal architecture pattern for real-time distributed systems

Al-Nayeem, A., Sun, M., Qiu, X., Sha, L. R., Miller, S. P. & Cofer, D. D., Dec 1 2009, Proceedings - Real-Time Systems Symposium, RTSS 2009. p. 161-170 10 p. 5368818. (Proceedings - Real-Time Systems Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal executable semantics of verilog

Meredith, P., Katelman, M., Meseguer, J. & Rosu, G., Oct 15 2010, 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010. p. 179-188 10 p. 5558634. (8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal framework for reflective database access control policies

Olson, L. E., Gunter, C. A. & Madhusudan, P., Dec 1 2008, Proceedings of the 15th ACM Conference on Computer and Communications Security, CCS'08. p. 289-298 10 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal model for reasoning about adaptive QoS-enabled middleware

Venkatasubramanian, N., Talcott, C. & Agha, G., Jan 1 2001, FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Oliveira, J. N. & Zave, P. (eds.). Springer-Verlag Berlin Heidelberg, p. 197-221 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2021 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal pattern architecture for safe medical systems

Sun, M., Meseguer, J. & Sha, L., Nov 22 2010, Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Revised Selected Papers. p. 157-173 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6381 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal security model for networked control systems

Montanari, M., Li, M., Sampigethaya, K. & Campbell, R. H., 2009, AIAA Infotech at Aerospace Conference and Exhibit and AIAA Unmanned...Unlimited Conference. 2009-1877

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal study of information retrieval heuristics

Fang, H., Tao, T. & Zhai, C. X., Jan 1 2004, Proceedings of Sheffield SIGIR - Twenty-Seventh Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 49-56 8 p. (Proceedings of Sheffield SIGIR - Twenty-Seventh Annual International ACM SIGIR Conference on Research and Development in Information Retrieval).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal verification tool for ethereum VM bytecode

Park, D., Zhang, Y., Saxena, M., Daian, P. & Roşu, G., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 912-915 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Formative Evaluation on a Virtual Reality Game-Based Learning System for Teaching Introductory Archaeology

Shackelford, L., Huang, W. D., Craig, A., Merrill, C., Chen, D. & Arjona, J., Oct 15 2018, Proceedings of E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education 2018. Las Vegas: Association for the Advancement of Computing in Education (AACE), p. 605-611 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A foundation for adaptive fault tolerance in software

Whisnant, K., Kalbarczyk, Z. & Iyer, R. K., Jan 1 2003, Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003. Institute of Electrical and Electronics Engineers Inc., p. 252-260 9 p. 1194806. (Proceedings - 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A four class model for digital breast histopathology using high-definition Fourier transform infrared (FT-IR) spectroscopic imaging

Mittal, S., Wrobel, T. P., Leslie, L. S., Kadjacsy-Balla, A. & Bhargava, R., Jan 1 2016, Medical Imaging 2016: Digital Pathology. Madabhushi, A. & Gurcan, M. N. (eds.). SPIE, 979118. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 9791).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A fracture-based constitutive model for pavement interface characterization

Ozer, H., Al-Qadi, I. L. & Leng, Z., 2008, Pavement Cracking: Mechanisms, Modeling, Detection, Testing and Case Histories. p. 661-670 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for analyzing the sensitivity of traffic data quality to sensor location and spacing

Margulici, J. D., Ban, X. J., Bayen, A., Chu, L., Danczyk, A., Herrera, J. C., Herring, R., Liu, H. X., Tossavainen, O. P. & Work, D., Dec 1 2008, 15th World Congress on Intelligent Transport Systems and ITS America Annual Meeting 2008. p. 117-128 12 p. (15th World Congress on Intelligent Transport Systems and ITS America Annual Meeting 2008; vol. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for clustering evolving data streams

Aggarwal, C. C., Han, J., Wang, J. & Yu, P. S., Jan 1 2003, Proceedings - 29th International Conference on Very Large Data Bases, VLDB 2003. Selinger, P. G., Carey, M. J., Freytag, J. C., Abiteboul, S., Lockemann, P. C. & Heuer, A. (eds.). Morgan Kaufmann, p. 81-92 12 p. (Proceedings - 29th International Conference on Very Large Data Bases, VLDB 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for collective personalized communication

Kalé, L. V., Kumar, S. & Varadarajan, K., Jan 1 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers Inc., 1213166. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for database audit and control flow checking for a wireless telephone network controller

Bagchi, S., Liu, Y., Whisnant, K., Kalbarczyk, Z. T., Iyer, R. K., Levendel, Y. & Votta, L., Dec 1 2001, Proceedings of the International Conference on Dependable Systems and Networks. Young, D. C. & Young, D. C. (eds.). p. 225-234 10 p. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for efficient evaluation of the fault tolerance of deduplicated storage systems

Rozier, E. W. D. & Sanders, W. H., Oct 1 2012, 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012. 6263921. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for Entailed Relation Recognition

Roth, D., Sammons, M. & Vydiswaran, V. G. V., Jan 1 2009, ACL-IJCNLP 2009 - Joint Conf. of the 47th Annual Meeting of the Association for Computational Linguistics and 4th Int. Joint Conf. on Natural Language Processing of the AFNLP, Proceedings of the Conf.. Association for Computational Linguistics (ACL), p. 57-60 4 p. (ACL-IJCNLP 2009 - Joint Conf. of the 47th Annual Meeting of the Association for Computational Linguistics and 4th Int. Joint Conf. on Natural Language Processing of the AFNLP, Proceedings of the Conf.).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A framework for formal verification of compiler optimizations

Mansky, W. & Gunter, E., Aug 10 2010, Interactive Theorem Proving - First International Conference, ITP 2010, Proceedings. p. 371-386 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6172 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for inertial sensor calibration using complex stochastic error models

Stebler, Y., Guerrier, S., Skaloud, J. & Victoria-Feser, M. P., 2012, Proceedings of the 2012 IEEE/ION Position, Location and Navigation Symposium, PLANS 2012. p. 849-861 13 p. 6236827. (Record - IEEE PLANS, Position Location and Navigation Symposium).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for model-driven acquisition and analytics of visual data using UAVs for automated construction progress monitoring

Lin, J. J., Han, K. K. & Golparvar-Fard, M., 2015, Computing in Civil Engineering 2015 - Proceedings of the 2015 International Workshop on Computing in Civil Engineering. O'Brien, W. J. & Ponticelli, S. (eds.). January ed. American Society of Civil Engineers, p. 156-164 9 p. (Congress on Computing in Civil Engineering, Proceedings; vol. 2015-January, no. January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for optimizing nonlinear collusion attacks on fingerprinting systems

Kiyavash, N. & Moulin, P., Jan 1 2006, 2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1170-1175 6 p. 4067983. (2006 IEEE Conference on Information Sciences and Systems, CISS 2006 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for quantifying the impacts of sub-pixel reflectance variance and covariance on cloud optical thickness and effective radius retrievals based on the bi-spectral method

Zhang, Z., Werner, F., Cho, H. M., Wind, G., Platnick, S., Ackerman, A. S., Di Girolamo, L., Marshak, A. & Meyer, K., Feb 22 2017, Radiation Processes in the Atmosphere and Ocean, IRS 2016: Proceedings of the International Radiation Symposium (IRC/IAMAS). Schmutz, W., Davies, R. & Egli, L. (eds.). American Institute of Physics Inc., 030002. (AIP Conference Proceedings; vol. 1810).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for reactive motion and sensing planning: A critical events-based approach

Murrieta-Cid, R., Sarmiento, A., Muppirala, T., Hutchinson, S., Monroy, R., Alencastre, M., Muñoz, L. & Swain, R., Dec 1 2005, MICAI 2005: Advances in Artificial Intelligence - 4th Mexican International Conference on Artificial Intelligence, Proceedings. p. 990-1000 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3789 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for state-space exploration of java-based actor programs

Lauterburg, S., Dotta, M., Marinov, D. & Agha, G., 2009, ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering. p. 468-479 12 p. 5431748. (ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for the design of good watermark identification codes

Moulin, P. & Koetter, R., Apr 17 2006, Security, Steganography, and Watermarking of Multimedia Contents VIII - Proceedings of SPIE-IS and T Electronic Imaging. 60721H. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 6072).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework for the safe interoperability of medical devices in the presence of network failures

Kim, C., Sun, M., Mohan, S., Yun, H., Sha, L. R. & Abdelzaher, T., Jul 20 2010, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. p. 149-158 10 p. (Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework integrating attribute-based policies into role-based access control

Huang, J., Nicol, D. M., Bobba, R. & Huh, J. H., Jul 25 2012, SACMAT'12 - Proceedings of the 17th ACM Symposium on Access Control Models and Technologies. p. 187-196 10 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework to access handwritten information within large digitized paper collections

Diesendruck, L., Marini, L., Kooper, R., Kejriwal, M. & McHenry, K. G., Dec 1 2012, 2012 IEEE 8th International Conference on E-Science, e-Science 2012. 6404434. (2012 IEEE 8th International Conference on E-Science, e-Science 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A framework to determine the probability density function for the output power of wind farms

Dhople, S. V. & Dominguez-Garcia, A., Dec 10 2012, 2012 North American Power Symposium, NAPS 2012. 6336368. (2012 North American Power Symposium, NAPS 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A French-American Resources Project: Needs and Potentials in a World of Migration

Kilton, T. D., 2005, Migrations in Society, Culture and the Library: WESS European Conference, Paris, France, March 2004. Kilton, T. & Birkhead, C. (eds.). Chicago: Association of College and Research Libraries, p. 275-281

Research output: Chapter in Book/Report/Conference proceedingConference contribution