Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
Conference Papers
Tanin E, Nayar D, Samet H.  2005.  An efficient nearest neighbor algorithm for P2P settings. Proceedings of the 2005 national conference on Digital government research. :21-28.
Ryu KD, Hollingsworth J, Keleher PJ.  2001.  Efficient network and I/O throttling for fine-grain cycle stealing. Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM) - Supercomputing '01. :3-3.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Krishnamurthy S, JaJa JF.  1990.  An efficient parallel algorithm for channel routing. Computer Design: VLSI in Computers and Processors, 1990. ICCD '90. Proceedings., 1990 IEEE International Conference on. :400-403.
Khuller S, Schieber B.  1989.  Efficient parallel algorithms for testing connectivity and finding disjoint s-t paths in graphs. Foundations of Computer Science, 1989., 30th Annual Symposium on. :288-293.
Ramachandran V, Vishkin U.  1988.  Efficient parallel triconnectivity in logarithmic time. VLSI Algorithms and Architectures. :33-42.
Khan Z, Balch T, Dellaert F..  2003.  Efficient particle filter-based tracking of multiple interacting targets using an MRF-based motion model. 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. 1:254-259vol.1.
Barequet G, Duncan CA, Goodrich MT, Kumar S, Pop M.  1999.  Efficient perspective-accurate silhouette computation. Proceedings of the fifteenth annual symposium on Computational geometry. :417-418.
Pop M, Duncan C, Barequet G, Goodrich M, Huang W, Kumar S.  2001.  Efficient perspective-accurate silhouette computation and applications. Proceedings of the seventeenth annual symposium on Computational geometry. :60-68.
Martinez MV, Parisi F, Pugliese A, Simari GI, V.S. Subrahmanian.  2010.  Efficient Policy-Based Inconsistency Management in Relational Knowledge Bases. Scalable Uncertainty Management: 4th International Conference. 6379:264-264.
Cranston CB, Samet H.  2006.  Efficient position-independent iconic search using an R-theta index. Proceedings of the 14th annual ACM international symposium on Advances in geographic information systems. :27-34.
Sankaranarayanan J, Alborzi H, Samet H.  2005.  Efficient query processing on spatial networks. Proceedings of the 13th annual ACM international workshop on Geographic information systems. :200-209.
Bright L, Raschid L.  2000.  Efficient remote data access in a mobile computing environment. ICPP. :57-57.
Agrawal G, Sussman A, Saltz J.  1994.  Efficient runtime support for parallelizing block structured applications. Scalable High-Performance Computing Conference, 1994., Proceedings of the. :158-167.
Hsu CJ, Ramasubbu S, Ko MY, Pino JL, Bhattacharyya SS.  2006.  Efficient simulation of critical synchronous dataflow graphs. Proceedings of the 43rd annual Design Automation Conference. :893-898.
Kee H, Bhattacharyya SS, Kornerup J.  2010.  Efficient static buffering to guarantee throughput-optimal FPGA implementation of synchronous dataflow graphs. 2010 International Conference on Embedded Computer Systems (SAMOS). :136-143.
Deshpande A, Garofalakis MN, Jordan MI.  2001.  Efficient stepwise selection in decomposable models. Proc. UAI. :128-135.
Landau GM, Vishkin U.  1985.  Efficient string matching in the presence of errors. Foundations of Computer Science, 1985., 26th Annual Symposium on. :126-136.
Srinivasan BV, Duraiswami R.  2009.  Efficient subset selection via the kernelized Rényi distance. Computer Vision, 2009 IEEE 12th International Conference on. :1081-1088.
Borovikov E, Sussman A, Davis LS.  2001.  An efficient system for multi-perspective imaging and volumetric shape analysis. Proceedings of the 2001 Workshop on Parallel and Distributed Computing in Imaging Processing, Video Processing, and Multimedia.
Hayden CM, Hardisty EA, Hicks MW, Foster JS.  2009.  Efficient systematic testing for dynamically updatable software. Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades. :9-9.
Hayden CM, Hardisty EA, Hicks MW, Foster JS.  2009.  Efficient systematic testing for dynamically updatable software. Proceedings of the 2nd International Workshop on Hot Topics in Software Upgrades. :9:1–9:5-9:1–9:5.
Shi Q, JaJa JF.  2002.  Efficient techniques for range search queries on earth science data. Scientific and Statistical Database Management, 2002. Proceedings. 14th International Conference on. :142-151.
Lacroix Z, Raschid L, Vidal ME.  2004.  Efficient techniques to explore and rank paths in life science data sources. Data Integration in the Life Sciences. :187-202.
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.

Pages