Publications
Export 3364 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is S [Clear All Filters]
1993. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems. 15:36-72.
2001. Conditions enabling the emergence of inter-agent signalling in an artificial world. Artificial Life. 7(1):3-32.
2007. Conducting In Situ Evaluations for and With Ubiquitous Computing Technologies. International Journal of Human-Computer Interaction. 22(1-2):103-118.
2007. Confidentiality-preserving rank-ordered search. Proceedings of the 2007 ACM workshop on Storage security and survivability. :7-12.
2007. Confidentiality-preserving rank-ordered search. Proceedings of the 2007 ACM workshop on Storage security and survivability. :7-12.
2007. Configuration Reasoning and Ontology For Web. IEEE International Conference on Services Computing, 2007. SCC 2007. :387-394.
2008. Confluent Volumetric Visualization of Gyrokinetic Turbulence. Plasma Science, IEEE Transactions on. 36(4):1112-1113.
2010. Connecting generations: developing co-design methods for older adults and children. Behaviour & Information Technology. 99999(1):1-11.
1997. A constant-factor approximation algorithm for packet routing, and balancing local vs. global criteria. Proceedings of the twenty-ninth annual ACM symposium on Theory of computing. :636-643.
2004. Constant-time navigation in four-dimensional nested simplicial meshes. Shape Modeling Applications, 2004. Proceedings. :221-230.
2008. A Constrained Probabilistic Petri Net Framework for Human Activity Detection in Video. Multimedia, IEEE Transactions on. 10(6):982-996.
2005. Content Index to Volume 18. INTERNATIONAL JOURNAL OF HUMAN–COMPUTER INTERACTION. 18(3):367-368.
2005. Content Index to Volume 18. INTERNATIONAL JOURNAL OF HUMAN–COMPUTER INTERACTION. 18(3):367-368.
2008. Content-based assembly search: A step towards assembly reuse. Computer-Aided Design. 40(2):244-261.
1997. Content-based Image Retrieval Using Composite Features. Proceedings of the 1997 Scandinavian Conference on Image Analysis. :35-42.
2002. Content-based image retrieval using Fourier descriptors on a logo database. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:521-524vol.3-521-524vol.3.
2003. Continuous k-nearest neighbor queries for continuously moving points with updates. Proceedings of the 29th international conference on Very large data bases-Volume 29. :512-523.
2003. Continuous k-nearest neighbor queries for continuously moving points with updates. Proceedings of the 29th international conference on Very large data bases-Volume 29. :512-523.
2002. Contour migration: solving object ambiguity with shape-space visual guidance. IEEE/RSJ International Conference on Intelligent Robots and Systems, 2002. 1:330-335vol.1-330-335vol.1.
1993. Control and design of the spherical pointing motor. , 1993 IEEE International Conference on Robotics and Automation, 1993. Proceedings. :630-636vol.2-630-636vol.2.