Publications
Export 7151 results:
Author Title Type [ Year] Filters: Conversion-viable-nonculturable-vibrio-cholerae-culturable-state-co%E2%80%90culture-eukaryotic is [Clear All Filters]
1993. A generalized approach to real-time schedulability analysis. IEEE Real-Time Systems Newsletter. 9(1-2):98-103.
1993. Generation of alternative feature-based models and precedence orderings for machining applications. :465-466.
1993. Global 3D motion estimation. , 1993 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1993. Proceedings CVPR '93. :415-421.
1993. A graphical filter/flow representation of Boolean queries: A prototype implementation and evaluation. Journal of the American Society for Information Science. 44(6):327-339.
1993. A graphical query interface based on aggregation/generalization hierarchies. Information Systems. 18(4):215-232.
1993. Guide to Opportunities in Volunteer Archaeology: case study on the use of a hypertext system in a museum exhibit. Sparks of innovation in human-computer interactionSparks of innovation in human-computer interaction. :223-223.
1993. Image based typographic analysis of documents. Document Analysis and Recognition, 1993., Proceedings of the Second International Conference on. :769-773.
1993. Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
1993. Interlingual machine translation A parameterized approach. Artificial Intelligence. 63(1–2):429-492.
1993. Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
1993. Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
1993. Iterative Methods for Finding the Stationary Vector for Markov Chains. Linear Algebra, Markov Chains, and Queuing ModelsLinear Algebra, Markov Chains, and Queuing Models. 48:125-136.
1993. A Krylov multisplitting algorithm for solving linear systems of equations. Linear Algebra and its Applications. 194:9-29.
1993. The lattice structure of flow in planar graphs. SIAM Journal on Discrete Mathematics. 6:477-477.
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
1993. Local conditions for phase transitions in neural networks with variable connection strengths. Neural networks. 6(5):667-676.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
1993. Machine Translation of Spatial Expressions: Defining the Relation betweenan Interlingua and a Knowledge Representation System. IN PROCEEDINGS OF TWELFTH CONFERENCE OF THE AMERICAN ASSOCIATION FOR ARTIFICIAL IN℡LIGENCE. :374-379.