Tags: sat

Publications

2023

  1. A. Kotal, L. Elluri, D. Gupta, V. Mandalapu, and A. Joshi, "Privacy-Preserving Data Sharing in Agriculture: Enforcing Policy Rules for Secure and Confidential Data Synthesis", InProceedings, IEEE International Conference on Big Data (BigData), December 2023, 405 downloads.
  2. M. Gaur, "Targeted Knowledge Infusion To Make Conversational AI Explainable and Safe", Proceedings, AAAI23 New Faculty Highlights, February 2023, 412 downloads.
  3. K. Roy, M. Gaur, M. Soltani, V. Rawte, and A. Sheth, "ProKnow: Process knowledge for safety constrained and explainable question generation for mental health diagnostic assistance", Article, Frontiers in Big Data, January 2023, 170 downloads.

2022

  1. K. Roy, Y. Zi, V. Narayanan, M. Gaur, and A. Sheth, "KSAT: Knowledge-infused Self Attention Transformer -- Integrating Multiple Domain-Specific Contexts", TechReport, arXiv:2210.04307 [cs.CL], October 2022, 190 downloads.
  2. P. Ranade, S. Dey, A. Joshi, and T. Finin, "Computational Understanding of Narratives: A Survey", Article, IEEE Access, September 2022, 543 downloads.
  3. M. Halem, a. kochanski, J. Mandel, P. Nguyen, R. Atlas, Z. Yang, A. Bargteil, J. Sleeman, V. Caicedo, B. Demoz, D. Chapman, and K. Patel, "A Machine Learning Plume-Resolving Model Implementation over North America for Mega-Wildland Fire Smoke Impacts on Distant Planetary Boundary Layers", InProceedings, 102nd American Meteorological Society Annual Meeting, January 2022.

2021

  1. K. Patel, J. Sleeman, and M. Halem, "Physics-aware deep edge detection network", InProceedings, Proceedings Volume 11859, Remote Sensing of Clouds and the Atmosphere XXVI; SPIE Remote Sensing, September 2021, 386 downloads.
  2. M. Murnane, P. Higgins, M. Saraf, F. Ferraro, C. Matuszek, and D. Engel, "A Simulator for Human-Robot Interaction in Virtual Reality", InProceedings, Conference on Virtual Reality and 3D User Interfaces, Abstracts and Workshops (VRW), March 2021, 711 downloads.

2020

  1. A. Bandi, K. P. Joshi, and V. Mulwad, "Affinity Propagation Initialisation Based Proximity Clustering For Labeling in Natural Language Based Big Data Systems", InProceedings, 6th IEEE International Conference on Big Data Security on Cloud (BigDataSecurity 2020), May 2020, 541 downloads.
  2. R. Ayanzadeh, M. Halem, and T. Finin, "Reinforcement Quantum Annealing: A Hybrid Quantum Learning Automata", Article, Nature Scientific Reports, May 2020, 649 downloads.
  3. R. Ayanzadeh, "Leveraging Artificial Intelligence to Advance Problem-Solving with Quantum Annealers", PhdThesis, University of Maryland, Baltimore County, May 2020, 849 downloads.
  4. R. Ayanzadeh, M. Halem, and T. Finin, "Reinforcement Quantum Annealing: A Quantum-Assisted Learning Automata Approach", Article, arXiv:2001.00234 [quant-ph], January 2020, 740 downloads.

2019

  1. L. Elluri, V. Mandalapu, and N. Roy, "Developing Machine Learning based Predictive Models for Smart Policing", InProceedings, International Conference on Smart Computing (SMARTCOMP), June 2019, 857 downloads.
  2. R. Ayanzadeh, M. Halem, and T. Finin, "SAT-based Compressive Sensing", Article, arXiv:1903.03650 [cs.IT], March 2019, 576 downloads.

2018

  1. R. Ayanzadeh, M. Halem, and T. Finin, "Solving Hard SAT Instances with Adiabatic Quantum Computers", American Geophysical Union, Fall Meeting 2018, abstract #IN41B-27, December 2018.
  2. Y. Sun, "On the Integration of Inconsistent Knowledge with Bayseian Networks", PhdThesis, University of Maryland, Baltimore County, May 2018, 391 downloads.

2017

  1. K. Chopra, R. Bose, and A. Joshi, "Secure Power Trading in Cooperative Relay Network With Asymmetric Cournot Duopoly Model", InProceedings, 12th Annual Symposium On Information Assurance (ASIA’17), May 2017, 920 downloads.
  2. K. Chopra, R. Bose, and A. Joshi, "Secrecy Performance of Threshold-Based Decode-and-Forward Cooperative Cognitive Radio Network", Article, IET Communications 2017, February 2017, 835 downloads.

