Publications
Export 7151 results:
Author Title Type [ Year
] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Similarity-Based Forecasting with Simultaneous Previews: A River Plot Interface for Time Series Forecasting. Information Visualization, 2007. IV '07. 11th International Conference. :191-196.
2007. A simple entropy-based algorithm for planar point location. ACM Transactions on Algorithms (TALG). 3(2)
2007. Simulation and Analysis of Human Walking Motion. Acoustics, Speech and Signal Processing, 2007. ICASSP 2007. IEEE International Conference on. 1:I-797-I-800-I-797-I-800.
2007. Simultaneous appearance modeling and segmentation for matching people under occlusion. Proceedings of the 8th Asian conference on Computer vision - Volume Part II. :404-413.
2007. Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
2007. Software configuration management using ontologies. 3rd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2007), Innsubruk, Austria.
2007. Solving the stochastic steady-state diffusion problem using multigrid. IMA journal of numerical analysis. 27(4):675-675.
2007. Soma models of the behaviors of stakeholders in the afghan drug economy: A preliminary report. Proc. 2007 Intl. Conf. on Computational Cultural Dynamics. :78-86.
2007. Some observations on multigrid convergence for convection–diffusion equations. Computing and Visualization in Science. 10(1):43-56.
2007. Something that is interesting is interesting then: Using text minig and visualizations to aid interpreting repetition in Gertrude Stein’s The Making of Americans. Proceedings of the Digital Humanities Conference. :40-44.
2007. Sorting in space: multidimensional, spatial, and metric data structures for computer graphics applications. International Conference on Computer Graphics and Interactive Techniques.
2007. A spatial model of the red queen effect. Proceedings of the 9th annual conference on Genetic and evolutionary computation. :490-491.
2007. Special Issue in Honor of Ben Shneiderman's 60th Birthday: Reflections on Human-Computer Interaction. International Journal of Human-Computer Interaction. 23(3):195-204.
2007. SplicePort--An interactive splice-site analysis tool. Nucleic Acids Research. 35(Web Server):W285-W291-W285-W291.
2007. Stencil adaptation properties of a WENO scheme in direct numerical simulations of compressible turbulence. Journal of Scientific Computing. 30(3):533-554.
2007. STEWARD: architecture of a spatio-textual search engine. Proceedings of the 15th annual ACM international symposium on Advances in geographic information systems. :25:1–25:8-25:1–25:8.
2007. STEWARD: demo of spatio-textual extraction on the web aiding the retrieval of documents. Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains. :300-301.
2007. Stochastic Communication: A New Paradigm for Fault-Tolerant Networks-on-Chip. VLSI Design. 2007
2007. Storage routing for dtn congestion control. Wireless communications and mobile computing. 7(10):1183-1196.
2007. Story creation from heterogeneous data sources. Multimedia Tools and Applications. 33(3):351-377.
2007. Structural Biology: Analysis of 'downhill' protein folding; Analysis of protein-folding cooperativity (Reply). Nature. 445(7129):E17-E18-E17-E18.
2007. Structural Footprinting in Protein Structure Comparison: The Impact of Structural Fragments. BMC Structural Biology. 7(53)
2007. A Study of Face Recognition as People Age. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.