Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2007
Buono P, Plaisant C, Simeone A, Aris A, Shneiderman B, Shmueli G, Jank W.  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.
Arya S, Malamatos T, Mount D.  2007.  A simple entropy-based algorithm for planar point location. ACM Transactions on Algorithms (TALG). 3(2)
Nandy K, Chellappa R.  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.
Lin Z, Davis LS, Doermann D, DeMenthon D.  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.
Porter A, Yilmaz C, Memon AM, Schmidt DC, Natarajan B.  2007.  Skoll: A Process and Infrastructure for Distributed Continuous Quality Assurance. Software Engineering, IEEE Transactions on. 33(8):510-525.
Shahri HH, Hendler JA, Porter A.  2007.  Software configuration management using ontologies. 3rd International Workshop on Semantic Web Enabled Software Engineering (SWESE 2007), Innsubruk, Austria.
Elman H, Furnival D.  2007.  Solving the stochastic steady-state diffusion problem using multigrid. IMA journal of numerical analysis. 27(4):675-675.
Sliva A, Martinez V, Simari GI, V.S. Subrahmanian.  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.
Ramage A, Elman H.  2007.  Some observations on multigrid convergence for convection–diffusion equations. Computing and Visualization in Science. 10(1):43-56.
Clement T, Don A, Plaisant C, Auvil L, Pape G, Goren V.  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.
Samet H.  2007.  Sorting in space: multidimensional, spatial, and metric data structures for computer graphics applications. International Conference on Computer Graphics and Interactive Techniques.
Jacox EH, Samet H.  2007.  Spatial join techniques. ACM Trans. Database Syst.. 32(1)
Ottino-Loffler J, Rand W, Wilensky U.  2007.  A spatial model of the red queen effect. Proceedings of the 9th annual conference on Genetic and evolutionary computation. :490-491.
Plaisant C, North C.  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.
Mount SM, Gotea V, Lin C-F, Hernandez K, Makałowski W.  2007.  Spliceosomal small nuclear RNA genes in 11 insect genomes. RNARNA. 13(1):5-14.
Dogan RI, Getoor L, Wilbur WJ, Mount SM.  2007.  SplicePort--An interactive splice-site analysis tool. Nucleic Acids Research. 35(Web Server):W285-W291-W285-W291.
Taylor EM, Martin, M.P.  2007.  Stencil adaptation properties of a WENO scheme in direct numerical simulations of compressible turbulence. Journal of Scientific Computing. 30(3):533-554.
Lieberman MD, Samet H, Sankaranarayanan J, Sperling J.  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.
Samet H, Lieberman MD, Sankaranarayanan J, Sperling J.  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.
Bogdan P, &#351 D,, Marculescu R.  2007.  Stochastic Communication: A New Paradigm for Fault-Tolerant Networks-on-Chip. VLSI Design. 2007
Seligman M, Fall K, Mundur P.  2007.  Storage routing for dtn congestion control. Wireless communications and mobile computing. 7(10):1183-1196.
Fayzullin M, V.S. Subrahmanian, Albanese M, Cesarano C, Picariello A.  2007.  Story creation from heterogeneous data sources. Multimedia Tools and Applications. 33(3):351-377.
Sadqi M, Fushman D, Muñoz V.  2007.  Structural Biology: Analysis of 'downhill' protein folding; Analysis of protein-folding cooperativity (Reply). Nature. 445(7129):E17-E18-E17-E18.
Zotenko E, Dogan R I, Wilbur JW, O'Leary DP, Przytycka TM.  2007.  Structural Footprinting in Protein Structure Comparison: The Impact of Structural Fragments. BMC Structural Biology. 7(53)
Ling H, Soatto S, Ramanathan N, Jacobs DW.  2007.  A Study of Face Recognition as People Age. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.

Pages