2016

  1. A. Gupta, S. Mittal, K. P. Joshi, C. Pearce, and A. Joshi, "Streamlining Management of Multiple Cloud Services", InProceedings, IEEE International Conference on Cloud Computing, June 2016, 1692 downloads.
  2. Y. Gui, "Convexification and Deconvexification for Training Artificial Neural Networks", PhdThesis, May 2016, 370 downloads.

2015

  1. Y. Lee, "Automatic Service Search and Composability Analysis in Large Scale Service Networks", PhdThesis, University of Maryland, Baltimore County, December 2015, 1038 downloads.

2012

  1. v. Stoyanov, J. Mayfield, T. Xu, D. Oard, D. Lawrie, T. Oates, and T. Finin, "A Context-Aware Approach to Entity Linking", InProceedings, Joint Workshop on Automatic Knowledge Base Construction and Web-scale Knowledge Extraction, June 2012, 3197 downloads.
  2. Y. Peng, Z. Ding, S. Zhang, and R. Pan, "Bayesian Network Revision with Probabilistic Constraints", Article, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, March 2012, 451 downloads.

2011

  1. W. Li, A. Joshi, and T. Finin, "SAT: an SVM-based Automated Trust Management System for Mobile Ad-hoc Networks", InProceedings, Proceedings of the 2011 Military Communications Conference, November 2011, 1952 downloads.

2010

  1. I. Mayk, A. Patwardhan, and e., "Tactical Information Technology for Assured Network Operations Information Dissemination and Management for Battle Command Support Services", InProceedings, Proceedings of the 27th Army Science Conference, November 2010, 1471 downloads.
  2. C. Tilmes, Y. Yesha, and M. Halem, "Provenance Artifact Identification in the Atmospheric Composition Processing System (ACPS)", InProceedings, Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, February 2010, 1299 downloads, 1 citation.

2009

  1. M. Halem, C. Tilmes, Y. Yesha, D. Chapman, and P. Nguyen, "Providing Gridded Atmospheric Radiance Products and Services from MODIS and AIRS Instruments on NASA's Aqua Satellite", Article, IEEE Geoscience and Remote Sensing Symposium, 2008., February 2009.
  2. C. Tilmes, M. Linda, and A. J. Fleig, "Atmospheric Composition Processing System (ACPS)", Article, IEEE Transactions on Geoscience and Remote Sensing, January 2009.
  3. M. Halem, N. Most, C. Tilmes, K. Stewart, Y. Yesha, D. Chapman, and P. Nguyen, "Service-Oriented Atmospheric Radiances (SOAR): Gridding and Analysis Services for Multisensor Aqua IR Radiance Data for Climate Studies", Article, IEEE Transactions on Geoscience and Remote Sensing, January 2009.

2008

  1. S. Zhang, Y. Peng, and X. Wang, "An Efficient Method for Probabilistic Knowledge Integration", InProceedings, Proceedings of The 20th IEEE International Conference on Tools with Artificial Intelligence, November 2008, 1995 downloads, 2 citations.
  2. C. Tilmes, "Standardizing Interfaces for External Access to Data and Processing for the NASA Ozone Product Evaluation And Test Element", InProceedings, Proceedings of the 2008 Geoinformatics Conference , July 2008.
  3. M. A. Grasso, "A computerized approach to glycemic control in critical illness", Proceedings, American College of Physicians, Maryland Regional Associates Meeting, Baltimore Maryland, May 2008.

2007

  1. P. Kolari, "Detecting Spam Blogs: An Adaptive Online Approach", PhdThesis, Ph.D. Dissertation, December 2007, 8826 downloads, 3 citations.
  2. M. Halem, Y. Yesha, C. Tilmes, D. Chapman, N. Most, and A. Bertolli, "SOAR: A System for the Analysis of Atmospheric Radiances", InProceedings, EOS Transactions, December 2007.
  3. M. A. Grasso and e., "Gastrointestinal bleeding from arteriovenous malformations in recipients of left ventricular assist devices", Proceedings, Journal of Cardiac Failure, September 2007.
  4. M. Halem, Y. Yesha, C. Tilmes, D. Chapman, M. Goldberg, and L. Zhou, "A Web Service Tool (SOAR) for the Dynamic Generation of L1 Grids of Coincident AIRS, AMSU and MODIS Satellite Sounding Radiance Data for Climate Studies", Article, EOS Transactions, June 2007.
  5. A. Patwardhan, J. Parker, M. Iorga, A. Joshi, T. Karygiannis, and Y. Yesha, "Threshold-based Intrusion Detection in Ad Hoc Networks and Secure AODV", Article, Ad Hoc Networks Journal (ADHOCNET), May 2007, 3418 downloads, 16 citations.
  6. A. Java, "A Framework for Modeling Influence, Opinions and Structure in Social Media", InProceedings, 22nd Conference on Artificial Intelligence (AAAI 2007), April 2007, 5448 downloads, 4 citations.
  7. L. Kagal and T. Finin, "Modeling Conversation Policies using Permissions and Obligations", Article, Journal of Autonomous Agents and Multi-Agent Systems, April 2007, 2818 downloads.

