Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [Clear All Filters]
1993
Fredette AN, Cleaveland R.  1993.  A generalized approach to real-time schedulability analysis. IEEE Real-Time Systems Newsletter. 9(1-2):98-103.
Gupta SK, Nau DS.  1993.  Generation of alternative feature-based models and precedence orderings for machining applications. :465-466.
Arkin EM, Khuller S, Mitchell JSB.  1993.  Geometric knapsack problems. Algorithmica. 10(5):399-427.
Fermüller C.  1993.  Global 3D motion estimation. , 1993 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1993. Proceedings CVPR '93. :415-421.
Young D, Shneiderman B.  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.
Weiland WJ, Shneiderman B.  1993.  A graphical query interface based on aggregation/generalization hierarchies. Information Systems. 18(4):215-232.
Plaisant C.  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.
Doermann D, Furuta R.  1993.  Image based typographic analysis of documents. Document Analysis and Recognition, 1993., Proceedings of the Second International Conference on. :769-773.
Potter RL, Weldon LJ, Shneiderman B.  1993.  Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
Dorr BJ, Raschid L.  1993.  Information mediation techniques for problem solving with multiple knowledge servers.
Dorr BJ.  1993.  Interlingual machine translation A parameterized approach. Artificial Intelligence. 63(1–2):429-492.
Raschid L, Chang Y, Dorr BJ.  1993.  Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
Doermann D, Rosenfeld A.  1993.  The Interpretation and Recognition of Interfering Strokes. IWFHR. :41-50.
Gupta SK, Nau DS, Zhang GM.  1993.  Interpreting Product Designs for Manufacturability Evaluation. ISR; TR 1993-45
Sears A, REVIS DOREEN, SWATSKI JANET, CRITTENDEN ROB, Shneiderman B.  1993.  Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
O'Leary DP.  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.
Huang C-M, O'Leary DP.  1993.  A Krylov multisplitting algorithm for solving linear systems of equations. Linear Algebra and its Applications. 194:9-29.
Khuller S, Naor JS, Klein P.  1993.  The lattice structure of flow in planar graphs. SIAM Journal on Discrete Mathematics. 6:477-477.
Cho S, Reggia JA.  1993.  Learning competition and cooperation. Neural computation. 5(2):242-259.
Cleaveland R, Steffen B.  1993.  A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
McFadden FE, Peng Y, Reggia JA.  1993.  Local conditions for phase transitions in neural networks with variable connection strengths. Neural networks. 6(5):667-676.
Perlis D.  1993.  Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
Doermann D, Rivlin E, Weiss I.  1993.  Logo Recognition. CS-TR-3145
Doermann D, Rivlin E, Weiss I.  1993.  Logo Recognition using Geomentric Invariants. ICDAR. :894-897.
Dorr BJ, Voss CR.  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.

Pages