Publications
Export 3364 results:
Author [ Title] Type Year Filters: First Letter Of Last Name is S [Clear All Filters]
2009. Aggregate Query Answering under Uncertain Schema Mappings. Data Engineering, 2009. ICDE '09. IEEE 25th International Conference on. :940-951.
2007. Aggregates in Generalized Temporally Indeterminate Databases. Scalable Uncertainty ManagementScalable Uncertainty Management. 4772:171-186.
2007. Aggregates in Generalized Temporally Indeterminate Databases. Scalable Uncertainty ManagementScalable Uncertainty Management. 4772:171-186.
2008. An AGM-based belief revision mechanism for probabilistic spatio-temporal logics. Proceedings of the 23rd national conference on Artificial intelligence. :511-516.
2010. AI Theory and Practice: A Discussion on Hard Challenges and Opportunities Ahead. AI Magazine. 31(3):103-114.
2003. Airborne Video Registration for Activity Monitoring. Video RegistrationVideo Registration. 5:130-143.
2003. Airborne Video Registration for Activity Monitoring. Video RegistrationVideo Registration. 5:130-143.
2003. Airborne Video Registration for Activity Monitoring. Video RegistrationVideo Registration. 5:130-143.
1991. An algebra and calculus for relational multidatabase systems. , First International Workshop on Interoperability in Multidatabase Systems, 1991. IMS '91. Proceedings. :118-124.
2005. An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.
1997. Algorithm 776: SRRIT: a Fortran subroutine to calculate the dominant invariant subspace of a nonsymmetric matrix. ACM Trans. Math. Softw.. 23(4):494-513.
2005. Algorithm 844: Computing sparse reduced-rank approximations to sparse matrices. ACM Transactions on Mathematical Software-TOMS. 31(2):252-269.
2008. Algorithm 879: EIGENTEST—a test matrix generator for large-scale eigenproblems. ACM Trans. Math. Softw.. 35(1):7:1–7:11-7:1–7:11.
1986. Algorithm for concurrency control in replicated databases.. COMP. SYST. SCI. ENG.. 1(2):75-81.
2005. Algorithmic and architectural design methodology for particle filters in hardware. Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005. Proceedings. 2005 IEEE International Conference on. :275-280.
2005. Algorithmic and architectural design methodology for particle filters in hardware. Computer Design: VLSI in Computers and Processors, 2005. ICCD 2005. Proceedings. 2005 IEEE International Conference on. :275-280.
2008. Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. Image Processing, IEEE Transactions on. 17(5):737-748.
2008. Algorithmic and Architectural Optimizations for Computationally Efficient Particle Filtering. Image Processing, IEEE Transactions on. 17(5):737-748.
2005. Algorithmic aspects of capacity in wireless networks. Proceedings of the 2005 ACM SIGMETRICS international conference on Measurement and modeling of computer systems. :133-144.