Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
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.
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.
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.
2006. Query Rewriting in the Semantic Web7. Data Engineering Workshops, 22nd International Conference on. :7-7.
2002. Query routing in the TerraDir distributed directory. Proceedings of the SPIE ITCOM. 4868:299-309.
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.
1999. Querying Very Large Multi-dimensional Datasets in ADR. In Proceedings of SC99: High Performance Networking and Computing.
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.
1994. Query-sensitive ray shooting. Proceedings of the tenth annual symposium on Computational geometry. :359-368.
2006. Query-time entity resolution. International conference on knowledge discovery and data mining. :529-534.
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.
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.
2003. Random MAX SAT, random MAX CUT, and their phase transitions. Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms. :364-373.
2009. On random sampling auctions for digital goods. Proceedings of the 10th ACM conference on Electronic commerce. :187-196.
1994. Randomized and deterministic algorithms for geometric spanners of small diameter. Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :703-712.
1984. Randomized speed-ups in parallel computation. Proceedings of the sixteenth annual ACM symposium on Theory of computing. :230-239.
2003. Rank constrained recognition under unknown illuminations. Analysis and Modeling of Faces and Gestures, 2003. AMFG 2003. IEEE International Workshop on. :11-18.
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.
2010. Ranking under temporal constraints. Proceedings of the 19th ACM international conference on Information and knowledge management. :79-88.
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.
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.
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.
2001. Rapidly retargetable interactive translingual retrieval. Proceedings of the first international conference on Human language technology research. :1-5.
2005. RDF aggregate queries and views. Data Engineering, 2005. ICDE 2005. Proceedings. 21st International Conference on. :717-728.