Conference Paper (201)
321.
Conference Paper
Hierarchical Reasoning for the Verification of Parametric Systems. In: Automated Reasoning, pp. 171 - 187 (Eds. Giesl, J.; Hähnle, R.). 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16, 2010 - July 19, 2010. Springer, Berlin (2010)
322.
Conference Paper
Automated Reasoning in Extensions of Theories of Constructors with Recursively Defined Functions and Homomorphisms. In: Interaction versus Automation: the two Faces of Deduction, pp. 1 - 33 (Eds. Ball, T.; Giesl, J.; Hähnle, R.; Nipkow, T.). Interaction versus Automation: The two Faces of Deduction (Dagstuhl Seminar 09411), Schloss Dagstuhl, Wadern, October 04, 2009 - October 09, 2009. Schloss Dagstuhl, Wadern (2010)
323.
Conference Paper
Explanations in Dialogue Systems through Uncertain RDF Knowledge Bases. In: Proceedings of the Fifth International Workshop on Explanation-aware Computing, pp. 1 - 12 (Eds. Roth-Berghofer, T.; Tintarev, N.; Leake, D. B.; Bahls, D.). Fifth International Workshop on Explanation-aware Computing, Lisbon, Portugal, August 16, 2010 - August 17, 2010. CEUR-WS.org, Aachen (2010)
324.
Conference Paper
The Community-search Problem and How to Plan a Successful Cocktail Party. In: KDD '10, pp. 939 - 948. 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, July 25, 2010 - July 28, 2010. ACM, New York, NY (2010)
325.
Conference Paper
Back to the Future: Learning Shape Models from 3D CAD Data. In: 21st British Machine Vision Conference, 106, pp. 1 - 11 (Eds. Labrosse, F.; Zwiggelaar, R.; Liu, Y.; Tiddeman, B.). 21st British Machine Vision Conference, Aberystwyth, UK, August 31, 2010 - August 03, 2010. BMVA, Malvern, UK (2010)
326.
Conference Paper
Dead Reckoning from the Pocket - An Experimental Study. In: IEEE 2010 International Conference on Pervasive Computing and Communications, pp. 162 - 170. IEEE 2010 International Conference on Pervasive Computing and Communications, Mannheim, Germany, March 29, 2010 - April 02, 2010. IEEE, Piscataway, NJ (2010)
327.
Conference Paper
Cache Oblivious Parallelograms in Iterative Stencil Computations. In: ICS'10, pp. 49 - 59. 24th ACM International Conference on Supercomputing, Tsukuba, Ibaraki, Japan, June 01, 2010 - June 05, 2010. ACM, New York, NY (2010)
328.
Conference Paper
RankReduce - processing K-nearest Neighbor Queries on Top of MapReduce. In: LSDS-IR 2010, pp. 13 - 18 (Eds. Blanco, R.; Cambazoglu, B. B.; Luccese, C.). 8th Workshop on Large-Scale Distributed Systems for Information Retrieval, Geneva, Switzerland, July 23, 2010. CEUR-WS.org, Aachen (2010)
329.
Conference Paper
On the Saturation of YAGO. In: Automated Reasoning, pp. 441 - 456 (Eds. Giesl, J.; Hähnle, R.). 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16, 2010 - July 19, 2010. Springer, Berlin (2010)
330.
Conference Paper
Progress Towards Effective Automated Reasoning with World Knowledge. In: Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, pp. 110 - 115 (Eds. Guesgen, H. W.; Murray, R. C.). Twenty-Third International Florida Artificial Intelligence Research Society Conference, Daytona Beach, FL, USA, May 19, 2010 - May 21, 2010. AAAI Press, Menlo Park, CA (2010)
331.
Conference Paper
DIVERSUM: Towards Diversified Summarisation of Entities in Knowledge Graphs. In: 2010 IEEE 26th International Conference on Data Engineering Workshops, pp. 221 - 226 (Eds. Guerra, F.; Velegrakis, Y.). 26th International Conference on Data Engineering Workshops, Long Beach, CA, USA, March 05, 2010 - March 06, 2010. IEEE, Piscataway, NJ (2010)
332.
Conference Paper
Entity Summarisation with Limited Edge Budget on Knowledge Graphs. In: Proceedings of the 2010 International Multiconference on Computer Science and Information Technology, pp. 513 - 516. 2010 International Multiconference on Computer Science and Information Technology, Wisla, Poland, October 18, 2010 - October 20, 2010. IEEE, Piscataway, NJ (2010)
333.
Conference Paper
Information Extraction from Web-scale N-gram Data. In: Web N-gram Workshop, pp. 8 - 15 (Eds. Zhai, C.; Yarowsky, D.; Viegas, E.; Wang, K.; Vogel, S.). 33rd Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Geneva, Switzerland, July 23, 2010. ACM, New York, NY (2010)
334.
Conference Paper
Gathering and Ranking Photos of Named Entities with High Precision, High Recall, and Diversity. In: WSDM '10, pp. 431 - 440. Third ACM International Conference on Web Search and Data Mining, New York City, USA, February 03, 2010 - February 06, 2010. ACM, New York, NY (2010)
335.
Conference Paper
Towards Multi-modal Context Recognition for Hearing Instruments. In: International Symposium on Wearable Computers, pp. 1 - 2. International Symposium on Wearable Computers, Seoul, Korea, October 10, 2010 - October 13, 2010. IEEE, Piscataway, NJ (2010)
336.
Conference Paper
TopX 2.0 at the INEX 2009 Ad-Hoc and Efficiency Tracks. In: Focused Retrieval and Evaluation, pp. 218 - 228 (Eds. Geva, S.; Kamps, J.; Trotman, A.). 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, Brisbane, Australia, December 07, 2009 - December 09, 2009. Springer, Berlin (2010)
337.
Conference Paper
2010, Abstract 49, p. 47 - 47. 8th European HIV Drug Resistance Workshop, Sorrento, Italy, March 17, 2010 - March 19, 2010. Virology Education, Utrecht, Netherlands (2010)
Mutations within GP41 are correlated with coreceptor tropism but do not substantially improve coreceptor usage prediction. In: Reviews in Antiviral Therapy & Infectious Diseases, Vol. 338.
Conference Paper
Durable Top-K Search in Document Archives. In: 2010 ACM SIGMOD/PODS Conference, pp. 555 - 566 (Eds. Elmagarmid, A.; Agrawal, D.; Mokbel, M.). 2010 ACM SIGMOD International Conference on Management of Data, Indianapolis, Indiana, USA, April 09, 2010. ACM, New York, NY (2010)
339.
Conference Paper
Joint Estimation of Motion, Structure and Geometry from Stereo Sequences. In: Computer Vision - ECCV 2010, pp. 568 - 581 (Eds. Daniilidis, K.; Maragos, P.; Paragios, N.). 11th European Conference on Computer Vision, Heraklion, Crete, Greece, February 10, 2011. Springer, Berlin (2010)
340.
Conference Paper
Perceptual Audio Features for Unsupervised Key-Phrase Detection. In: IEEE International Conference on Acoustics, Speech, and Signal Processing, pp. 257 - 260 (Ed. Scott, D. C.). IEEE International Conference on Acoustics, Speech, and Signal Processing, Dallas, Texas, USA, March 14, 2010 - March 19, 2010. IEEE, Piscataway, NJ (2010)