Publications
Export 853 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is F [Clear All Filters]
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.
2010. GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home. Pervasive Computing. 6030:265-282.
2010. GasSense: Appliance-Level, Single-Point Sensing of Gas Activity in the Home. Pervasive Computing. 6030:265-282.
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.
2003. Innovating the Interaction. The craft of information visualization: readings and reflectionsThe craft of information visualization: readings and reflections. :295-295.
2004. Interlingual Annotation for MT Development. Machine Translation: From Real Users to ResearchMachine Translation: From Real Users to Research. 3265:236-245.
2004. Interlingual Annotation for MT Development. Machine Translation: From Real Users to ResearchMachine Translation: From Real Users to Research. 3265:236-245.
2009. Interlingual annotation of multilingual text corpora and FrameNet. Multilingual FrameNets in Computational LexicographyMultilingual FrameNets in Computational Lexicography. 200:287-318.
1998. Lexical Selection for Cross-Language Applications: Combining LCS with WordNet. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:438-447.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive ComputingPervasive Computing. 6696:50-69.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive Computing. 6696:50-69.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive ComputingPervasive Computing. 6696:50-69.
2011. A Longitudinal Study of Pressure Sensing to Infer Real-World Water Usage Events in the Home. Pervasive Computing. 6696:50-69.
1998. Low-bandwidth routing and electrical power networks. Automata, Languages and ProgrammingAutomata, Languages and Programming. 1443:604-615.
2004. Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT. Machine Translation: From Real Users to ResearchMachine Translation: From Real Users to Research. 3265:17-26.
2000. New Eyes for Shape and Motion Estimation. Biologically Motivated Computer VisionBiologically Motivated Computer Vision. 1811:23-47.
2002. Polydioptric Cameras: New Eyes for Structure from Motion. Pattern RecognitionPattern Recognition. 2449:618-625.
2004. PRAM-On-Chip: A Quest for Not-So-Obvious Non-obviousness. Mathematical Foundations of Computer Science 2004Mathematical Foundations of Computer Science 2004. 3153:104-105.
2007. Probabilistic Relational Models. Introduction to Statistical Relational LearningIntroduction to Statistical Relational Learning. :129-129.
2012. Re-wiring Activity of Malicious Networks. Passive and Active MeasurementPassive and Active Measurement. 7192:116-125.
2010. Sequencing and Genome Assembly Using Next-Generation Technologies. Computational BiologyComputational Biology. 673:1-17.
1998. Simultaneous estimation of viewing geometry and structure. Computer Vision — ECCV'98Computer Vision — ECCV'98. 1406:342-358.