Konferenzbeitrag (201)

321.
Konferenzbeitrag
Sofronie-Stokkermans, V.: Hierarchical Reasoning for the Verification of Parametric Systems. In: Automated Reasoning, S. 171 - 187 (Hg. Giesl, J.; Hähnle, R.). 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, 16. Juli 2010 - 19. Juli 2010. Springer, Berlin (2010)
322.
Konferenzbeitrag
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, S. 1 - 33 (Hg. Ball, T.; Giesl, J.; Hähnle, R.; Nipkow, T.). Interaction versus Automation: The two Faces of Deduction (Dagstuhl Seminar 09411), Schloss Dagstuhl, Wadern, 04. Oktober 2009 - 09. Oktober 2009. Schloss Dagstuhl, Wadern (2010)
323.
Konferenzbeitrag
Sonntag, D.; Theobald, M.: Explanations in Dialogue Systems through Uncertain RDF Knowledge Bases. In: Proceedings of the Fifth International Workshop on Explanation-aware Computing, S. 1 - 12 (Hg. Roth-Berghofer, T.; Tintarev, N.; Leake, D. B.; Bahls, D.). Fifth International Workshop on Explanation-aware Computing, Lisbon, Portugal, 16. August 2010 - 17. August 2010. CEUR-WS.org, Aachen (2010)
324.
Konferenzbeitrag
Sozio, M.; Gionis, A.: The Community-search Problem and How to Plan a Successful Cocktail Party. In: KDD '10, S. 939 - 948. 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, 25. Juli 2010 - 28. Juli 2010. ACM, New York, NY (2010)
325.
Konferenzbeitrag
Stark, M.; Goesele, M.; Schiele, B.: Back to the Future: Learning Shape Models from 3D CAD Data. In: 21st British Machine Vision Conference, 106, S. 1 - 11 (Hg. Labrosse, F.; Zwiggelaar, R.; Liu, Y.; Tiddeman, B.). 21st British Machine Vision Conference, Aberystwyth, UK, 31. August 2010 - 03. August 2010. BMVA, Malvern, UK (2010)
326.
Konferenzbeitrag
Steinhoff, U.; Schiele, B.: Dead Reckoning from the Pocket - An Experimental Study. In: IEEE 2010 International Conference on Pervasive Computing and Communications, S. 162 - 170. IEEE 2010 International Conference on Pervasive Computing and Communications, Mannheim, Germany, 29. März 2010 - 02. April 2010. IEEE, Piscataway, NJ (2010)
327.
Konferenzbeitrag
Strzodka, R.; Shaheen, M.; Pajak, D.; Seidel, H.-P.: Cache Oblivious Parallelograms in Iterative Stencil Computations. In: ICS'10, S. 49 - 59. 24th ACM International Conference on Supercomputing, Tsukuba, Ibaraki, Japan, 01. Juni 2010 - 05. Juni 2010. ACM, New York, NY (2010)
328.
Konferenzbeitrag
Stupar, A.; Michel, S.; Schenkel, R.: RankReduce - processing K-nearest Neighbor Queries on Top of MapReduce. In: LSDS-IR 2010, S. 13 - 18 (Hg. Blanco, R.; Cambazoglu, B. B.; Luccese, C.). 8th Workshop on Large-Scale Distributed Systems for Information Retrieval, Geneva, Switzerland, 23. Juli 2010. CEUR-WS.org, Aachen (2010)
329.
Konferenzbeitrag
Suda, M.; Weidenbach, C.; Wischnewski, P.: On the Saturation of YAGO. In: Automated Reasoning, S. 441 - 456 (Hg. Giesl, J.; Hähnle, R.). 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, 16. Juli 2010 - 19. Juli 2010. Springer, Berlin (2010)
330.
Konferenzbeitrag
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, S. 110 - 115 (Hg. Guesgen, H. W.; Murray, R. C.). Twenty-Third International Florida Artificial Intelligence Research Society Conference, Daytona Beach, FL, USA, 19. Mai 2010 - 21. Mai 2010. AAAI Press, Menlo Park, CA (2010)
331.
Konferenzbeitrag
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, S. 221 - 226 (Hg. Guerra, F.; Velegrakis, Y.). 26th International Conference on Data Engineering Workshops, Long Beach, CA, USA, 05. März 2010 - 06. März 2010. IEEE, Piscataway, NJ (2010)
332.
Konferenzbeitrag
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, S. 513 - 516. 2010 International Multiconference on Computer Science and Information Technology, Wisla, Poland, 18. Oktober 2010 - 20. Oktober 2010. IEEE, Piscataway, NJ (2010)
333.
Konferenzbeitrag
Tandon, N.; de Melo, G.: Information Extraction from Web-scale N-gram Data. In: Web N-gram Workshop, S. 8 - 15 (Hg. 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, 23. Juli 2010. ACM, New York, NY (2010)
334.
Konferenzbeitrag
Taneva, B.; Kacimi, M.; Weikum, G.: Gathering and Ranking Photos of Named Entities with High Precision, High Recall, and Diversity. In: WSDM '10, S. 431 - 440. Third ACM International Conference on Web Search and Data Mining, New York City, USA, 03. Februar 2010 - 06. Februar 2010. ACM, New York, NY (2010)
335.
Konferenzbeitrag
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, S. 1 - 2. International Symposium on Wearable Computers, Seoul, Korea, 10. Oktober 2010 - 13. Oktober 2010. IEEE, Piscataway, NJ (2010)
336.
Konferenzbeitrag
Theobald, M.; Aji, A.; Schenkel, R.: TopX 2.0 at the INEX 2009 Ad-Hoc and Efficiency Tracks. In: Focused Retrieval and Evaluation, S. 218 - 228 (Hg. Geva, S.; Kamps, J.; Trotman, A.). 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, Brisbane, Australia, 07. Dezember 2009 - 09. Dezember 2009. Springer, Berlin (2010)
337.
Konferenzbeitrag
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, Bd. 2010, Abstract 49, S. 47 - 47. 8th European HIV Drug Resistance Workshop, Sorrento, Italy, 17. März 2010 - 19. März 2010. Virology Education, Utrecht, Netherlands (2010)
338.
Konferenzbeitrag
U, L. H.; Mamoulis, N.; Berberich, K.; Bedathur, S.: Durable Top-K Search in Document Archives. In: 2010 ACM SIGMOD/PODS Conference, S. 555 - 566 (Hg. Elmagarmid, A.; Agrawal, D.; Mokbel, M.). 2010 ACM SIGMOD International Conference on Management of Data, Indianapolis, Indiana, USA, 09. April 2010. ACM, New York, NY (2010)
339.
Konferenzbeitrag
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, S. 568 - 581 (Hg. Daniilidis, K.; Maragos, P.; Paragios, N.). 11th European Conference on Computer Vision, Heraklion, Crete, Greece, 10. Februar 2011. Springer, Berlin (2010)
340.
Konferenzbeitrag
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, S. 257 - 260 (Hg. Scott, D. C.). IEEE International Conference on Acoustics, Speech, and Signal Processing, Dallas, Texas, USA, 14. März 2010 - 19. März 2010. IEEE, Piscataway, NJ (2010)
Zur Redakteursansicht