Publications
Export 564 results:
[ Author] Title Type Year Filters: First Letter Of Title is E [Clear All Filters]
2001. Evolving columnar circuitry for lateral cortical inhibition. Neural Networks, 2001. Proceedings. IJCNN'01. International Joint Conference on. 1:278-283.
2002. An extraction-based verification methodology for MEMS. Microelectromechanical Systems, Journal of. 11(1):2-11.
2001. Eyes from Eyes. 3D Structure from Images — SMILE 20003D Structure from Images — SMILE 2000. 2018:204-217.
2009. Enhanced force measurement techniques to extend optical trapping towards nanoscale manipulation. :13-16.
2003. Energy-efficient broadcast and multicast trees for reliable wireless communication. Wireless Communications and Networking, 2003. WCNC 2003. 2003 IEEE. 1:660-667vol.1-660-667vol.1.
2002. Efficient Data Processing using Cross Layer Hints. Technical Reports from UMIACS, UMIACS-TR-2002-59.
1999. Efficient perspective-accurate silhouette computation. Proceedings of the fifteenth annual symposium on Computational geometry. :417-418.
2001. Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
2007. Empirical studies to build a science of computer science. Communications of the ACM. 50(11):33-37.
2001. Editorial: Open source and empirical software engineering. Empirical Software Engineering. 6(3):193-194.
1996. The empirical investigation of Perspective-Based Reading. Empirical Software Engineering. 1(2):133-164.
2005. Evolving and packaging reading technologies. Foundations of Empirical Software Engineering: The Legacy of Victor R. BasiliFoundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:362-362.
2001. An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
1998. EFFICIENT DETERMINATION OF SHAPE FROM MULTIPLE IMAGES CONTAINING PARTIAL INFORMATION. Pattern Recognition. 31(11):1691-1703.
2003. Electronic voting system usability issues. Proceedings of the SIGCHI conference on Human factors in computing systems. :145-152.
2008. Enhancing In-Car Navigation Systems with Personal Experience. Transportation Research Record: Journal of the Transportation Research Board. 2064(-1):33-42.
2006. Estimation of Anthropomeasures from a Single Calibrated Camera. Automatic Face and Gesture Recognition, 2006. FGR 2006. 7th International Conference on. :499-504.
2009. An evaluation of connection characteristics for separating network attacks. International Journal of Security and Networks. 4(1):110-124.
2002. Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
1995. Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
1996. Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
2001. Efficient Model Checking Via Buchi Tableau Automata⋆. Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings. 2102:38-38.
1996. Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.