Publications
Export 7151 results:
Author Title [ Type
] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.
2009. A theory of typed coercions and its applications. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. :329-340.
2001. Therapeutic play with a storytelling robot. CHI '01 extended abstracts on Human factors in computing systems. :27-28.
2006. Is there a grand challenge or X-prize for data mining? Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining. :954-956.
2003. Three dimensional acoustic scattering from an M multilayered domain via an integral equation approach. Antennas and Propagation Society International Symposium, 2003. IEEE. 1:669-672vol.1-669-672vol.1.
2002. Three-dimensional visualization of hierarchical task network plans. In Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for.
1998. Threshold-based admission control for multi-class video-on-demand systems. Performance, Computing and Communications, 1998. IPCCC '98., IEEE International. :154-160.
2007. Thumbspace: Generalized one-handed input for touchscreen-based mobile devices. Proceedings of the 11th IFIP TC 13 international conference on Human-computer interaction. :324-338.
1986. Tight complexity bounds for parallel comparison sorting. 27th Annual Symposium on Foundations of Computer Science. :502-510.
2010. Tight lower bounds for halfspace range searching. Proceedings of the 2010 annual symposium on Computational geometry. :29-37.
2004. Time and space optimization for processing groups of multi-dimensional scientific queries. Proceedings of the 18th annual international conference on Supercomputing. :95-105.
2006. A Time Saving Method for Human Detection in Wide Angle Camera Images. Machine Learning and Cybernetics, 2006 International Conference on. :4029-4034.
1985. A timed petri net methodolgoy for specifying real-time system timing requirements. International Workshop on Timed Petri Nets. :24-31.
2002. Time-situated agency: Active logic and intention formation. in: Workshop on Cognitive Agents, 25th German Conference on Artificial Intelligence.
1997. Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
1996. To cut… or not to cut (applications of comparative physical maps in molecular evolution). Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms. :304-313.
2009. To join or not to join: the illusion of privacy in social networks with mixed public and private user profiles. Proceedings of the 18th international conference on World wide web. :531-540.
2010. To Upgrade or Not to Upgrade: Impact of Online Upgrades Across Multiple Administrative Domains. OOPSLA'10 Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. :865-876.
1994. Tool support for tailored software prototyping. Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on. :171-181.
2009. Tool supported detection and judgment of nonconformance in process execution. Empirical Software Engineering and Measurement, 2009. ESEM 2009. 3rd International Symposium on. :312-323.
2011. Toolchain for Programming, Simulating and Studying the XMT Many-Core Architecture. Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW), 2011 IEEE International Symposium on. :1282-1291.
2009. Tools and Services for Long-Term Preservation of Digital Archives. Indo-US Workshop on International Trends in Digital Preservation.