Publications

Export 7151 results:
Author Title Type [ Year(Asc)]
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
2007
Cukier M, Sharma A.  2007.  Password Changes: Empirical Results. Computers and Software Engineering.
Motiwala M, Feamster N, Vempala S.  2007.  Path splicing: Reliable connectivity with rapid recovery. ACM SIGCOMM HotNets VI.
Feamster N, Motiwala M, Vempala S.  2007.  Path splicing with network slicing. Proc. ACM SIGCOMM Hot-Nets.
Ran Y, Weiss I, Zheng Q, Davis LS.  2007.  Pedestrian detection via periodic motion analysis. International Journal of Computer Vision. 71(2):143-160.
Lumezanu C, Levin D, Spring N.  2007.  PeerWise discovery and negotiation of faster paths. Proc. Workshop on Hot Topics in Networks (HotNets).
Alameh R, Zazworka N, Hollingsworth J.  2007.  Performance Measurement of Novice HPC Programmers Code. Proceedings of the 3rd International Workshop on Software Engineering for High Performance Computing Applications. :3–-3–.
Basri R, Jacobs DW, Kemelmacher I.  2007.  Photometric stereo with general, unknown lighting. International Journal of Computer Vision. 72(3):239-257.
Stantchev G, Juba D, Dorland W, Varshney A.  2007.  Plasma Turbulence Simulation and Visualization on Graphics Processors: Efficient Parallel Computing on the Desktop. Bulletin of the American Physical Society. Volume 52, Number 11
Vishkin U, Smolyaninov I, Davis C.  2007.  Plasmonics and the parallel programming problem. Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series. 6477:19-19.
Atalay FB, Mount D, Mitchell J.  2007.  Pointerless implementation of hierarchical simplicial meshes and efficient neighbor finding in arbitrary dimensions. International Journal of Computational Geometry and Applications. 17(6):595-631.
Parno B, Wendlandt D, Elaine Shi, Perrig A, Maggs B, Hu Y-C.  2007.  Portcullis: protecting connection setup from denial-of-capability attacks. :289-300.
Yue Z, Zhao W, Chellappa R.  2007.  Pose-Encoded Spherical Harmonics for Face Recognition and Synthesis Using a Single Image. EURASIP Journal on Advances in Signal Processing. 2008(1):748483-748483.
Vardhanabhuti S, Wang J, Hannenhalli S.  2007.  Position and distance specificity are important determinants of cis-regulatory motifs in addition to evolutionary conservation. Nucleic Acids Research. 35(10):3203-3213.
Lin Z, Davis LS, Doermann D, DeMenthon D.  2007.  Poster Session 5: Matching and Registration-Simultaneous Appearance Modeling and Segmentation for Matching People Under Occlusion. Lecture Notes in Computer Science. 4844:404-413.
Hajiaghayi MT, Immorlica N, Mirrokni VS.  2007.  Power optimization in fault-tolerant topology control algorithms for wireless multi-hop networks. IEEE/ACM Transactions on Networking (TON). 15(6):1345-1358.
Mount D, Netanyahu NS, Romanik K, Silverman R, Wu AY.  2007.  A practical approximation algorithm for the LMS line estimator. Computational Statistics & Data Analysis. 51(5):2461-2486.
Wen X, Vishkin U.  2007.  PRAM-on-chip: first commitment to silicon. Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures. :301-302.
Licamele L, Getoor L.  2007.  Predicting Protein-Protein Interactions Using Relational Features. CS-TR-4909
Kim J-S, Andrade H, Sussman A.  2007.  Principles for designing data-/compute-intensive distributed applications and middleware systems for heterogeneous environments. Journal of Parallel and Distributed Computing. 67(7):755-771.
Cleaveland R, Lüttgen G, Natarajan V.  2007.  Priority and abstraction in process algebra. Information and Computation. 205(9):1426-1458.
Hua S, Qu G, Bhattacharyya SS.  2007.  Probabilistic design of multimedia embedded systems. ACM Transactions on Embedded Computing Systems (TECS). 6(3):15–es-15–es.
Domke J, Aloimonos Y.  2007.  A probabilistic framework for correspondence and egomotion. Dynamical Vision. :232-242.
Han B, Joo S-W, Davis LS.  2007.  Probabilistic Fusion Tracking Using Mixture Kernel-Based Bayesian Filtering. Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference on. :1-8.
Parker A, Yaman F, Nau DS, V.S. Subrahmanian.  2007.  Probabilistic go theories.
Deshpande A, Sarawagi S.  2007.  Probabilistic graphical models and their role in databases. Proceedings of the 33rd international conference on Very large data bases. :1435-1436.

Pages