2006

  1. P. Kolari, T. Finin, Y. Yesha, K. Lyons, S. Perelgut, and J. Hawkins, "Monitoring Conversations on the Blogosphere: An Enterprise Perspective", InProceedings, CASCON 2006 Exhibit Program, October 2006.
  2. M. A. Grasso and e., "Survey of handheld computing among medical students", Article, Computer Methods and Programs in Biomedicine, June 2006, 124 downloads.
  3. P. Kolari, T. Finin, and A. Joshi, "SVMs for the Blogosphere: Blog Identification and Splog Detection", InProceedings, AAAI Spring Symposium on Computational Approaches to Analysing Weblogs, March 2006, 14485 downloads, 112 citations.

2005

  1. Y. Peng and Z. Ding, "Modifying Bayesian Networks by Probability Constraints", InProceedings, Proceedings of the 21st Conference on Uncertainty in Artificial Intelligence, July 2005, 2813 downloads, 18 citations.
  2. V. Tamma, S. Cranefield, T. Finin, and S. Willmott, "Ontologies for Agents: Theory and Experiences", Book, Springer, July 2005, 544 downloads.
  3. L. Kagal and T. Finin, "Modeling Communicative Behavior using Permissions and Obligations", InBook, Developments in Agent Communication, Eds. Frank Dignum, Rogier van Eijk, Marc-Philippe Huget, January 2005, 3924 downloads, 14 citations.

2004

  1. L. Kagal, T. Finin, and A. Joshi, "Declarative Policies for Describing Web Service Capabilities and Constraints", InProceedings, W3C Workshop on Constraints and Capabilities for Web Services, October 2004, 8737 downloads, 23 citations.
  2. X. Luan, Y. Peng, and T. Finin, "Quantitative Agent Service Matching", InProceedings, Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence, September 2004, 29 downloads, 4 citations.
  3. L. Kagal, "A Policy-Based Approach to Governing Autonomous Behavior in Distributed Environments", PhdThesis, University of Maryland Baltimore County, September 2004, 10 citations.
  4. A. Patwardhan, V. Korolev, L. Kagal, and A. Joshi, "Enforcing Policies in Pervasive Environments", InProceedings, International Conference on Mobile and Ubiquitous Systems: Networking and Services, August 2004, 5709 downloads, 30 citations.
  5. L. Kagal and T. Finin, "Modeling Conversation Policies using Permissions and Obligations", InProceedings, AAMAS 2004 Workshop on Agent Communication (AC2004), July 2004, 5188 downloads, 50 citations.
  6. M. Cornwell, J. E. Just, and L. Kagal, "Autonomic Policy-Based Collaboration for Cross-Agency Human Teams", InProceedings, Conference on the Human Impact and Application of Autonomic Computing Systems (CHIACS2), April 2004, 3923 downloads.

2003

  1. O. V. Ratsimor, T. Finin, A. Joshi, and Y. Yesha, "eNcentive: A Framework for Intelligent Marketing in Mobile Peer-To-Peer Environments", InProceedings, The 5th International Conference on Electronic Commerce (ICEC 2003), October 2003, 7057 downloads, 42 citations.
  2. F. Perich, A. Joshi, Y. Yesha, and T. Finin, "Neighborhood-Consistent Transaction Management for Pervasive Computing Environments", InProceedings, 14th International Conference on Database and Expert Systems Applications (DEXA 2003), September 2003, 5010 downloads, 11 citations.
  3. S. Quirolgico, N. Srinivasan, and V. Korolev, "Wireless Agents in Ad Hoc Networks", InBook, Innovative Concepts for Agent-Based Systems. WRAC 2002., June 2003, 132 downloads.
  4. O. V. Ratsimor, S. B. Kodeswaran, T. Finin, A. Joshi, and Y. Yesha, "Intelligent Ad hoc Marketing within Hotspot Networks", TechReport, University of Maryland, Baltimore county, March 2003, 195 downloads.

2001

  1. S. Avancha, D. Chakraborty, L. Kagal, F. Perich, A. Joshi, T. Finin, and Y. Yesha, "An Integrated Architecture for Secure Information Discovery, Composition and Management in Pervasive Environments", TechReport, December 2001, 189 downloads.
  2. R. S. Cost, Y. K. Labrou, and T. Finin, "Coordinating agents using agent communication languages conversations", InBook, Coordination of Internet Agents: Models, Technologies, and Applications, March 2001, 180 downloads.

