Publications

Export 564 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is E  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Ayers D, Reggia JA.  2001.  Evolving columnar circuitry for lateral cortical inhibition. Neural Networks, 2001. Proceedings. IJCNN'01. International Joint Conference on. 1:278-283.
B
Baidya B, Gupta SK, Mukherjee T.  2002.  An extraction-based verification methodology for MEMS. Microelectromechanical Systems, Journal of. 11(1):2-11.
Baker P, Pless R, Fermüller C, Aloimonos Y.  2001.  Eyes from Eyes. 3D Structure from Images — SMILE 20003D Structure from Images — SMILE 2000. 2018:204-217.
Balijepalli A, LeBrun TW, Gorman JJ, Gupta SK.  2009.  Enhanced force measurement techniques to extend optical trapping towards nanoscale manipulation. :13-16.
Banerjee S, Misra A, Yeo J, Agrawala AK.  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.
Banerjee S, Kommareddy C, Bhattacharjee B.  2004.  Efficient peer location on the Internet. Computer Networks. 45(1):5-17.
Banerjee S, Agrawala AK, Kramer MJ.  2002.  Efficient Data Processing using Cross Layer Hints. Technical Reports from UMIACS, UMIACS-TR-2002-59.
Barequet G, Duncan CA, Goodrich MT, Kumar S, Pop M.  1999.  Efficient perspective-accurate silhouette computation. Proceedings of the fifteenth annual symposium on Computational geometry. :417-418.
Barrett C, Cook D, Hicks G, Faber V, Marathe A, Marathe M, Srinivasan A, Sussmann Y, Thornquist H.  2001.  Experimental Analysis of Algorithms for Bilateral-Contract Clearing Mechanisms Arising in Deregulated Power Industry. Algorithm EngineeringAlgorithm Engineering. 2141:172-184.
Basili VR, Zelkowitz MV.  2007.  Empirical studies to build a science of computer science. Communications of the ACM. 50(11):33-37.
Basili VR.  2001.  Editorial: Open source and empirical software engineering. Empirical Software Engineering. 6(3):193-194.
Basili VR, Green S, Laitenberger O, Lanubile F, Shull F, Sørumgård S, Zelkowitz MV.  1996.  The empirical investigation of Perspective-Based Reading. Empirical Software Engineering. 1(2):133-164.
Basili VR.  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.
Basili VR, Costa P, Lindvall M, Mendonca M, Seaman C, Tesoriero R, Zelkowitz MV.  2001.  An experience management system for a software engineering research organization. Software Engineering Workshop, 2001. Proceedings. 26th Annual NASA Goddard. :29-35.
Basili VR, Seaman C.  2002.  The Experience factory organization. IEEE Software. 19(3):30-31.
Basri R, GROVE ADAMJ, Jacobs DW.  1998.  EFFICIENT DETERMINATION OF SHAPE FROM MULTIPLE IMAGES CONTAINING PARTIAL INFORMATION. Pattern Recognition. 31(11):1691-1703.
Bederson BB, Lee B, Sherman RM, Herrnson PS, Niemi RG.  2003.  Electronic voting system usability issues. Proceedings of the SIGCHI conference on Human factors in computing systems. :145-152.
Bederson BB, Clamage A, Plaisant C.  2008.  Enhancing In-Car Navigation Systems with Personal Experience. Transportation Research Record: Journal of the Transportation Research Board. 2064(-1):33-42.
BenAbdelkader C, Davis LS.  2006.  Estimation of Anthropomeasures from a Single Calibrated Camera. Automatic Face and Gesture Recognition, 2006. FGR 2006. 7th International Conference on. :499-504.
Berthier R, Cukier M.  2009.  An evaluation of connection characteristics for separating network attacks. International Journal of Security and Networks. 4(1):110-124.
Beynon MD, Sussman A, Kurc T, Catalyurek U, Saltz J.  2002.  Efficient Manipulation of Large Datasets on Heterogeneous Storage Systems. Parallel and Distributed Processing Symposium, International. 2:0084-0084.
Bhat G, Cleaveland R, Grumberg O.  1995.  Efficient on-the-fly model checking for CTL. , Tenth Annual IEEE Symposium on Logic in Computer Science, 1995. LICS '95. Proceedings. :388-397.
Bhat G, Cleaveland R.  1996.  Efficient local model-checking for fragments of the modal $\mu$-calculus. Tools and Algorithms for the Construction and Analysis of Systems. :107-126.
Bhat GS, Cleaveland R, Groce A.  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.
Bhat G, Cleaveland R.  1996.  Efficient model checking via the equational μ-calculus. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :304-312.

Pages