Publications
Export 748 results:
Author Title Type [ Year] Filters: First Letter Of Title is S [Clear All Filters]
1998. The switchware active network implementation. The ML Workshop, International Conference on Functional Programming (ICFP).
1997. Satellite DNA repeat sequence variation is low in three species of burying beetles in the genus ıt Nicrophorus (Coleoptera: Silphidae). Mol Biol Evol. 14(11):1088-1095.
1997. Scheduling in a high performance remote-sensing data server. Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing. SIAM.
1997. A secure and reliable bootstrap architecture. , 1997 IEEE Symposium on Security and Privacy, 1997. Proceedings. :65-71.
1997. Selectional preference and sense disambiguation. Proceedings of the ACL SIGLEX Workshop on Tagging Text with Lexical Semantics: Why, What, and How. :52-57.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
1997. Semantic query optimization for object databases. Data Engineering, 1997. Proceedings. 13th International Conference on. :444-453.
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.
1996. Selectional constraints: an information-theoretic model and its computational realization. Cognition. 61(1-2):127-159.
1996. Semantic query optimization for bottom-up evaluation. Foundations of Intelligent Systems. :561-571.
1996. SEROS – A SELF-ROUTING OPTICAL ATM SWITCH. International Journal of Communication Systems. 9(2):115-125.