Publications
Export 636 results:
Author Title [ Type] Year Filters: First Letter Of Last Name is N [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.
2007. Finding Most Probable Worlds of Probabilistic Logic Programs. Scalable Uncertainty Management. 4772:45-59.
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.
2006. Further Gait Developments. Human Identification Based on GaitHuman Identification Based on Gait. :135-149.
2006. Future Challenges. Human Identification Based on GaitHuman Identification Based on Gait. :151-170.
2003. Gait Analysis for Human Identification. Audio- and Video-Based Biometric Person AuthenticationAudio- and Video-Based Biometric Person Authentication. 2688:1058-1058.
1996. Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
2004. Information Gathering During Planning for Web Service Composition. The Semantic Web – ISWC 2004. 3298:335-349.
2006. Integrating Video Information over Time. Example: Face Recognition from Video. Cognitive Vision SystemsCognitive Vision Systems. 3948:127-144.
2010. On k-Column Sparse Packing Programs. Integer Programming and Combinatorial OptimizationInteger Programming and Combinatorial Optimization. 6080:369-382.
2006. Key Frame-Based Activity Representation Using Antieigenvalues. Computer Vision – ACCV 2006Computer Vision – ACCV 2006. 3852:499-508.
2006. Key Frame-Based Activity Representation Using Antieigenvalues. Computer Vision – ACCV 2006Computer Vision – ACCV 2006. 3852:499-508.
2005. A Knowledge Integration Framework for Information Visualization. From Integrated Publication and Information Systems to Information and Knowledge EnvironmentsFrom Integrated Publication and Information Systems to Information and Knowledge Environments. 3379:207-220.
2006. Model-Based Approaches. Human Identification Based on GaitHuman Identification Based on Gait. :107-133.
2006. Multi-camera Tracking of Articulated Human Motion Using Motion and Shape Cues. Computer Vision – ACCV 2006Computer Vision – ACCV 2006. 3852:131-140.
2006. Multi-camera Tracking of Articulated Human Motion Using Motion and Shape Cues. Computer Vision – ACCV 2006Computer Vision – ACCV 2006. 3852:131-140.
1999. Network Programming Using PLAN. Internet Programming LanguagesInternet Programming Languages. 1686:127-143.
2010. New Approaches to Robust, Point-Based Image Registration. Image Registration for Remote SensingImage Registration for Remote Sensing.
2010. New Approaches to Robust, Point-Based Image Registration. Image Registration for Remote SensingImage Registration for Remote Sensing.
2004. Plan Databases: Model and Algebra. Foundations of Information and Knowledge Systems. 2942:302-319.
2009. Planning for Interactions among Autonomous Agents. Programming Multi-Agent Systems. 5442:1-23.
2003. Planning in Answer Set Programming Using Ordered Task Decomposition. KI 2003: Advances in Artificial Intelligence. 2821:490-504.