Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Journal Articles
Lee I, Pappas GJ, Cleaveland R, Hatcliff J, Krogh BH, Lee P, Rubin H, Sha L.  2006.  High-confidence medical device software and systems. Computer. 39(4):33-38.
Zheleva E, Getoor L, Sarawagi S.  2010.  Higher-order graphical models for classification in social and affiliation networks. NIPS 2010 Workshop on Networks Across Disciplines: Theory and Applications, Whistler BC, Canada.
Tobin-Hochstadt S, Van Horn D.  2011.  Higher-Order Symbolic Execution via Contracts. arXiv:1103.1362 [cs].
He S, Kirovski D, M. Wu.  2009.  High-Fidelity Data Embedding for Image Annotation. Image Processing, IEEE Transactions on. 18(2):429-435.
Chandrachoodan N, Bhattacharyya SS, Liu KJR.  2002.  High-level synthesis of DSP applications using adaptive negative cycle detection. EURASIP J. Appl. Signal Process.. 2002(1):893-907.
Tuhrim S, Reggia JA, Peng Y.  1994.  High-specificity neurological localization using a connectionist model. Artificial Intelligence in Medicine. 6(6):521-532.
Shneiderman B.  1983.  High-tech can stimulate creative action: the increased ease-of-use of computers supports individual competence and productive work. SIGCHI Bull.. 14(4):6-7.
Schatz MC, Trapnell C, Delcher AL, Varshney A.  2007.  High-throughput sequence alignment using Graphics Processing Units. BMC Bioinformatics. 8(1):474-474.
Charles C, Des Jarlais Don PT, Gerry S.  2007.  HIV risk behaviors among female IDUs in developing and transitional countries. BMC Public Health. 7
Minker J.  2011.  Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
Dunlavy DM, O'Leary DP, Klimov D, Thirumalai D.  2005.  HOPE: A Homotopy Optimization Method for Protein Structure Prediction. Journal of Computational Biology. 12(10):1275-1288.
Trivedi CM, Zhu W, Wang Q, Jia C, Kee H J, Li L, Hannenhalli S, Epstein JA.  2010.  Hopx and Hdac2 Interact to Modulate Gata4 Acetylation and Embryonic Cardiac Myocyte Proliferation. Developmental Cell. 19(3):450-459.
Hutchinson H, Druin A, Bederson BB, Reuter K, Rose A, Weeks AC.  2005.  How do I find blue books about dogs? The errors and frustrations of young digital library users Proceedings of HCII 2005.
Valancius V, Lumezanu C, Feamster N, Johari R, Vazirani VV.  2011.  How Many Tiers? Pricing in the Internet Transit Market SIGCOMM-Computer Communication Review. 41(4):194-194.
Balch T, Dellaert F., Feldman A., Guillory A., Isbell C.L., Khan Z, Pratt S.C., Stein A.N., Wilde H..  2006.  How Multirobot Systems Research will Accelerate our Understanding of Social Animal Behavior. Proceedings of the IEEE. 94(7):1445-1463.
Huang L, Aloimonos Y.  1994.  How normal flow constrains relative depth for an active observer. Image and vision computing. 12(7):435-445.
Kamara S, Katz J.  2008.  How to encrypt with a malicious random number generator. Fast Software Encryption. :303-315.
Feamster N, Gao L, Rexford J.  2007.  How to lease the internet in your spare time. SIGCOMM Comput. Commun. Rev.. 37(1):61-64.
Nirkhe M, Kraus S, Miller M, Perlis D.  1997.  How to (plan to) meet a deadline between now and then. Journal of Logic and Computation. 7(1):109-109.
desJardins M.  1995.  How to succeed in graduate school: A guide for students and advisors. International Amateur-Professional Photoelectric Photometry Communications. 58:15-15.
desJardins M.  1995.  How to succeed in graduate school: a guide for students and advisors: part II of II. Crossroads. 1(3):1-6.
desJardins M.  2008.  How to succeed in graduate school: a guide for students and advisors. Crossroads. 14(4):5-9.
desJardins M.  1994.  How to succeed in graduate school: a guide for students and advisors: part I of II. Crossroads. 1(2):3-9.
Sirin E, Parsia B, Wu D, Hendler J, Nau DS.  2004.  HTN planning for Web Service composition using SHOP2. Web Semantics: Science, Services and Agents on the World Wide Web. 1(4):377-396.
Parameswaran V, Chellappa R.  2005.  Human action-recognition using mutual invariants. Computer Vision and Image Understanding. 98(2):294-324.

Pages