Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2000. Structured translation for cross-language information retrieval. Proceedings of the 23rd annual international ACM SIGIR conference on Research and development in information retrieval. :120-127.
2000. Subgrid-scale models for compressible large-eddy simulations. Theoretical and Computational Fluid Dynamics. 13(5):361-376.
2000. Superresolution-based enhancement of text in digital video. Pattern Recognition, 2000. Proceedings. 15th International Conference on. 1:847-850vol.1-847-850vol.1.
2000. Supporting creativity with powerful composition tools for artifacts and performances. Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, 2000.
2000. Symbiosis between Linear Algebra and Optimization. Journal of Computational and Applied Mathematics. 123:447-465.
2000. Systematic consolidation of input and output buffers in synchronous dataflow specifications. Signal Processing Systems, 2000. SiPS 2000. 2000 IEEE Workshop on. :673-682.
2000. Telicity as a cue to temporal and discourse structure in Chinese-English machine translation. :34-41.
2000. The temporal correlation hypothesis for self-organizing feature maps. International Journal of Systems Science. 31(7):911-921.
2000. Textual data mining to support science and technology management. Journal of Intelligent Information Systems. 15(2):99-119.
2000. Toward the large-eddy simulation over a hypersonic elliptical cross-section cone. AIAA Paper No. 00-2311.
2000. A Trip Report on Creativity and Cognition 1999: An Insider's Report on a Far Out Conference. SIGCHI BULLETIN. 32(1):43-46.
2000. Using Feature Hierarchies in Bayesian Network Learning. Abstraction, Reformulation, and Approximation. 1864:260-270.
2000. Using hardware performance monitors to isolate memory bottlenecks. Proceedings of the 2000 ACM/IEEE conference on Supercomputing (CDROM). :40-40.
2000. Using Hilbert curve in image storing and retrieving. Proceedings of the 2000 ACM workshops on Multimedia - MULTIMEDIA '00. :167-170.
2000. Using quality of data metadata for source selection and ranking. Proceedings of the Third International Workshop on the Web and Databases, WebDB. :93-98.
2000. The value of strong inapproximability results for clique. Proceedings of the thirty-second annual ACM symposium on Theory of computing. :144-152.
2000. Vehicle Speed Information Displays for Public Websites A Survey of User Preferences. Technical Reports from UMIACS.
2000. Video access control via multi-level data hiding. Multimedia and Expo, 2000. ICME 2000. 2000 IEEE International Conference on. 1:381-384vol.1-381-384vol.1.
2000. Video transcoding by reducing spatial resolution. Image Processing, 2000. Proceedings. 2000 International Conference on. 1:972-975vol.1-972-975vol.1.
2000. Visibility stabs and depth-first spiralling on line segments in output sensitive time. International Journal of Computational Geometry and Applications. 10(5):535-552.
2000. Visualization 2000.
2000. Visualization methods for personal photo collections: browsing and searching in the PhotoFinder. 2000 IEEE International Conference on Multimedia and Expo, 2000. ICME 2000. 3:1539-1542vol.3-1539-1542vol.3.