Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1998. Hybrid planning: An approach to integrating generative and case-based planning. Working Notes of the AAAI-98 Workshop on Case-Based Reasoning Integrations.
1996. Hybrid network management (communication systems). 16th AIAA International Communications Satellite Systems Conference.
2003. Hybrid Natural Language Generation from Lexical Conceptual Structures. Machine Translation. 18(2):81-128.
2015. Hybrid Vibrio cholerae El Tor Lacking SXT Identified as the Cause of a Cholera Outbreak in the Philippines. mBio. (2)
2007. Hybrid Detectors for Subpixel Targets. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 29(11):1891-1903.
1986. A Hybrid Chebyshev Krylov Subspace Algorithm for Solving Nonsymmetric Systems of Linear Equations. SIAM Journal on Scientific and Statistical ComputingSIAM J. Sci. and Stat. Comput.. 7(3):840-840.
1986. Human-computer interaction research at the University of Maryland. ACM SIGCHI Bulletin. 17(3):27-32.
1989. Human-Computer Interaction Laboratory, University of Maryland, Center for Automation Research. CHI. 89:309-310.
1999. Human-centered computing, online communities, and virtual environments. IEEE Computer Graphics and Applications. 19(6):70-74.
1999. Human values and the future of technology: a declaration of responsibility. ACM SIGCAS Computers and Society. 29(3):5-9.
1991. Human values and the future of technology: a declaration of responsibility. ACM SIGCHI Bulletin. 23(1):11-16.
1995. HUMAN VALUE AND THE FUTURE OF TECHNOLOGY. Human factors in information systems: emerging theoretical bases. :355-355.
1981. Human factors studies with system message styles (abstract only). ACM SIGSOC Bulletin. 13(2-3):138–-138–.
1985. Human factors issues of manuals, online help, and tutorials. Empirical foundations of information and software science. 1984:107-107.
1984. Human Factors in Interactive Medical Systems. Proceedings of the Annual Symposium on Computer Application in Medical CareProc Annu Symp Comput Appl Med Care. :96-96.
1980. HUMAN FACTORS EXPERIMENTS FOR REFINING INTERACTIVE SYSTEM DESIGNS. Proceedings-Compcon. 21:123-123.
1994. Human Emotion Recognition From Motion Using A Radial Basis Function Network Architecture. University Of Maryland.
1981. Human Aspects of Computing Editor Control Flow and Data Structure Documentation: Two Experiments. Human factors in software development. :365-365.
2007. Human appearance modeling for matching across video sequences. Machine Vision and Applications. 18(3):139-149.
2007. Human activity understanding using visibility context. IEEE/RSJ IROS Workshop: From sensors to human spatial concepts (FS2HSC).