Publications

Export 7151 results:
Author Title [ Type(Asc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Journal Articles
Guerra-Filho G, Aloimonos Y.  2006.  Human activity language: Grounding concepts with a linguistic framework. Semantic Multimedia. :86-100.
Parameswaran V, Chellappa R.  2005.  Human action-recognition using mutual invariants. Computer Vision and Image Understanding. 98(2):294-324.
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.
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.
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.
Feamster N, Gao L, Rexford J.  2007.  How to lease the internet in your spare time. SIGCOMM Comput. Commun. Rev.. 37(1):61-64.
Kamara S, Katz J.  2008.  How to encrypt with a malicious random number generator. Fast Software Encryption. :303-315.
Huang L, Aloimonos Y.  1994.  How normal flow constrains relative depth for an active observer. Image and vision computing. 12(7):435-445.
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.
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.
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.
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.
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.
Minker J.  2011.  Homage to Michael Gelfond on His 65 th Birthday. Logic programming, knowledge representation, and nonmonotonic reasoning. :1-11.
Charles C, Des Jarlais Don PT, Gerry S.  2007.  HIV risk behaviors among female IDUs in developing and transitional countries. BMC Public Health. 7
Schatz MC, Trapnell C, Delcher AL, Varshney A.  2007.  High-throughput sequence alignment using Graphics Processing Units. BMC Bioinformatics. 8(1):474-474.
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.
Tuhrim S, Reggia JA, Peng Y.  1994.  High-specificity neurological localization using a connectionist model. Artificial Intelligence in Medicine. 6(6):521-532.
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.
He S, Kirovski D, M. Wu.  2009.  High-Fidelity Data Embedding for Image Annotation. Image Processing, IEEE Transactions on. 18(2):429-435.
Tobin-Hochstadt S, Van Horn D.  2011.  Higher-Order Symbolic Execution via Contracts. arXiv:1103.1362 [cs].
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.

Pages