Publications

Export 7151 results:
Author [ Title(Desc)] 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 
E
Chou HH, Reggia JA, Navarro-Gonzalez R, Wu J.  1994.  An extended cellular space method for simulating autocatalytic oligonucleotides. Computers & chemistry. 18(1):33-43.
Deligiannakis A, Garofalakis M, Roussopoulos N.  2007.  Extended wavelets for multiple measures. ACM Transactions on Database SystemsACM Trans. Database Syst.. 32(2):10-es-10-es.
Khuller S.  1990.  Extending planar graph algorithms to K3,3-free graphs. Information and Computation. 84(1):13-25.
Rodríguez A, Reggia JA.  2004.  Extending self-organizing particle systems to problem solving. Artificial Life. 10(4):379-395.
Zhang P, Soergel D, Klavans JL, Oard D.  2008.  Extending sense-making models with ideas from cognition and learning theories. Proceedings of the American Society for Information Science and Technology. 45(1):23-23.
Samet H, Webber RE.  2006.  Extending the SAND Spatial Database System for the Visualization of Three-Dimensional Scientific Data. Geographical Analysis. 38(1):87-101.
Chintalapani G, Plaisant C, Shneiderman B.  2004.  Extending the utility of treemaps with flexible hierarchy. Eighth International Conference on Information Visualisation, 2004. IV 2004. Proceedings. :335-344.
Chintalapani G, Plaisant C, Shneiderman B.  2005.  Extending the Utility of Treemaps with Flexible Hierarchy (2004). Institute for Systems Research Technical Reports.
Marchionini G, Hert C, Liddy L, Shneiderman B.  2000.  Extending understanding of federal statistics in tables. Proceedings of the 2000 annual national conference on Digital government research. :1-7.
Marchionini G, Hert C, Liddy L, Shneiderman B.  2005.  Extending User Understanding of Federal Statistics in Tables (2000). Institute for Systems Research Technical Reports.
McMaster S, Memon AM.  2009.  An Extensible Heuristic-Based Framework for GUI Test Case Maintenance. Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on. :251-254.
Perlis D.  1972.  An extension of Ackermann's set theory. Journal of Symbolic Logic. 37(4):703-704.
Lin CK, Goldsman N, Chang CH, Mayergoyz ID, Aronowitz S, Dong J, Belova N.  1998.  Extension of Spherical Harmonic Method to RF Transient Regime. Simulation of semiconductor processes and devices 1998: SISPAD 98. :42-42.
Srinivasan A.  1996.  An extension of the Lovász Local Lemma, and its applications to integer programming. Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms. :6-15.
Regli WC, Gupta SK, Nau DS.  1995.  Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
Sinha R, Gupta SK, Paredis CJJ, Khosla PK.  2002.  Extracting articulation models from CAD models of parts with curved surfaces. TRANSACTIONS-AMERICAN SOCIETY OF MECHANICAL ENGINEERS JOURNAL OF MECHANICAL DESIGN. 124(1):106-114.
Kelley DR, Kingsford C.  2011.  Extracting Between-Pathway Models from E-MAP Interactions Using Expected Graph Compression. Journal of Computational Biology. 18(3):379-390.
Kobla V, Doermann D.  1997.  Extracting Features for Indexing MPEG-Compressed Video. Proceedings of the IEEEFirst Workshop on Multimedia Signal Processing. :337-342.
Wang T, Wongsuphasawat K, Plaisant C, Shneiderman B.  2011.  Extracting Insights from Electronic Health Records: Case Studies, a Visual Analytics Process Model, and Design Recommendations. Journal of Medical Systems. 35(5):1135-1152.
Gupta A, Prasad VSN, Davis LS.  2005.  Extracting regions of symmetry. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 3:III-133-6-III-133-6.
Raykar VC, Duraiswami R, Davis LS, Yegnanarayana B.  2003.  Extracting significant features from the HRTF. Proceedings of the 2003 International Conference on Auditory Display.
Raykar VC, Duraiswami R, Davis LS, Yegnanarayana B.  2003.  Extracting significant features from the hrtf. Proceedings of the 2003 International Conference on Auditory Display.
Ibrahim A, Katz B, Jimmy Lin.  2003.  Extracting structural paraphrases from aligned monolingual corpora. Proceedings of the second international workshop on Paraphrasing - Volume 16. :57-64.
Raykar VC, Duraiswami R, Yegnanarayana B.  2004.  Extracting the frequencies of the pinna spectral notches from measured head-related impulse responses. The Journal of the Acoustical Society of America. 116(4):2625-2625.
Raykar VC, Duraiswami R, Yegnanarayana B.  2005.  Extracting the frequencies of the pinna spectral notches in measured head related impulse responses. The Journal of the Acoustical Society of America. 118(1):364-374.

Pages