Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Conference Papers
Donn K, Plaisant C, Shneiderman B.  1996.  Query previews in networked information systems. Proceedings of the Third Forum on Research and Technology Advances in Digital Libraries, 1996. ADL '96. :120-129.
Donn K, Plaisant C, Shneiderman B.  1996.  Query previews in networked information systems. Research and Technology Advances in Digital Libraries, 1996. ADL '96., Proceedings of the Third Forum on. :120-129.
Plaisant C, Bruns T, Shneiderman B, Doan K.  1997.  Query previews in networked information systems: the case of EOSDIS. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :202-203.
Vidal M E, Raschid L, Marquez N, Cardenas M, Wu Y.  2006.  Query Rewriting in the Semantic Web7. Data Engineering Workshops, 22nd International Conference on. :7-7.
Silaghi B, Bhattacharjee B, Keleher P.  2002.  Query routing in the TerraDir distributed directory. Proceedings of the SPIE ITCOM. 4868:299-309.
Kantere V, Tsoumakos D, Roussopoulos N.  2004.  Querying structured data in an unstructured P2P system. Proceedings of the 6th annual ACM international workshop on Web information and data management - WIDM '04. :64-64.
Chialin TK, Kurc T, Chang C, Ferreira R, Sussman A, Saltz J.  1999.  Querying Very Large Multi-dimensional Datasets in ADR. In Proceedings of SC99: High Performance Networking and Computing.
Bleiholder J, Naumann F, Raschid L, Vidal ME.  2004.  Querying Web-Accessible Life Science Sources: Which paths to choose? Proceedings of VLDB Workshop on Information Integration on the Web (IIWeb-2004). :83-83.
Mitchell JSB, Mount D, Suri S.  1994.  Query-sensitive ray shooting. Proceedings of the tenth annual symposium on Computational geometry. :359-368.
BHATTACHARVA I, Getoor L, Licamele L.  2006.  Query-time entity resolution. International conference on knowledge discovery and data mining. :529-534.
Jimmy Lin, Katz B.  2003.  Question answering from the web using knowledge annotation and knowledge mining techniques. Proceedings of the twelfth international conference on Information and knowledge management. :116-123.
Bloodgood M, Ye P, Rodrigues P, Zajic D, Doermann D.  2012.  A Random Forest System Combination Approach for Error Detection in Digital Dictionaries. Innovative hybrid approaches to the processing of textual data, EACL 2012 Workshop. :78-86.
Coppersmith D, Gamarnik D, Hajiaghayi MT, Sorkin GB.  2003.  Random MAX SAT, random MAX CUT, and their phase transitions. Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms. :364-373.
Alaei S, Malekian A, Srinivasan A.  2009.  On random sampling auctions for digital goods. Proceedings of the 10th ACM conference on Electronic commerce. :187-196.
Arya S, Mount D, Smid M.  1994.  Randomized and deterministic algorithms for geometric spanners of small diameter. Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :703-712.
Vishkin U.  1984.  Randomized speed-ups in parallel computation. Proceedings of the sixteenth annual ACM symposium on Theory of computing. :230-239.
Zhou S, Chellappa R.  2003.  Rank constrained recognition under unknown illuminations. Analysis and Modeling of Faces and Gestures, 2003. AMFG 2003. IEEE International Workshop on. :11-18.
Seo J, Shneiderman B.  2004.  A Rank-by-Feature Framework for Unsupervised Multidimensional Data Exploration Using Low Dimensional Projections. IEEE Symposium on Information Visualization, 2004. INFOVIS 2004. :65-72.
Wang L, Metzler D, Jimmy Lin.  2010.  Ranking under temporal constraints. Proceedings of the 19th ACM international conference on Information and knowledge management. :79-88.
Khan Z, Balch T, Dellaert F..  2004.  A Rao-Blackwellized particle filter for EigenTracking. Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004. 2:II-980-II-986Vol.2.
Xie Q, Memon AM.  2005.  Rapid "crash testing" for continuously evolving GUI-based software applications. Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on. :473-482.
Wu H-H, Kee H, Sane N, Plishker W, Bhattacharyya SS.  2010.  Rapid prototyping for digital signal processing systems using Parameterized Synchronous Dataflow graphs. 2010 21st IEEE International Symposium on Rapid System Prototyping (RSP). :1-7.
Levow G-A, Oard D, Resnik P.  2001.  Rapidly retargetable interactive translingual retrieval. Proceedings of the first international conference on Human language technology research. :1-5.
Oard D, Och FJ.  2003.  Rapid-response machine translation for unexpected languages. Proceedings of the MT Summit IX.
Hung E, Deng Y, V.S. Subrahmanian.  2005.  RDF aggregate queries and views. Data Engineering, 2005. ICDE 2005. Proceedings. 21st International Conference on. :717-728.

Pages