Konferenzbeitrag (201)
321.
Konferenzbeitrag
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
Mutations within GP41 are correlated with coreceptor tropism but do not substantially improve coreceptor usage prediction. In: Reviews in Antiviral Therapy & Infectious Diseases, Bd. 338.
Konferenzbeitrag
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
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
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)