Publications
Export 7151 results:
Author Title Type [ Year] Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. A probabilistic notion of camera geometry: Calibrated vs. uncalibrated. PHOTOGRAMMETRIE FERNERKUNDUNG GEOINFORMATION. 2007(1):25-25.
2007. Probabilistic Relational Models. Introduction to Statistical Relational LearningIntroduction to Statistical Relational Learning. :129-129.
2007. Protocols in the use of empirical software engineering artifacts. Empirical Software EngineeringEmpirical Software Engineering. 12:107-119.
2007. Provable algorithms for joint optimization of transport, routing and MAC layers in wireless ad hoc networks. Proc. DialM-POMC Workshop on Foundations of Mobile Computing.
2007. PUTOP: turning predominant senses into a topic model for word sense disambiguation. Proceedings of the 4th International Workshop on Semantic Evaluations. :277-281.
2007. QCS: A system for querying, clustering and summarizing documents. Information Processing & Management. 43(6):1588-1605.
2007. Randomized Algorithms and Probabilistic Analysis in Wireless Networking. Stochastic Algorithms: Foundations and ApplicationsStochastic Algorithms: Foundations and Applications. 4665:54-57.
2007. Reactive Query Policies: A Formalism for Planning with Volatile External Information. :243-250.
2007. Real Time Capture of Audio Images and their Use with Video. Applications of Signal Processing to Audio and Acoustics, 2007 IEEE Workshop on. :10-13.
2007. Recognizing Faces Across Age Progression. Face Biometrics for Personal IdentificationFace Biometrics for Personal Identification. :27-42.
2007. Recovery in culture of viable but nonculturable Vibrio parahaemolyticus: regrowth or resuscitation? The ISME Journal. 1(2):111-120.
2007. Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
2007. Relationship identification for social network discovery. PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. 22(1):546-546.
2007. Reliable Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems. Software Engineering, IEEE Transactions on. 33(2):124-141.
2007. Report on the Fourth International Workshop on Data Management for Sensor Networks (DMSN 2007). SIGMOD Rec.. 36(4):53-55.
2007. Representing and Querying Correlated Tuples in Probabilistic Databases. Data Engineering, 2007. ICDE 2007. IEEE 23rd International Conference on. :596-605.
2007. Representing Tuple and Attribute Uncertainty in Probabilistic Databases. Seventh IEEE International Conference on Data Mining Workshops, 2007. ICDM Workshops 2007. :507-512.
2007. Retrieving matching CAD models by using partial 3D point clouds. Computer-Aided Design & Applications. 4(5):629-638.
2007. Review of "Probability and Computing: Randomized Algorithms and Probabilitic Analysis by Michael Mitzenmacher and Eli Upfal", Cambridge University Press, 2005. SIGACT News. 38(3):20-22.
2007. A roadmap to the integration of early visual modules. International Journal of Computer Vision. 72(1):9-25.
2007. Robust appearance modeling for pedestrian and vehicle tracking. Multimodal Technologies for Perception of Humans. :209-215.