Proceedings (8)
121.
Proceedings
Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability). Untitled Event, McGill University, Montreal, Canada, December 30, 1899. -, - (2009), 1-87 p.
122.
Proceedings
First-Order Theorem Proving: FTP 2009 Workshop Proceedings. Untitled Event, Oslo, Norway, December 30, 1899. University of Oslo, Department of Informatics, Oslo, Norway (2009), 151 pp.
123.
Proceedings
Protein Classification Using Decision Trees With Bottom‐up Classification Approach. 13th International Conference on Biomedical Engineering, Singapore, December 03, 2008 - December 08, 2008. (2009)
124.
Proceedings
GECCO 2009: Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation. 11th Annual Conference on Genetic and Evolutionary Computation, Montréal, Canada, July 08, 2009 - July 12, 2009. ACM, New York, NY (2009), 1-1956 p.
125.
Proceedings
5815). 7th International Conference on Computer Vision Systems , Liège, Belgium, October 13, 2009 - October 15, 2009. Springer (2009)
Computer Vision Systems (Lecture Notes in Computer Science, 126.
Proceedings
5686). 8th International Conference on Advances in Web Based Learning, Aachen, Germany, August 21, 2009. Springer, Berlin (2009), 496 p pp.
Advances in Web Based Learning - ICWL 2009 (Lecture Notes in Computer Science, 127.
Proceedings
The 9th International Web Archiving Workshop (IWAW 2009). 9th International Web Archiving Workshop, Corfu, Greece, 2009-09 - 2009-10. European Archive Foundation, Paris (2009), 56 pp.
Conference Paper (173)
128.
Conference Paper
Making Shape from Shading Work for Real-world Images. In: Pattern Recognition, pp. 191 - 200 (Eds. Denzler, J.; Notni, G.; Süße, H.). 31st Annual Symposium of the Deutsche Arbeitsgemeinschaft für Mustererkennung, Jena, Germany, September 09, 2009 - September 11, 2009. Springer, Berlin (2009)
129.
Conference Paper
Fast and Accurate Bounds on Linear Programs. In: Experimental Algorithms, pp. 40 - 50. 8th International Symposium on Experimental Algorithms, Dortmund, Germany, June 03, 2009 - June 06, 2009. Springer, Berlin (2009)
130.
Conference Paper
Superposition Modulo Linear Arithmetic SUP(LA). In: Frontiers of Combining Systems, pp. 84 - 99 (Eds. Ghilardi, S.; Sebastiani, R.). 7th international Symposium on Frontiers of Combining Systems, Trento, Italy, September 16, 2009 - September 18, 2009. Springer, Berlin (2009)
131.
Conference Paper
Breaking the O(m^2n) Barrier for Minimum Cycle Bases. In: Algorithms - ESA 2009, pp. 301 - 312 (Eds. Fiat, A.; Sanders, P.). 17th Annual European Symposium on Algorithms, Copenhagen, Denmark, September 07, 2009 - September 09, 2009. Springer, Berlin (2009)
132.
Conference Paper
EverLast: A Distributed Architecture for Preserving the Web. In: Proceedings of the Joint Conference on Digital Libraries, pp. 331 - 340. 2009 Conference on Digital Libraries, Austin, Texas, June 15, 2009 - March 19, 2009. ACM, New York, NY (2009)
133.
Conference Paper
Quantitative Assessment of Image Segmentation Quality by Random Walk Relaxation Times. In: Pattern Recognition, pp. 502 - 511 (Eds. Denzler, J.; Notni, G.; Süße, H.). 31st Annual Symposium of the Deutsche Arbeitsgemeinschaft für Mustererkennung, Jena, Germany, September 09, 2009 - September 11, 2009. Springer, Berlin (2009)
134.
Conference Paper
Pictorial Structures Revisited: People Detection and Articulated Pose Estimation. In: IEEE Conference on Computer Vision and Pattern Recognition, pp. 1014 - 1021. 27th IEEE Conference on Computer Vision and Pattern Recognition, Miami, FL, USA, June 20, 2009 - June 25, 2009. IEEE, Piscataway, NJ (2009)
135.
Conference Paper
Online Priority Steiner Tree Problems. In: Algorithms and Data Structures, pp. 37 - 48. 11th Symposium on Algorithms and Data Structures, Banff, Canada, August 21, 2009 - August 23, 2009. Springer, Berlin (2009)
136.
Conference Paper
Intertruptible Algorithms for Multi Problem Solving. In: 21st International Joint Conference on Artificial Intelligence, pp. 380 - 386. 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, USA, July 11, 2009 - July 19, 2009. Morgan Kaufmann, San Francisco, CA (2009)
137.
Conference Paper
Paging and List Update under Bijective Analysis. In: 20th ACM-SIAM Symposium on Discrete Algorithms, pp. 1136 - 1145 (Ed. Mathieu, C.). 20th ACM-SIAM Symposium on Discrete Algorithms, New York, NY, USA, January 03, 2009 - January 06, 2009. ACM, New York, NY (2009)
138.
Conference Paper
GRAFFITI: Node Labeling in Heterogeneous Networks. In: Proceedings of the 18th International World Wide Web Conference, pp. 1087 - 1088. 18th International World Wide Web Conference, Madrid, Spain, April 20, 2009 - April 24, 2009. ACM, New York, NY (2009)
139.
Conference Paper
Time Will Tell: Leveraging Temporal Expressions in IR. In: Second ACM International Conference on Web Search and Data Mining (WSDM '09) - Late Breaking Results. Second ACM International Conference on Web Search and Data Mining, Barcelona, Spain, March 09, 2009. ACM, New York, NY (2009)
140.
Conference Paper
Stabilizing Motion Tracking Using Retrieved Motion Priors. In: 2009 IEEE 12th International Conference on Computer Vision (ICCV), pp. 1428 - 1435 (Eds. Cipolla, R.; Hebert, M.; Tang, X.; Yokoya, N.). Untitled Event, Kyoto, Japan, September 27, 2009 - October 04, 2009. IEEE, IEEE (2009)