Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
Winder RK, Reggia JA, Weems SA, Bunting MF.  2009.  An oscillatory hebbian network model of short-term memory. Neural computation. 21(3):741-761.
Stewart G.W.  1999.  On Orthogonalization in the Inverse Power Method. UMIACS-TR-99-64
Hwang H, Lauw HW, Getoor L, Ntoulas A.  2012.  Organizing User Search Histories. Knowledge and Data Engineering, IEEE Transactions on. 24(5):912-925.
Plaisant C, Shneiderman B.  1995.  Organization overviews and role management: inspiration for future desktop environments. Proceedings of the Fourth Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 1995. :14-22.
Fermüller C, Aloimonos Y.  1996.  Ordinal representations of visual space. Proc. Image Understanding Workshop. :897-904.
Elman H, Agrón E.  1989.  Ordering techniques for the preconditioned conjugate gradient method on parallel computers. Computer Physics Communications. 53(1-3):253-269.
O'Leary DP.  1984.  Ordering Schemes for Parallel Processing of Certain Mesh Problems. SIAM Journal on Scientific and Statistical Computing. 5:620-632.
Elman H, Chernesky MP.  1993.  Ordering Effects on Relaxation Methods Applied to the Discrete One- Dimensional Convection-Diffusion Equation. SIAM Journal on Numerical Analysis. 30(5):1268-1290.
Shneiderman B, Wattenberg M.  2005.  Ordered Treemap Layouts (2001). Institute for Systems Research Technical Reports.
Shneiderman B, Wattenberg M.  2001.  Ordered treemap layouts. IEEE Symposium on Information Visualization, 2001. INFOVIS 2001. :73-78.
Bederson BB, Shneiderman B, Wattenberg M.  2005.  Ordered and Quantum Treemaps: Making Effective Use of 2D Space to Display Hierarchies (2001). Institute for Systems Research Technical Reports.
Bederson BB, Shneiderman B, Wattenberg M.  2002.  Ordered and quantum treemaps: Making effective use of 2D space to display hierarchies. ACM Transactions on Graphics (TOG). 21(4):833-854.
Shneiderman B.  1973.  Optimum data base reorganization points. Communications of the ACM. 16(6):362-365.
Evans F, Skiena S, Varshney A.  1996.  Optimizing triangle strips for fast rendering. Visualization '96. Proceedings.. :319-326.
Bhattacharyya SS, Sriram S, Lee EA.  1997.  Optimizing synchronization in multiprocessor DSP systems. Signal Processing, IEEE Transactions on. 45(6):1605-1618.
Chang C, Kurc T, Sussman A, Saltz J.  2000.  Optimizing retrieval and processing of multi-dimensional scientific datasets. Parallel and Distributed Processing Symposium, 2000. IPDPS 2000. Proceedings. 14th International. :405-410.
Corrada Bravo H, Ramakrishnan R.  2007.  Optimizing mpf queries. Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07. :701-701.
V.S. Subrahmanian.  2003.  Optimizing Heavily Loaded Agents.
Beynon MD, Kurc T, Sussman A, Saltz J.  2002.  Optimizing execution of component-based applications using group instances. Future Generation Computer Systems. 18(4):435-448.
Barrett C, Beckman R, Bisset K, Chen J, DuBois T, Eubank S, Kumar AVS, Lewis B, Marathe MV, Srinivasan A et al..  2012.  Optimizing epidemic protection for socially essential workers. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :31-40.
J. Johnson I, Labich N, Might M, Van Horn D.  2013.  Optimizing Abstract Abstract Machines. arXiv:1211.3722 [cs].
Geisbrecht BV, Bouyain S, Pop M.  2006.  An optimized system for expression and purification of secreted bacterial proteins. Protein Expression and Purification. 46(1):23-32.
Bhattacharyya SS, America H.  1997.  Optimized software synthesis for synchronous dataflow. Proceedings of the ASAP97.
Eckman BA, Lacroix Z, Raschid L.  2001.  Optimized seamless integration of biomolecular data. Proceedings of the IEEE 2nd International Symposium on Bioinformatics and Bioengineering Conference, 2001. :23-32.
Wei Z, JaJa JF.  2012.  An Optimized High-Throughput Strategy for Constructing Inverted Files. Parallel and Distributed Systems, IEEE Transactions on. PP(99):1-1.

Pages