Found 188 results
Filters: First Letter Of Last Name is H [Clear All Filters]
What’s left can’t be right - The remaining positional incompetence of contrastive vision-language models . Knowledge and Logical Reasoning in the Era of Data-driven Learning co-located with International Conference on Machine Learning (ICML) .
.
2023. Software Engineering and Formal Methods. Communications of the ACM. 51
.
2008. .
2011. .
2010. .
2017. Systems, methods and apparatus for implementation of formal specifications derived from informal requirements. # 7,739,671
.
2009. .
2011. .
2012. Smart Health Management for Swarm-based Space Exploration Systems. Proceedings of the 2nd International Workshop on Software Health Management(SHM’11).
.
2011. Systems, methods, and apparatus for otoacoustic protection of autonomic systems. Patent Number #8,165,976
.
2012. Systems, methods and apparatus for quiesence of autonomic safety devices with self action. #7,904,396
.
2011. Celebrating Advancements in Aerospace. Journal of Aerospace Computing Information and Communication. 6
.
2009. .
2011. Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their ApplicationsSoftware Agents, Agent Systems and Their Applications. 32
.
2012. Method of improving system performance and survivability through changing function. Patent Number #8,275,724
.
2012. Formal Methods. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2010. .
2010. .
2012. Building Dynamic Software Product Lines. Computer. 45
.
2012. .
2018. Evolving Critical Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010. .
2011. Towards Resilient Space Exploration Systems. Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11)Proceedings of the 5th International Conference on Secure Software Integration and Reliability Improvement (SSIRI’11).
.
2011. .
2011. Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 17th IEEE International Conference on the Engineering of Computer-Based17th IEEE International Conference on the Engineering of Computer-Based.
.
2010.