Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [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 
P
Parton D, Huffman K, Pridgen P, Norman K, Shneiderman B.  1985.  Learning a menu selection tree: training methods compared. Behaviour & Information Technology. 4(2):81-91.
Parr C S, Lee B, Bederson BB.  2007.  EcoLens: Integration and interactive visualization of ecological datasets. Ecological Informatics. 2(1):61-69.
Parr CS, Lee B, Campbell D, Bederson BB.  2004.  Visualizations for taxonomic and phylogenetic trees. Bioinformatics. 20(17):2997-2997.
Parr CS, Cummings MP.  2005.  Data sharing in ecology and evolution. Trends in Ecology & Evolution. 20(7):362-363.
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.
Parker A, Infantes G, Grant J, V.S. Subrahmanian.  2009.  SPOT Databases: Efficient Consistency Checking and Optimistic Selection in Probabilistic Spatial Databases. Knowledge and Data Engineering, IEEE Transactions on. 21(1):92-107.
Parker A, Nau DS, V.S. Subrahmanian.  2005.  Game-tree search with combinatorially large belief states. 19:254-254.
Parker A, Yaman F, Nau DS, V.S. Subrahmanian.  2007.  Probabilistic go theories.
Parker A, Infantes G, V.S. Subrahmanian, Grant J.  2008.  An AGM-based belief revision mechanism for probabilistic spatio-temporal logics. Proceedings of the 23rd national conference on Artificial intelligence. :511-516.
Parker A, Nau DS, V.S. Subrahmanian.  2006.  Overconfidence or paranoia? search in imperfect-information games PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE. 21:1045-1045.
Park S, O'Leary DP.  2010.  Portfolio Selection Using Tikhonov Filtering to Estimate the Covariance Matrix. SIAM Journal on Financial Mathematics. 1:932-961.
Park S, O’Leary DP.  2011.  Implicitly-weighted total least squares. Linear Algebra and its Applications. 435(3):560-577.
Parhi P, Karlson AK, Bederson BB.  2006.  Target size study for one-handed thumb use on small touchscreen devices. Proceedings of the 8th conference on Human-computer interaction with mobile devices and services. :203-210.
Parameswaran V, Chellappa R.  2002.  Quasi-invariants for human action representation and recognition. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 1:307-310vol.1-307-310vol.1.
Parameswaran V, Chellappa R.  2006.  View Invariance for Human Action Recognition. International Journal of Computer Vision. 66(1):83-101.
Parameswaran V, Chellappa R.  2004.  View independent human body pose estimation from a single perspective image. Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on. 2:II-16-II-22Vol.2-II-16-II-22Vol.2.
Parameswaran V, Chellappa R.  2005.  Human action-recognition using mutual invariants. Computer Vision and Image Understanding. 98(2):294-324.
Pappafotis N, Bejgerowski W, Gullapalli R, Simard MJ, Gupta SK, Desai JP.  2008.  Towards Design and Fabrication of a Miniature MRI-Compatible Robot for Applications in Neurosurgery. :747-754.
Paparizos S, Joshi A S, Getoor L, Ntoulas A.  2010.  Identifying Modifiers in Web Queries Over Structured Data. 12/473,286
Papamanthou C, Tamassia R, Triandopoulos N.  Submitted.  System and Method for Optimal Verification of Operations on Dynamic Sets.
Papamanthou C, Tollis IG, Doerr M.  2005.  3D Visualization of Semantic Metadata Models and Ontologies. Graph Drawing. :377-388.
Papamanthou C, Paparrizos K., Samaras N., Sifaleras A..  2010.  On the initialization methods of an exterior point algorithm for the assignment problem. International Journal of Computer Mathematics. 87(8):1831-1846.
Papamanthou C, Tollis IG.  2007.  Parameterized st-Orientations of Graphs: Algorithms and Experiments. Graph Drawing. :220-233.
Papamanthou C, Tamassia R, Triandopoulos N.  2011.  Optimal Verification of Operations on Dynamic Sets. Advances in Cryptology – CRYPTO 2011. :91-110.
Papamanthou C, Paparrizos K, Samaras N.  2005.  A parametric visualization software for the assignment problem. Yugoslav Journal of Operations Research. 15(1):147-158.

Pages