Publications
Export 7148 results:
[ Author] Title Type Year Filters: Unreliable-convergence-criterion-arnoldi%E2%80%99s-method is [Clear All Filters]
1987. Properties of a competition-based activation mechanism in neuromimetic network models. Proceedings of the First International Conference on Neural Networks.
1985. Answer justification in abductive expert systems for diagnostic problem solving. IEEE Transactions on Biomedical Engineering.
1985. A formal model of diagnostic inference, II. Algorithmic solution and application. Information Sciences. 37(1-3):257-285.
1984. Simulation of phonemic errors using artificial intelligence symbol processing techniques. Proceedings of the 17th annual symposium on Simulation. :49-64.
2009. Toward reconstructing the evolution of advanced moths and butterflies (Lepidoptera: Ditrysia): an initial molecular study. BMC Evol Biol. 9:280-280.
2008. Resolving arthropod phylogeny: exploring phylogenetic signal within 41 kb of protein-coding nuclear gene sequence. Syst Biol. 57(6):920-938.
1998. Feature Recognition for Interactive Applications: Exploiting Distributed Resources. UMIACS-TR-94-126.1
1995. Extracting alternative machining features: An algorithmic approach. Research in Engineering Design. 7(3):173-192.
2002. Experimental Construction of Very Large Scale DNA Databases with Associative Search. DNA computing: 7th International Workshop on DNA-Based Computers, DNA 7, Tampa, FL, USA, June 10-13, 2001: revised papers. 7:231-231.
2010. Using symbolic evaluation to understand behavior in configurable software systems. Software Engineering, 2010 ACM/IEEE 32nd International Conference on. 1:445-454.
2010. New forms of Human-Computer Interaction for Visualizing Information. Information Visualization.
2001. An adaptive algorithm for tolerating value faults and crash failures. Parallel and Distributed Systems, IEEE Transactions on. 12(2):173-192.
2003. AQuA: an adaptive architecture that provides dependable distributed objects. Computers, IEEE Transactions on. 52(1):31-50.
1992. Left-corner parsing and psychological plausibility. Proceedings of the 14th conference on Computational linguistics-Volume 1. :191-197.
1992. A class-based approach to lexical discovery. Proceedings of the 30th annual meeting on Association for Computational Linguistics. :327-329.
2005. The web in theoretical linguistics research: Two case studies using the Linguist’s Search Engine. 31st Meeting of the Berkeley Linguistics Society. :265-276.