Publications
Export 7151 results:
Author Title [ Type] Year Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
2009. Finding Biologically Accurate Clusterings in Hierarchical Tree Decompositions Using the Variation of Information. Research in Computational Molecular Biology. 5541:400-417.
2008. Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data. Computer Safety, Reliability, and Security. 5219:221-234.
2006. Finding Mold-Piece Regions Using Computer Graphics Hardware. Geometric Modeling and Processing - GMP 2006. 4077:655-662.
2007. Finding Most Probable Worlds of Probabilistic Logic Programs. Scalable Uncertainty Management. 4772:45-59.
1987. Fine and Medium Grained Parallel Algorithms for Matrix QR Factorization. Algorithms and Applications on Vector and Parallel ComputersAlgorithms and Applications on Vector and Parallel Computers. :347-349.
1999. Fisheye views. Readings in information visualizationReadings in information visualization. :311-311.
1999. Focus+ context. Readings in information visualizationReadings in information visualization. :306-309.
2008. Formalizing Soundness of Contextual Effects. Theorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics. 5170:262-277.
2004. Free-Living to Freewheeling: The Evolution of Vibrio cholerae from Innocence to Infamy. Infectious Disease and Host-Pathogen EvolutionInfectious Disease and Host-Pathogen Evolution. :198-198.
2002. Fulfilling the promise of marine biotechnology. Marine biotechnology in the twenty-first century: problems, promise, and productsMarine biotechnology in the twenty-first century: problems, promise, and products. :39-39.
2006. Further Gait Developments. Human Identification Based on GaitHuman Identification Based on Gait. :135-149.
2005. Fusing Depth and Video Using Rao-Blackwellized Particle Filter. Pattern Recognition and Machine IntelligencePattern Recognition and Machine Intelligence. 3776:521-526.
2006. Future Challenges. Human Identification Based on GaitHuman Identification Based on Gait. :151-170.
1994. The future of graphic user interfaces: Personal role managers. People and Computers. :444-444.
2003. Gait Analysis for Human Identification. Audio- and Video-Based Biometric Person AuthenticationAudio- and Video-Based Biometric Person Authentication. 2688:1058-1058.
2010. GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home. Pervasive Computing. 6030:265-282.
1976. A Generalized Conjugate Gradient Method for the Numerical Solution of Elliptic Partial Differential Equations. Sparse Matrix ComputationsSparse Matrix Computations. :309-332.
2009. The Genus Vibrio and Related Genera. Practical handbook of microbiologyPractical handbook of microbiology. :267-267.
1997. The geometry of visual space distortion. Algebraic Frames for the Perception-Action CycleAlgebraic Frames for the Perception-Action Cycle. 1315:249-277.
2007. Graphical Models in a Nutshell. Introduction to Statistical Relational LearningIntroduction to Statistical Relational Learning. :13-13.