Publications
1995. Computing stable and partial stable models of extended disjunctive logic programs. Non-Monotonic Extensions of Logic Programming. :205-229.
1995. Consciousness and complexity: the cognitive quest. Annals of Mathematics and Artificial Intelligence. 14(2):309-321.
1995. Crystallization and preliminary X-ray investigation of the recombinant Trypanosoma brucei rhodesiense calmodulin. Proteins: Structure, Function, and Bioinformatics. 21(4):354-357.
1995. Data compression using locally consistent parsing. TechnicM report, University of Maryland Department of Computer Science.
1995. Data parallel programming in an adaptive environment. Parallel Processing Symposium, 1995. Proceedings., 9th International. :827-832.
1995. Dealing with complexity: uniting agents and direct manipulation (panel session). Conference companion on Human factors in computing systems. :191-192.
1995. Defining, Computing, and Visualizing Molecular Interfaces. Proceedings of the 6th conference on Visualization '95. :36–-36–.
1995. Direct Perception of Three-Dimensional Motion from Patterns of Visual Motion. ScienceScience. 270(5244):1973-1976.
1995. Disambiguating noun groupings with respect to WordNet senses. Proceedings of the Third Workshop on Very Large Corpora. :54-68.
1995. Discovery of self-replicating structures using a genetic algorithm. Evolutionary Computation, 1995., IEEE International Conference on. 2:678-683.
1995. Efficient Algorithms for Atmospheric Correction of Remotely Sensed Data. Supercomputing, 1995. Proceedings of the IEEE/ACM SC95 Conference. :12-12.
1995. Efficient image processing algorithms on the scan line array processor. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 17(1):47-56.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1995. Efficient parsing for Korean and English: A parameterized message-passing approach. Computational Linguistics. 21(2):255-263.
1995. Estimation of setup time for machined parts: accounting for work-holding constraints using a vise. COMPUTERS IN ENGINEERING. :619-632.
1995. Euclidean spanners: short, thin, and lanky. Proceedings of the twenty-seventh annual ACM symposium on Theory of computing. :489-498.
1995. Evaluating Spatial and Textual Style of Displays. Institute for Systems Research Technical Reports.
1995. Experimental investigation of high performance cognitive and interactive text filtering. , IEEE International Conference on Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century. 5:4398-4403vol.5-4398-4403vol.5.