Publications
Export 7151 results:
Author [ Title] Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1997. Toward motion picture grammars. Computer Vision — ACCV'98Computer Vision — ACCV'98. 1352:283-290.
2011. Toward improved aeromechanics simulations using recent advancements in scientific computing. Proceedings 67th Annual Forum of the American Helicopter Society. :3-5.
2007. Toward domain-neutral human-level metacognition. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning.
2008. Toward automatic facet analysis and need negotiation: Lessons from mediated search. ACM Transactions on Information Systems (TOIS). 27(1):6:1–6:42-6:1–6:42.
2006. Toward an enriched (and revitalized) sense of help: Summary of an ASIS&T 2005 panel session. Bulletin of the American Society for Information Science and Technology. 32(5):23-26.
1976. Toward a theory of encoded data structures and data translation. International Journal of Parallel Programming. 5(1):33-43.
2005. Toward a Statistical Knowledge Network (2004). Institute for Systems Research Technical Reports.
2003. Toward a statistical knowledge network. Proceedings of the 2003 annual national conference on Digital government research. :1-6.
2011. Toward a Standard Benchmark for Computer Security Research: The Worldwide Intelligence Network Environment (WINE). BADGERS '11 Proceedings of the First Workshop on Building Analysis Datasets and Gathering Experience Returns for Security. :89-96.
2006. Touring the internet in a TCP sidecar. Proceedings of the 6th ACM SIGCOMM conference on Internet measurement. :339-344.
1993. Touchscreens now offer compelling uses. Sparks of innovation in human-computer interaction. :187-187.
1992. Touchscreen toggle design. Proceedings of the SIGCHI conference on Human factors in computing systems. :667-668.
1992. Touchscreen interfaces for alphanumeric data entry. Human Factors and Ergonomics Society Annual Meeting Proceedings. 36(4):293-297.
1990. Touchscreen field specification for public access database queries: let your fingers do the walking. Proceedings of the 1990 ACM annual conference on Cooperation. :1-7.
2004. TOSS: an extension of TAX with ontologies and similarity queries. Proceedings of the 2004 ACM SIGMOD international conference on Management of data. :719-730.
1975. TORUS-a natural language understanding system for data management. Proceedings of the Fourth International Conference on Artificial Intelligence. :414-421.
1976. TORUS: A step towards bridging the gap between data bases and the casual user. Information Systems. 2(2):49-64.
2005. Torrance-sparrow off-specular reflection and linear subspaces for object recognition. 10/230,888(6900805)
2010. Toque: designing a cooking-based programming language for and with children. Proceedings of the 28th international conference on Human factors in computing systems. :2417-2426.
2006. Topology-based reasoning on non-manifold shapes. Proceedings of the 1st International Symposium on Shapes and Semantics, Matsushima, Japan.
1998. Topology simplification for polygonal virtual environments. Visualization and Computer Graphics, IEEE Transactions on. 4(2):133-144.