2000

  1. R. S. Cost, Y. Chen, T. Finin, Y. K. Labrou, and Y. Peng, "Using Colored Petri Nets for Conversation Modeling", InBook, Agent Communication Languages, September 2000, 5739 downloads, 77 citations.
  2. S. Quirolgico, K. Canfield, T. Finin, and J. A. Smith, "Merging Neural Networks in a Multi-Agent System", TechReport, TR EB-2000-01, January 2000, 186 downloads.
  3. Y. K. Labrou and T. Finin, "History, State of the Art and Challenges for Agent Communication Languages", Article, Informatik/Informatique, January 2000, 2706 downloads, 9 citations.

1999

  1. R. S. Cost, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, A. Boughannam, and T. Finin, "An Agent-based Infrastructure for Enterprise Integration", InProceedings, Proceedings of the First International Symposium on Agent Systems and Applications, October 1999, 2378 downloads, 23 citations.
  2. R. S. Cost, "A framework for developing conversational agents", PhdThesis, University of Maryland, Baltimore County, August 1999, 821 downloads.
  3. T. Finin and B. Grosof, "Artificial Intelligence for Electronic Commerce", Proceedings, AAAI Press, July 1999.
  4. R. S. Cost, Y. Chen, T. Finin, Y. K. Labrou, and Y. Peng, "Modeling agent conversations with colored petri nets", InProceedings, Working notes of the Autonomous Agents '99 Workshop on Specifying and Implementing Conversation Policies, May 1999, 3441 downloads, 114 citations.
  5. R. S. Cost, T. Finin, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, and A. Boughannam, "Agent development with Jackal", InProceedings, Third annual conference on Autonomous Agents, May 1999, 1100 downloads.
  6. Y. Chen, Y. Peng, T. Finin, Y. K. Labrou, B. Chu, J. Yao, R. Sun, and R. Wilhelm, "A negotiation-based Multi-agent System for Supply Chain Management", InProceedings, Workshop on supply chain management, International Conference on Autonomous Agents and Multiagent Systems, April 1999, 833 downloads.

1998

  1. R. S. Cost, Y. K. Labrou, X. Luan, Y. Peng, I. Soboroff, J. Mayfield, A. Boughannam, and T. Finin, "Jackal: a Java-based Tool for Agent Development", InProceedings, Proceedings of the AAAI Workshop on Software Tools for Agent Development, July 1998, 9689 downloads, 61 citations.
  2. Q. He, K. Sycara, and T. Finin, "Personal Security Agent: KQML-based PKI", InProceedings, Proceedings of the 2nd International Conference on Autonomous Agents, May 1998, 2469 downloads, 49 citations.
  3. Y. K. Labrou and T. Finin, "Semantics and Conversations for an Agent Communication Language", Readings in Agents, January 1998, 170 downloads.

1997

  1. Y. K. Labrou and T. Finin, "Semantics and Conversations for an Agent Communication Language", InProceedings, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI), August 1997, 251 downloads.
  2. M. A. Grasso, "Speech Input in Multimodal Environments: Effects of Perceptual Structure on Speed, Accuracy, and Acceptance", PhdThesis, May 1997, 2994 downloads, 1 citation.
  3. J. Mayfield and T. Finin, "A Security Architecture for Agent Communication Languages", TechReport, UMBC, January 1997, 174 downloads.

1996

  1. Y. K. Labrou, "Semantics for an Agent Communication Language", PhdThesis, UMBC, August 1996, 348 downloads, 234 citations.

1995

  1. C. Thirunavukkarasu, T. Finin, and J. Mayfield, "Secret Agents - A Security Architecture for the KQML Agent Communication Language", InProceedings, CIKM'95 Intelligent Information Agents Workshop, October 1995, 470 downloads.

1988

  1. T. Finin, "Default Reasoning and Stereotypes in User Modelling", Article, International Journal of Expert Systems, September 1988, 217 downloads.

1986

  1. T. Finin and D. Drager, "GUMS1 : A General User Modeling System", InProceedings, Proceedings of the Sixth Canadian Conference on Artificial Intelligence, May 1986, 172 downloads.
  2. T. Finin and D. Drager, "GUMS1: A General User Modeling System", InProceedings, Proceedings of the workshop on Strategic computing natural language of the Human Language Technology Conference, May 1986, 2746 downloads, 46 citations.

1979

  1. T. Finin, B. Goodman, and H. Tennant, "JETS: Achieving Completeness through Coverage and Closure", InProceedings, Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79), August 1979, 1278 downloads.

Old Conferences

  1. Policy Management for the Web
    May 10, 2005