Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2000. Visualizing digital library search results with categorical and hierarchical axes. Proceedings of the fifth ACM conference on Digital libraries. :57-66.
2000. Visualizing high-dimensional predictive model quality. Visualization 2000. Proceedings. :493-496,-493-496,.
2000. Wavelength Rerouting in Optical Networks, or the Venetian Routing Problem. Approximation Algorithms for Combinatorial Optimization. 1913:71-84.
2000. Web based progressive transmission for browsing remotely sensed imagery. Geoscience and Remote Sensing Symposium, 2000. Proceedings. IGARSS 2000. IEEE 2000 International. 2:591-593vol.2-591-593vol.2.
2000. What does it take to refer? a reply to Bojadziev Journal of Consciousness Studies. 7(5):67-69.
2000. What makes viewpoint invariant properties perceptually salient?: A computational perspective Perceptual organization for artificial vision systems. :121-138.
2001. Achieving Efficiency and Accuracy in Simulation for I/O-Intensive Applications. Journal of Parallel and Distributed Computing. 61(12):1732-1750.
2001. Active speech source localization by a dual coarse-to-fine search. 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing, 2001. Proceedings. (ICASSP '01). 5:3309-3312vol.5-3309-3312vol.5.
2001. An adaptive algorithm for tolerating value faults and crash failures. Parallel and Distributed Systems, IEEE Transactions on. 12(2):173-192.
2001. Adaptive negative cycle detection in dynamic graphs. Circuits and Systems, 2001. ISCAS 2001. The 2001 IEEE International Symposium on. 5:163-166.
2001. Algorithms for facility location problems with outliers. Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms. :642-651.
2001. Analysis and prediction of protein functional sub-types from protein sequence alignments. EP20000203764(EP1096411)
2001. Analysis of a donor gene region for a variant surface glycoprotein and its expression site in African trypanosomes. Nucleic acids research. 29(10):2012-2012.
2001. The analysis of a probabilistic approach to nearest neighbor searching. Algorithms and Data Structures. :276-286.
2001. Analysis of attacks on SDMI audio watermarks. Acoustics, Speech, and Signal Processing, 2001. Proceedings. (ICASSP '01). 2001 IEEE International Conference on. 3:1369-1372vol.3-1369-1372vol.3.
2001. Animated heads: From 3d motion fields to action descriptions. Proceedings of the IFIP TC5/WG5. 10:1-11.
2001. Approximating large convolutions in digital images. Image Processing, IEEE Transactions on. 10(12):1826-1835.
2001. Approximation algorithms for partial covering problems. Automata, Languages and Programming. :225-236.
2001. Assessment of the k-epsilon turbulence model for compressible flows using direct simulation data. 39th AIAA Aerospace Sciences Meeting and Exhibit.