Publications

Export 7151 results:
Author Title Type [ Year(Desc)]
Filters: Filter is   [Clear All Filters]
1999
Du X, Smolka SA, Cleaveland R.  1999.  Local model checking and protocol analysis. International Journal on Software Tools for Technology Transfer (STTT). 2(3):219-241.
Minker J.  1999.  Logic and databases: a 20 year retrospective-updated in honor of Ray Reiter. Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter. :234-299.
Bel N, Dorr BJ, Hovy E, Knight K, Iida H, Boitet C, Maegaard B, Wilks Y.  1999.  Machine Translation. Multilingual Information Management: Current Levels and Future Abilities. :18-18.
Resnik P.  1999.  Mining the web for bilingual text. Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics. :527-534.
Andersen C, Traum D, Purang K, Purushothaman D, Perlis D.  1999.  Mixed initiative dialogue and intelligence via active logic. proceedings of the AAAI99 Workshop on Mixed-Initiative Intelligence. :60-67.
Stuckelberg MV, Doermann D.  1999.  Model Based Graphics Recognition. GREC. :136-143.
Levitan S, Stoica I, Reggia JA.  1999.  A model of lateralization and asymmetries in cortical maps. Neural Networks, 1999. IJCNN'99. International Joint Conference on. 1:121-124.
Bultan T, Gerber R, Pugh W.  1999.  Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 21(4):747-789.
Shih Y-T, Elman H.  1999.  Modified streamline diffusion schemes for convection-diffusion problems. Computer Methods in Applied Mechanics and Engineering. 174(1-2):137-151.
Donelson JE, Gardner MJ, El-Sayed NM.  1999.  More surprises from Kinetoplastida. Proceedings of the National Academy of Sciences of the United States of America. 96(6):2579-2579.
Fermüller C, Brodsky T, Aloimonos Y.  1999.  Motion Segmentation: A Synergistic Approach. Computer Vision and Pattern Recognition, IEEE Computer Society Conference on. 2:2226-2226.
Feamster N, Wee S.  1999.  An MPEG-2 to H. 263 transcoder. SPIE Voice, Video, and Data Communications Conference.
Wu M, Yu H, Gelman A.  1999.  Multi-level data hiding for digital image and video. SPIE Photonics East’99.
Oard D, Peters C, Ruiz M, Frederking R, Klavans J, Sheridan P.  1999.  Multilingual Information Discovery and AccesS (MIDAS): A Joint ACM DL'99/ ACM SIGIR'99 Workshop.. D-Lib MagazineD-Lib Magazine. 5(10):1-12.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Multiple dimensions> 3. Readings in information visualization. :93-95.
Stuckelberg MV, Doermann D.  1999.  On musical score recognition using probabilistic reasoning. Document Analysis and Recognition, 1999. ICDAR '99. Proceedings of the Fifth International Conference on. :115-118.
Last HR, Deeds M, Garvick D, Kavetsky R, Sandborn PA, Magrab EB, Gupta SK.  1999.  Nano-to-millimeter scale integrated systems. Components and Packaging Technologies, IEEE Transactions on. 22(2):338-343.
Hicks MW, Kakkar P, Moore J, Gunter C, Nettles S.  1999.  Network Programming Using PLAN. Internet Programming LanguagesInternet Programming Languages. 1686:127-143.
Simon R, Sood A, Mundur P.  1999.  Network service selection for distributed multimedia applications. Third International Conference on Computational Intelligence and Multimedia Applications, 1999. ICCIMA '99. Proceedings. :388-392.
Shevtsova N, Reggia JA.  1999.  A neural network model of lateralization during letter identification. Journal of Cognitive Neuroscience. 11(2):167-181.
Leighton T, Rao S, Srinivasan A.  1999.  New algorithmic aspects of the Local Lemma with applications to routing and partitioning. Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms. :643-652.
Ferreira R, Kurc T, Beynon M, Chang C, Sussman A, Saltz JH.  1999.  Object-relational queries into multidimensional databases with the active data repository. Parallel Processing Letters. 9(2):173-195.
Stewart G.W.  1999.  On Orthogonalization in the Inverse Power Method. UMIACS-TR-99-64
Basili VR, Seaman C, Tesoriero R, Zelkowitz MV.  1999.  OSMA Software Program: Domain Analysis Guidebook. Technical Reports from UMIACS, UMIACS-TR-99-16.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Overview+ detail. Readings in information visualizationReadings in information visualization. :285-286.

Pages