Conference Paper (201)

321.
Conference Paper
Sofronie-Stokkermans, V.: 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
Sofronie-Stokkermans, V.: 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
Sonntag, D.; Theobald, M.: 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
Sozio, M.; Gionis, A.: 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
Stark, M.; Goesele, M.; Schiele, B.: 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
Steinhoff, U.; Schiele, B.: 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
Strzodka, R.; Shaheen, M.; Pajak, D.; Seidel, H.-P.: 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
Stupar, A.; Michel, S.; Schenkel, R.: 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
Suda, M.; Weidenbach, C.; Wischnewski, P.: 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
Sutcliffe, G.; Suda, M.; Teyssandier, A.; Dellis, N.; de Melo, G.: 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
Sydow, M.; Pikula, M.; Schenkel, R.: 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
Sydow, M.; Pikuła, M.; Schenkel, R.; Siemion, A.: 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
Tandon, N.; de Melo, G.: 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
Taneva, B.; Kacimi, M.; Weikum, G.: 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
Tessendorf, B.; Bulling, A.; Roggen, D.; Stiefmeier, T.; Tröster, G.; Feilner, M.; Derleth, P.: 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
Theobald, M.; Aji, A.; Schenkel, R.: 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
Thielen, A.; Lengauer, T.; Harrigan, P. R.; Swenson, L.; Dong, W. W.; McGovern, R. A.; Lewis, M.; James, I.; Heera, J.; Valdez, H.: Mutations within GP41 are correlated with coreceptor tropism but do not substantially improve coreceptor usage prediction. In: Reviews in Antiviral Therapy & Infectious Diseases, Vol. 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)
338.
Conference Paper
U, L. H.; Mamoulis, N.; Berberich, K.; Bedathur, S.: 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
Valgaerts, L.; Bruhn, A.; Zimmer, H.; Weickert, J.; Stoll, C.; Theobalt, C.: 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
von Zeddelmann, D.; Kurth, F.; Müller, M.: 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)
Go to Editor View