Publications
Export 7151 results:
Author Title Type [ Year] Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is [Clear All Filters]
1997. Hardness of flip-cut problems from optical mapping. Journal of Computational Biology. 4(2):119-125.
1997. Hardness of flip-cut problems from optical mapping [DNA molecules application]. Compression and Complexity of Sequences 1997. Proceedings. :275-284.
1997. How to (plan to) meet a deadline between now and then. Journal of Logic and Computation. 7(1):109-109.
1997. If your version control system could talk. ICSE Workshop on Process Modelling and Empirical Studies of Software Engineering.
1997. Implementing a performance forecasting system for metacomputing: the Network Weather Service. Proceedings of the 1997 ACM/IEEE conference on Supercomputing (CDROM). :1-19.
1997. Implicit object constructions and the (in) transitivity continuum. 33rd Proceedings of the Chicago Linguistic Society. :327-336.
1997. Improved approximations for edge-disjoint paths, unsplittable flow, and related routing problems. , 38th Annual Symposium on Foundations of Computer Science, 1997. Proceedings. :416-425.
1997. Improved parallel approximation of a class of integer programming problems. Algorithmica. 17(4):449-462.
1997. Improving the discrepancy bound for sparse matrices: better approximations for sparse lattice approximation problems. Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms. :692-701.
1997. Integrated Segmentation and Clustering for Enhanced Compression of Document Images. ICDAR. :406-406.
1997. Intelligent software agents vs. user-controlled direct manipulation: a debate. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :105-106.
1997. Interpreting presuppositions using active logic: From contexts to utterances. Computational Intelligence. 13(3):391-413.
1997. Iteration space slicing and its application to communication optimization. Proceedings of the 11th international conference on Supercomputing. :221-228.
1997. Iterative methods for problems in computational fluid dynamics. Iterative Methods in Scientific Computing. :271-327.
1997. Joint minimization of code and data for synchronous dataflow programs. Formal Methods in System Design. 11(1):41-70.
1997. KidPad: a design collaboration between children, technologists, and educators. Proceedings of the SIGCHI conference on Human factors in computing systems. :463-470.
1997. A Language Identification Application Built on the Java Client/Server Platform. From Research to Commercial Applications: Making NLP Work in Practice. :43-47.
1997. Large-scale acquisition of LCS-based lexicons for foreign language tutoring. Proceedings of the fifth conference on Applied natural language processing. :139-146.
1997. Large-Scale Dictionary Construction for Foreign Language Tutoring and Interlingual Machine Translation. Machine Translation. 12(4):271-322.
1997. LCS-based Korean Parsing and Translation. Ms. Institute for Advanced Computer Studies and Department of Computer Science, University of Maryland.