Publications
Export 3364 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is S [Clear All Filters]
1997. Local Rules for Protein Folding on a Triangular Lattice and Generalized Hydrophobicity in the HP Model. Journal of Computational Biology. 4(3):275-296.
2011. Local Response Context Applied to Pedestrian Detection. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. :181-188.
1995. The local nature of Δ-coloring and its algorithmic applications. Combinatorica. 15(2):255-280.
1999. Local model checking and protocol analysis. International Journal on Software Tools for Technology Transfer (STTT). 2(3):219-241.
2011. Local Balancing Influences Global Structure in Social Networks. Proceedings of the National Academy of SciencesPNAS. 108(5):1751-1752.
2005. Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data. Institute for Systems Research Technical Reports.
2005. Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data (2004). Institute for Systems Research Technical Reports.
2005. Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data. Institute for Systems Research Technical Reports.
2005. Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data (2004). Institute for Systems Research Technical Reports.
2010. Linking Software Development and Business Strategy Through Measurement. Computer. 43(4):57-65.
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
2011. Linear versus Mel Frequency Cepstral Coefficients for Speaker Recognition. IEEE Automatic Speech Recognition and Understanding Workshop.
2002. A Linear Iterative Approach for Hierarchical Shortest Path Finding. Technical Reports from UMIACS, UMIACS-TR-2002-97.
2011. Limits on the power of zero-knowledge proofs in cryptographic constructions. Theory of Cryptography. :559-578.
2005. The limits of speech recognition: Understanding acoustic memory and appreciating prosody (2000). Institute for Systems Research Technical Reports.
1998. LifeLines: using visualization to enhance navigation and analysis of patient records. In Proceedings of the 1998 American Medical Informatic Association Annual Fall SymposiumProc AMIA Symp. :76-80.
1998. LifeLines: using visualization to enhance navigation and analysis of patient records.. Proceedings of the AMIA Symposium. :76-80.
1998. LifeLines: using visualization to enhance navigation and analysis of patient records.. Proceedings of the AMIA Symposium. :76-80.
1998. LifeLines: using visualization to enhance navigation and analysis of patient records. In Proceedings of the 1998 American Medical Informatic Association Annual Fall SymposiumProc AMIA Symp. :76-80.
1995. Lexical allocation in interlingua-based machine translation of spatial expressions. Working Notes for IJCAI-95 Workshop on the Representation and Processing of Spatial Expressions, Montreal, Canada.
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
2007. Least squares preconditioners for stabilized discretizations of the Navier-Stokes equations. SIAM J. Sci. Comput. 30(1):290-311.
2009. Learning to trust in the competence and commitment of agents. Autonomous Agents and Multi-Agent Systems. 18(1):36-82.