Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
1976. An internship in information systems: Combining computer science education with realistic problems. SIGCSE Bull.. 8(3):80-83.
2003. The International Children's Digital Library: viewing digital books online. Interacting with Computers. 15(2):151-167.
2003. The International Children's Digital Library: Description and analysis of first use. First Monday. 8(5):315-315.
2002. Intermediate representations for design automation of multiprocessor DSP systems. Design Automation for Embedded Systems. 7(4):307-323.
1993. Interlingual machine translation A parameterized approach. Artificial Intelligence. 63(1–2):429-492.
2010. Interlingual Annotation of Parallel Text Corpora: A New Framework for Annotation and Evaluation. Natural Language Engineering. 16(03):197-243.
2004. Interlingual annotation of multilingual text corpora. Proceedings of the North American Chapter of the Association for Computational Linguistics Workshop on Frontiers in Corpus Annotation. :55-62.
1999. Interhemispheric effects on map organization following simulated cortical lesions. Artificial intelligence in medicine. 17(1):59-85.
1986. Interfaces: multi-media and multi-user. Computer Supported Cooperative Work: Proceedings of the 1986 ACM conference on Computer-supported cooperative work.
1998. Interfaces and tools for the library of congress national digital library program. Information Processing & Management. 34(5):535-555.
1999. Interface and data architecture for query preview in networked information systems. ACM Trans. Inf. Syst.. 17(3):320-341.
2006. Interdomain mobility in di-ubiquitin revealed by NMR. Proteins: Structure, Function, and Bioinformatics. 63(4):787-796.
2004. Interactively Optimizing Signal-to-Noise Ratios in Expression Profiling: Project-Specific Algorithm Selection and Detection P-Value Weighting in Affymetrix Microarrays. BioinformaticsBioinformatics. 20(16):2534-2544.
2002. Interactively exploring hierarchical clustering results [gene identification]. Computer. 35(7):80-86.
2003. Interactive Visualization of Large Tetrahedral Meshes through Selective Refinement. IEEE Transactions on Visualization and Computer Graphics.
2006. Interactive sonification for blind people exploration of geo-referenced data: comparison between a keyboard-exploration and a haptic-exploration interfaces. Cognitive Processing. 7:178-179.
1998. Interactive Smooth Zoomming in a Starfield Information Visualization. Technical Reports of the Computer Science Department.
2002. Interactive, Incremental Scheduling for Virtual Telescopes in Education. THIRD INTERNATIONAL NASA WORKSHOP ON PLANNING AND SCHEDULING FOR SPACE. :27--29-27--29.
2008. Interactive High-Resolution Isosurface Ray Casting on Multicore Processors. Visualization and Computer Graphics, IEEE Transactions on. 14(3):603-614.