Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
Journal Articles
Shneiderman B, Mayer R.  1979.  Syntactic/semantic interactions in programmer behavior: A model and experimental results. International Journal of Parallel Programming. 8(3):219-238.
Kingsford C, Marçais G.  2009.  A synthesis for exactly 3-edge-connected graphs. Arxiv preprint arXiv:0905.1053.
Bhattacharyya SS, Murthy PK, Lee EA.  1999.  Synthesis of embedded software from synchronous dataflow specifications. The Journal of VLSI Signal Processing. 21(2):151-166.
Yue Z, Chellappa R.  2005.  Synthesis of novel views of moving objects in airborne video. Proc. British Machine Vision Conference. :290-299.
Yue Z, Chellappa R.  2008.  Synthesis of Silhouettes and Visual Hull Reconstruction for Articulated Humans. Multimedia, IEEE Transactions on. 10(8):1565-1577.
Fermüller C, Aloimonos Y.  1996.  The synthesis of vision and action. Exploratory vision: the active eye. :205-205.
Snelick R, JaJa JF, Kacker R, Lyon G.  2006.  Synthetic‐perturbation techniques for screening shared memory programs. Software: Practice and Experience. 24(8):679-701.
Gupta SK, Chen Y, Feng S, Sriram R.  2003.  A system for generating process and material selection advice during embodiment design of mechanical components. Journal of manufacturing systems. 22(1):28-45.
Shneiderman B.  1982.  SYSTEM MESSAGE GUIDELINES: POSITIVE TONE, CONSTRUCTIVE, SPECIFIC, AND USER CENTERED. Gathering Information for Problem Formulation.
Van Horn D, Might M.  2011.  Systematic Abstraction of Abstract Machines. arXiv:1107.3539 [cs].
Bejgerowski W, Gupta SK, Bruck HA.  2009.  A systematic approach for designing multifunctional thermally conducting polymer structures with embedded actuators. Journal of Mechanical Design. 131:111009-111009.
Gupta SK, Nau DS.  1995.  Systematic approach to analysing the manufacturability of machined parts. Computer-Aided Design. 27(5):323-342.
Kolagotla RK, Yu SS, JaJa JF.  1993.  Systolic architectures for finite-state vector quantization. The Journal of VLSI Signal Processing. 5(2):249-259.
Chakrabarti C, JaJa JF.  1990.  Systolic architectures for the computation of the discrete Hartley and the discrete cosine transforms based on prime factor decomposition. Computers, IEEE Transactions on. 39(11):1359-1368.
O'Leary DP.  1987.  Systolic Arrays for Matrix Transpose and Other Reorderings. Computers, IEEE Transactions on. C-36(1):117-122.
Chang C, Acharya A, Sussman A, Saltz J.  1998.  T2. ACM SIGMOD Record. 27:58-66.
Cleaveland R.  1990.  Tableau-based model checking in the propositional mu-calculus. Acta Informatica. 27(8):725-747.
Hori O, Doermann D.  1996.  Table-Form Structure Analysis Based on Box-Driven Reasoning. IEICE TRANSACTIONS on Information and Systems. E79-D(5):542-547.
Papadimitriou P, Tsaparas P, Fuxman A, Getoor L.  2012.  TACI: Taxonomy-Aware Catalog Integration. IEEE Transactions on Knowledge and Data Engineering (TKDE).
Shao-fa JZL, Hong-li JXZ.  2009.  Target Tracking Based on Nonparametric Clustering and Multi-Scale Images. JSCUT (Natural Science Edition). 37(1):34-41.
Cevher V, Sankaranarayanan AC, McClellan JH, Chellappa R.  2007.  Target Tracking Using a Joint Acoustic Video System. Multimedia, IEEE Transactions on. 9(4):715-727.
Kuter U, Nau DS, Pistore M, Traverso P.  2009.  Task decomposition on abstract states, for planning under nondeterminism. Artificial Intelligence. 173(5–6):669-695.
Lim SN, Davis LS, Mittal A.  2007.  Task scheduling in large camera networks. Computer Vision–ACCV 2007. :397-407.
Ahn JW, Plaisant C, Shneiderman B.  2011.  A task taxonomy of network evolution analysis. University of Maryland, Human-Computer Interaction Lab Tech Report HCIL-2011-09.
Hobson S P, Dorr BJ, Monz C, Schwartz R.  2007.  Task-based evaluation of text summarization using Relevance Prediction. Information Processing & Management. 43(6):1482-1499.

Pages