Publications
Export 7151 results:
Author Title Type [ Year] Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
1997. Semi-automatic acquisition of domain-specific translation lexicons. Proceedings of the fifth conference on Applied natural language processing. :340-347.
1997. Sources of, and exploiting, inconsistency: preliminary report. JOURNAL OF APPLIED NONCLASSICAL LOGICS. 7:13-24.
1997. Spanish EuroWordNet and LCS-Based Interlingual MT. IN PROCEEDINGS OF THE MT SUMMIT WORKSHOP ON INTERLINGUAS IN MT.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.
1997. The state of the art in text filtering. User Modeling and User-Adapted Interaction. 7(3):141-178.
1997. Stochastic completion fields: A neural model of illusory contour shape and salience. Neural Computation. 9(4):837-858.
1997. A survey of the Trypanosoma brucei rhodesiense genome using shotgun sequencing. Molecular and Biochemical Parasitology. 84(2):167-178.
1997. Symbolic model checking of infinite state systems using Presburger arithmetic. Computer Aided Verification. :400-411.
1997. Techniques for Automated Testing for Automated Testing of Document Analysis Algorithms. Proceedings of the First Brazilian Symposium on Document Image Analysis. :201-212.
1997. Temporal Multi-scale Models for Image Motion Estimation. Image Understanding Workshop: proceedings of a workshop held in New Orleans, Louisiana, May 11-14, 1997. 1:135-135.
1997. Titan: a High-Performance Remote-sensing Database. In Proceedings of the 1997 International Conference on Data Engineering.
1997. Toward motion picture grammars. Computer Vision — ACCV'98Computer Vision — ACCV'98. 1352:283-290.
1997. The Triangular Matrices of Gaussian Elimination and Related Decompositions. IMA Journal of Numerical Analysis. 17(1):7-16.
1997. User Interfaces for a Complex Robotic Task: A Comparison of Tiles vs. Overlapped Windows. Institute for Systems Research Technical Reports.
1997. Using content-derived names for configuration management. ACM SIGSOFT Software Engineering Notes. 22(3):104-109.
1997. Using manufacturing planning to generate manufacturability feedback. Journal of Mechanical Design. 119:73-73.